ゲーデルの定理 利用と誤用の不完全ガイド
発売日:2011年3月
- ページ数
- 241p
- ISBN
- 978-4-622-07569-1
- 著者情報
- フランセーン,トルケル(フランセーン,トルケル)(Franz´en,Torkel)
1950‐2006。ストックホルム大学よりPh.D.(哲学)を取得。ルレオ工科大学(スウェーデン)計算機科学・電子工学科に講師として長年勤め、プログラミングを教えた。数理論理学と計算機科学が専門
田中 一之(タナカ カズユキ)
1955生まれ。カリフォルニア大学バークレー校で、新しい算術独立命題を発見したハーリントン教授に師事し、Ph.D.を取得(1986)。現在、東北大学大学院理学研究科数学専攻教授。専門は数学基礎論で、とくに「逆数学」の研究で国際的に知られる
セブン-イレブン受取り(送料無料)
発送目安
発売日(発売日以降は当日)~2日で発送
宅配(送料¥550税込)
発送目安
発売日(発売日以降は当日)~2日で発送
交通状況・天候の影響や注文が集中した場合等、お届けにお時間をいただく場合がございます。
商品説明
「革命」ばかりが語られてきた不完全性定理について、本来の定理としての醍醐味を語る。ゲーデル、チューリングをはじめとする驚くべき頭脳がシステムの性質を探る、創造性あふれる営みを垣間見る旅。しかも数々の誤用例を素材に、ゲーデルの定理では言えないことまでを徹底的に点検し、定理の射程を明らかにしている。認知科学、物理学、神学、ポストモダン批評など、思いつくかぎりの分野から誤用・誤解の事例がとりあげられている。誰もが陥りやすい錯覚や、緻密な考察の末の誤りも多く、著名な科学者の文章でさえ例に漏れない。同じ轍を踏まないためにもゲーデルの定理を引用する際にはとりわけ必読の書である。
目次
1 序
2 不完全性定理総論
3 計算可能性、形式体系、不完全性
4 不完全性はどこにでも
5 数学に関する懐疑と信頼
6 ゲーデル、心、コンピュータ
7 ゲーデルの完全性定理
8 不完全性、複雑さ、無限大
A 補遺
商品詳細
- 出版社名
- みすず書房
- サイズ
- 22cm
- 対象年齢
- 一般
- フォーマット
- 単行本
- 原題
- 原タイトル:GODEL’S THEOREM
注意事項
- 本の帯に関して
- 帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。 - 版・表紙について
- 版・表紙(カバー)のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典(初回特典、初回仕様特典)がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。