本>コンピュータ・インターネット>プログラミング>

プログラミング Search プログラミング プログラミング プログラミング

数学ガール/ゲーデルの不完全性定理

ソフトバンククリエイティブ Search ソフトバンククリエイティブ ソフトバンククリエイティブ
by 結城 浩 Search 結城 浩 結城 浩

価格: ￥ 1,890 国内配送無料 おすすめ度: もっと詳しい情報: 数学ガール/ゲーデルの不完全性定理 数学ガール/ゲーデルの不完全性定理 @Amazon 数学ガール/ゲーデルの不完全性定理 @aStore 数学ガール/ゲーデルの不完全性定理 @Rakuten

---

Customer Reviews:
ベースは廣瀬・横田の「ゲーデルの世界」か？
　証明の流れは、ゲーデルの原論文に沿っているが、<<意味の世界>>と<<形式の世界>>の対比、等の説明に関しては、廣瀬健・横田一正の「ゲーデルの世界―完全性定理と不完全性定理」に基づいているらしい（本書中でも随所で参考にしている、とある）。
　ただし、廣瀬・横田の本は、完全性定理についても解説するという、考えようによっては”欲張り”な目的のために、意味と形式の対比について言及しているが、本書の場合には、完全性定理には全く言及していないので、表現定理を説明するために、意味と形式の対比を強調する必要性は特になかったように思う。
　対角線論法による自己言及命題の内容の説明に関しては、ホフスタッターの「ゲーデル,エッシャー,バッハ―あるいは不思議の環」のクワイン化の表現も用いられている（ただし、本書では「クワイン化」という表現は用いられていない）。
　証明の記述に関して、式が長いために、読みにくい場合があった。ただし、これは本書に限ったことではない。場合によって、詳細を隠すような表現を用いるほうが、読みやすかったと思う（例えば、スマリヤンの「ゲーデルの不完全性定理」の後半では、証明可能性をP()あるいは様相□として、簡潔に表現する方法がとられている）。
　"数学"と"数学論"の違いという説明は「ゲーデル 不完全性定理 (岩波文庫)」の解説を踏襲していると思われるが、ここで表現定理を活用して、証明可能性述語が、形式系において表現可能でない等の説明があれば、意味と形式の対比が生きたように思う（廣瀬・横田の本では言及されている）。

数学(オイラー・フェルマー)に萌えた後は"メタ数学"(ゲーデル)に萌えよう！
「数学ガール」「数学ガール/フェルマーの最終定理」の続編です。"僕"と"テトラちゃん"と"ユーリちゃん"が"ミルカさん"によって「数学を数学すること」(メタ数学)を叩き込まれます。その準備もミッチリやります(第１章〜第９章)。第１０章で実際にゲーデルの方法で数学を"形式化"し「不完全性定理」の証明を辿ります。そんな数学ネタの合間に、"付かず離れず"の淡い恋のストーリーも例によって挿入されていて、"萌え"ます。(^-^)

本評者は不完全性定理に関する本を色々読んできましたが、初心者向けにココまで噛み砕いて説明した本を読んだことはありません。数学特有の論理に慣れるために"数学的帰納法"(ぺアノ算術)・"ε-δ論法"・"対角線論法"を色んな角度から見直す処は脱帽です。今回は"テトラちゃん"の成長が目覚ましく、第１０章では彼女がまとめた図を見ながらページを行ったり来たりすればゲーデルの思考の跡がフォローできるようになっています。(頭はクラクラしますが…まるで長手順詰将棋を鑑賞している気分)

「数学を数学する」うちに「何か分からない気がするが、何が分からないか分からない気分」("メタ分からない気分")になるかもしれませんが、そんな時は登場人物のように「自分は何処が分からなくなるか根気よく探す。自分にとっての《わからなくなる最前線》を探そう」という【学びの基本】を思い出しましょう。そして「感覚に頼るのでなく論理に頼る」「言葉に頼るのでなく数式に頼る」ことで本書の筋をフォロー出来そうですょ。(例：Ａ∧Ｂ＝¬(¬Ａ∨¬Ｂ)、Ａ→Ｂ＝¬(Ａ∧¬Ｂ)＝¬Ａ∨Ｂもよく考えると自然です。→　はじめての現代数学)

《意味の世界》と《形式の世界》を行き来するうちに「論理哲学論考」の要約を思い出し、愉快でした：(1)世界は分析可能である、(2)言語も分析可能である、(3)世界と言語は互いに写像関係にある(同型対応)、(4) 以上、(1)〜(3)の他は、言表不能＝思考不能である。(「はじめての言語ゲーム」)

関連商品:

数学ガール/フェルマーの最終定理

数学ガール 下 (MFコミックス フラッパーシリーズ)

数学ガール

キュートな数学名作問題集 (ちくまプリマー新書)

Real World Haskell―実戦で学ぶ関数型言語プログラミング

数学ガール/ゲーデルの不完全性定理 & More...

related blog:

Stack Stock Books - 『数学ガール/ゲーデルの不完全性定理』へのつぶやき
ゆる～い感じの積ん読指向読書管理システムです。積ん読本に注目し、より良い積ん読ライフをおくるための様々な機能を提供します。
http://stack.nayutaya.jp/book/4797352965/mumble/13079

気になる新刊（こ）ちゃん – 2009/10/26～2009/11/1 | 彼のミートパイ ...
2009/10/27の新刊. 数学ガール/ゲーデルの不完全性定理. 著者／訳者：結城 浩. 出版社：ソフトバンククリエイティブ( 2009-10-27 ). 定価：￥ 1890. Amazon価格：￥ 1890. 単行本 ( 408 ページ ). ISBN-10 : 4797352965. ISBN-13 : 9784797352962 ...
http://www.flowerlounge.com/articles/bookreviews/%E6%96%B0%E5%88%8A2009%E5%B9%B410%E6%9C%8826%E6%97%A5%EF%BD%9E2009%E5%B9%B411%E6%9C%881%E6%97%A5.html

どせい: 卒業まであと１年ということでもう一冊くらい期待してもいいの ...
どせい, 数学ガール/ゲーデルの不完全性定理. どせい: 『数学ガール/ゲーデルの不完全性定理』. 結城 浩 (著). 卒業まであと１年ということでもう一冊くらい期待してもいいのかな？
http://stack.nayutaya.jp/book/4797352965/mumble/13080

[twitter]09年10月20日のtwitter
... 18:54 u2ライブがyoutubeで。こりゃ観るしかない！ 20:54 ビーチボール・ゴール！！ http://bit.ly/23zYcz; 20:55 欲しい RT: @hush_in: 数学ガールの3弾目が出るだと…http://www.amazon.co.jp/gp/product/4797352965/. Powered by twtr2src.
http://d.hatena.ne.jp/nsj/20091020/p1

数学ガール最新刊
http://www.amazon.co.jp/%E6%95%B0%E5%AD%A6%E3%82%AC%E3%83%BC%E3%83%AB-%E3%82%B2%E3%83%BC%E3%83%87%E3%83%AB%E3%81%AE%E4%B8%8D%E5%AE%8C%E5%85%A8%E6%80%A7%E5%AE%9A%E7%90%86-%E7%B5%90%E5%9F%8E-%E6%B5%A9/dp/4797352965 ...
http://blogs.yahoo.co.jp/yamabun0705010025/56439635.html

今日のお買い物
といっても Amazon から届いただけですけれど。 数学ガール/ゲーデルの不完全性定理. 著者／訳者：結城 浩. 出版社：ソフトバンククリエイティブ( 2009-10-27 ). 定価：￥ 1890. Amazon価格：￥ 1890. 単行本 ( 408 ページ ). ISBN-10 : 4797352965 ...
http://www.tsubu.net/~tsubu/?p=1341

自己、無限、自由 - 書評 - 数学ガール/不完全性定理
asin:4797352965 数学ガール/不完全性定理 結城浩. 本当に以下の通りとなった。 404 Blog Not Found:孤独解消型数学入門 - 書評 - 数学ガール/フェルマーの最終定理. 次はゲーデルの不完全性定理をおながいします＞hyuki。 となれば読まぬわけに行かない ...
http://blog.livedoor.jp/dankogai/archives/51312197.html

数学ガール/ゲーデルの不完全性定理
【数学ガール/ゲーデルの不完全性定理】に関するクチコミです。 http://クチコミ検索.com/view/4797352965.
http://xn--pcki5bxhs342a0dza.com/view/4797352965

メディアマーカー - 数学ガール/ゲーデルの不完全性定理
証明の流れは、ゲーデルの原論文に沿っているが、<<意味の世界>>と<<形式の世界>>の対比、等の説明に関しては、廣瀬健・横田一正の「ゲーデルの世界―完全性定理と不完全性定理」に基づいているらしい（本書中でも随所で参考にしている、とある）。 ...
http://mediamarker.net/media/0/?asin=4797352965

2009-10-27 数学ガール/ゲーデルの不完全性定理
2009-10-27 数学ガール/ゲーデルの不完全性定理結城 浩ソフトバンククリエイティブ [Book]
http://sinkan.net/?action_item=true&asin=4797352965&ref=rss