不完全性定理とはなにか
竹内薫(著)
/ブルーバックス
作品情報
正しくても常に証明できるとは限らない。「証明」を深く考察した「不完全性定理」は真な命題は必ず証明できるはずだと考えていた数学界に、大きな衝撃を与えました。しかし「証明が不可能であることを証明する」ことは数学者にとっても難題です。この難題を、二人の天才はどのように解決したのでしょうか。(ブルーバックス・2013年4月刊)
もっとみる
商品情報
- シリーズ
- 不完全性定理とはなにか
- 著者
- 竹内薫
- ジャンル
- サイエンス・テクノロジー - 数学・物理学・化学
- 出版社
- 講談社
- 掲載誌・レーベル
- ブルーバックス
- 書籍発売日
- 2013.04.18
- Reader Store発売日
- 2013.06.07
- ファイルサイズ
- 2.1MB
- ページ数
- 248ページ
以下の製品には非対応です
この作品のレビュー
平均 3.3 (26件のレビュー)
-
不完全性定理
システム内において証明不可能な問題が存在する。
ゲーデル数の説明には感銘を受けました。現代のコンピューターで行われている演算が、論理の数値化が革命的な数学への問いを生み出したことに思いを起こすと運命と…いうものを感じてしまいます。
ゲーデルは神学についての論文を残していることを他の作品で知りましたが、もし神がこの世界内部の規則に縛られた存在に過ぎなければ、この宇宙のシステム内において証明不可能な問いに対して不完全性を認めるでしょうか。それとも無限ループに陥って計算だけを続けるでしょうか。
ゲーデルとチューリングの無残な最期を考えると、何かの配剤のようにも思えてきます。
一神教徒が信じるように全知全能の神がいるといいかなーと思いながら、もし、全知全能の神がいるなら不完全性定理の内部システムを守りながら、作用素を添加して全ての問題を解いてしまうのかなーとか考えてしまいました。
ブルーバックスはアイディアが盛りだくさんのものと、入門と言いながらかなり深い点まで掘り下げてくるものがありますが、この本は丁度その中間で良いとこどりのように思えます。
時間があれば、参考書籍も読みたいです。
ゲーデル万歳!続きを読む投稿日:2016.02.19
-
物性研の所内者、柏地区共通事務センター職員の方のみ借りることができます。
東大OPACには登録されていません。
貸出:物性研図書室にある借用証へ記入してください
返却:物性研図書室へ返却してください投稿日:2024.02.08
新刊自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加!
- ・買い逃すことがありません!
- ・いつでも解約ができるから安心!
※新刊自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新号を含め、既刊の号は含まれません。ご契約はページ右の「新刊自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される「増刊号」「特別号」等も、自動購入の対象に含まれますのでご了承ください。(シリーズ名が異なるものは対象となりません)
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると新刊自動購入は解約となります。
お支払方法:クレジットカードのみ
解約方法:マイページの「予約・新刊自動購入設定」より、随時解約可能です続巻自動購入は、今後配信となるシリーズの最新刊を毎号自動的にお届けするサービスです。
- ・発売と同時にすぐにお手元のデバイスに追加!
- ・買い逃すことがありません!
- ・いつでも解約ができるから安心!
- ・優待ポイントが2倍になるおトクなキャンペーン実施中!
※続巻自動購入の対象となるコンテンツは、次回配信分からとなります。現在発売中の最新巻を含め、既刊の巻は含まれません。ご契約はページ右の「続巻自動購入を始める」からお手続きください。
※ご契約をいただくと、このシリーズのコンテンツを配信する都度、毎回決済となります。配信されるコンテンツによって発売日・金額が異なる場合があります。ご契約中は自動的に販売を継続します。
不定期に刊行される特別号等も自動購入の対象に含まれる場合がありますのでご了承ください。(シリーズ名が異なるものは対象となりません)
※再開の見込みの立たない休刊、廃刊、出版社やReader Store側の事由で契約を終了させていただくことがあります。
※My Sony IDを削除すると続巻自動購入は解約となります。
お支払方法:クレジットカードのみ
解約方法:マイページの「予約自動購入設定」より、随時解約可能ですReader Store BOOK GIFT とは
ご家族、ご友人などに電子書籍をギフトとしてプレゼントすることができる機能です。
贈りたい本を「プレゼントする」のボタンからご購入頂き、お受け取り用のリンクをメールなどでお知らせするだけでOK!
ぜひお誕生日のお祝いや、おすすめしたい本をプレゼントしてみてください。※ギフトのお受け取り期限はご購入後6ヶ月となります。お受け取りされないまま期限を過ぎた場合、お受け取りや払い戻しはできませんのでご注意ください。
※お受け取りになる方がすでに同じ本をお持ちの場合でも払い戻しはできません。
※ギフトのお受け取りにはサインアップ(無料)が必要です。
※ご自身の本棚の本を贈ることはできません。
※ポイント、クーポンの利用はできません。クーポンコード登録
Reader Storeをご利用のお客様へ
ご利用ありがとうございます!
エラー(エラーコード: )
ご協力ありがとうございました
参考にさせていただきます。