- ベストアンサー
数学基礎論の入門書
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
共立出版「Q＆A 数学基礎論入門」久馬栄道著、図書館でさがしてみてください。 「カントール対角線論法」は、集合論の本にでています。 「デデキント・カット」は、実数論、微分積分(解析学)の基礎で学習します。 実数論は、無限と連続、極限、収束など、実数の性質の位相的(近い、遠い、距離)な性質を研究します。 「集合・位相」とか、「位相空間」とか、「ε－δに泣く」石谷茂著など、「イプシロン・デルタ」論法で、デデキントの切断、カントールの区間縮小法、コーシーの定理などがある。 「四則の厳密な定義」は、中学校の数学の教科書に書いてあるくらいで、それ以上のことは、「代数」「代数学」という本をさがしてみてください。 岩波数学辞典は、手元にあると便利ですね。ないと不便だ。 旺文社「高校数学解法辞典」や、聖文新社の辞典 http://www.seibunshinsha.co.jp/risuu/index.html 「算数・数学なぜなぜ事典」なども調べてみてください。
その他の回答 (1)
- HANANOKEIJ
- ベストアンサー率32% (578/1805)
ブルーバックス「お話・数学基礎論」八杉満利子著、岩波新書「無限と連続」遠山啓著、 デデキントの切断は、微分積分の最初にでてくるので、岩波書店「解析概論」高木貞治著、３ページにのっています。 図書館で司書に相談するか、古本屋で、「数学基礎論」というタイトルの本をさがしてみてください。 算数・数学辞典、算数教育事典、数学教育事典なども参考になるかもしれません。 インターネットで「数学基礎論」と検索しても、結構情報が集まりました。 http://klapaucius.web.fc2.com/logic/online-textbooks.html
お礼
回答ありがとうございます。 岩波新書はよさそうですね。探してみます。
関連するQ&A
- カントールの、対角線論法⊂区間縮小法 の証明は？
市川秀志『カントールの区間縮小法』１９ページに、「（前略)カントールの区間縮小法（中略）をさらにエレガントにしたのが、カントールの対角線論法です。」と有ります。どの文献にその証明が出ていますでしょうか。
- ベストアンサー
- 数学・算数
- 再問：対角線論法⊂区間縮小法の証明は？
カントールの対角線論法が、カントールの区間縮小法をエレガントにした物である、ということの証明を書いてある文献をお教え下さい。市川秀志『カントールの区間縮小法』（パレード社、２，００６年） １９ページに書いてあった事です。
- ベストアンサー
- 数学・算数
- 集合論 おすすめの教科書を教えてください
こんにちは。 独学で数学基礎論への関心から、数学を勉強しております。 赤攝也『集合論入門』（1957）を読み終わりました。 これを読んだ私の手ごたえは、言われていることはだいたいわかるが用いられている証明などはまったく無理解、といった感じです。もう一度緻密に証明を追っていこうかと思っております。 と同時に、ここで教科書を変えてもよいのかなという気がしております。 この本の証明を追えば、濃度や順序数に対する理解が深まる期待は持てるかもしれませんが、あえて不満を挙げるとすれば、なぜ濃度や順序数といった集合論の概念が用いられるようになったのかが見えてこないというところです。 数学基礎論を学びたい私にとっては、この不明瞭さは痛手です。 次は証明などはしっかりと私自身ノートをとって理解することに努めたいのですが、そんな私にお勧めの教科書がございましたら、教えていただけませんか？ お願いします！
- ベストアンサー
- 数学・算数
- 高校数学の入門書を探しています
会社員をしている者です。高校の数学をもう一度勉強したくなり、わかりやすい入門書をさがしているのですが、ご存知の方いましたら、お願いします。 大学は文系学部のだったので高校卒業以来数学を勉強していませんし、高校時代も受験科目に数学がなかったので、ほとんど勉強していませんでした。中学までは数学も苦手でもなく高校になった途端に数学が難しくなって、嫌いになったのを覚えています。やはり数学的な考え方を身につけたり、難しい数学の問題がわかるのは仕事をする上で自分に大いにプラスになると思い、もう一度、高校の数学をやり直そうと思いました。中学までの数学は自分でやり直しをしましたし、充分理解もできました。高校数学に的を絞って書籍を探しています。まずは、机に向かって問題を解くっていうのではなく、読みながら高校数学のそれぞれの分野の全体像を把握するって言う感じの本が理想です。数学のテクニック的なものではなく、基本となる概念などを読みながら理解できるような本をお願いします。もちろん、数学の勉強などで最低限の例題、問題等が載っているのは嫌ではありませんし、それを解くこともします。まずは基本概念を学んで、その次に別の本で重点的に問題演習をと考えています。 このような私に合う本はありますか？
- ベストアンサー
- 数学・算数
- 質経済学基礎レベルでの数学
経済学に興味があり、Diplomaを取得しようと考えています。 ただ、高校卒業から３年近くたっているので、 数学をある程度、復習したいと考えています。 そこで、経済学に必要な数学の分野はどのあたりかと調べたところ、 微分、積分、指数は使うだろうなと思いました。 高校時代は数II・Bまではとっていましたので上の三つはなんとかできそうですが 文系でしたので、III・Cはまっさらです。 経済学の入門というか基礎レベルで他に必要な数学知識はありますでしょうか？ 教えていただけるとありがたいです。
- ベストアンサー
- 経済学・経営学
- 圏論を公理的に扱うには
圏のはじめの定義において対象のcollection、射のcollectionという若干曖昧な言い方がなされるのが普通だと思います。 圏の対象、set全体やgroup全体はproper classになり一階述語論理で書かれた集合論の公理では記述できないことが書籍などでは書かれており、また圏論の解説などで量化記号(∀∃など)を使っているのも見ません。 しかし圏論を公理的に定式化できなければそれも問題だと思うので、公理的な扱いができるとも思っているのですが、それはどういうように行われているのでしょう。 また集合論が数学の基礎づけになっているというのと同じような意味で、圏論がいろいろな数学を展開する場を与えてくれると考えられると感じるのですが、一つ一つの具体的な圏、Set、Group、Top、Htpyなどは圏論全体の枠組みの中でどのようにして導入されるのでしょうか。圏の具体例として急に外から与えられているようにみえるのですが...(たとえば、群全体なるものがどこかで想定されていて圏の定義を満たしていることは確認されるように記述されているように感じます) おそらく公理的な集合論と圏論との関係がわかっていないための混乱なのですが、圏論はどのように形式的に定まっているものなのでしょうか。
- 締切済み
- 数学・算数
- 「Q&A数学基礎論入門」の中の問題の答がわかりませ
お世話になります。 「Q&A数学基礎論入門」(久馬栄道著・共立出版)を読んでいます。 次の問題がわかりません。 P.55 ∈に関する帰納法 ∀x(∀y∈xＡ(y)→Ａ(x))→∀xＡ(x) 問題24 自然数に関する帰納法では 0 で成り立つことがはじめに必要であるが、 ∈に関する帰納法ではこのようなものがない。なぜか考えよ。 (次にこう書いてあります) 命題論理でＡ→ＢのＡがＦならば、この式がいつでもＴであることを 思い出せ（そして x∈φの真理値がＦであることも)。 ずーと考えました。でもわかりません。 どなたか答を教えて下さいませんか。 よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 数学を基礎から学べる本
数学の定理等詳しい解説が書かれた本が欲しいのですけどオススメのものはありますか？ あと数学の分野も詳しくないので皆さんが数学で好きなものを教えてください。 中学校の授業での数学なら得意でしたけど、高校では数学自体一年しかなかったし、 中学の復習のようだったので普通校の方に比べ知識はありませんがよろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
お礼が遅れてどうもすみません。やはりばらばらに調べていくほかはないみたいですね。 どうもありがとうございます。