Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

• かんやん

  読了日：2023/04/19

  第一部がカントールからヒルベルトへ至る数学基礎論の危機、即ち不完全性定理誕生の時代的背景の説明。第二部がゲーデルによる（述語論理の）完全性定理と不完全性定理の解説。�@論理学に於ける（真）を、数学では「証明可能」と読み変える。�A論理式の記号を自然数（ゲーデル数を使用）に一対一対応させ、プリンキア・マテマティカの体系を算術化する。�B証明可能か不可能か決定不能な自己言及的な命題をつくる。即ち公理系が無矛盾であれば、決定不可能な命題が存在する。偉い数学者が誰も反論してないから、正しいんだろう。理解を超えてます。

• kaizen@名古屋de朝活読書会

  読了日：2017/09/18

  #感想歌　エーデルの不完全性定理をば理解の入口うろうろしては　p.s. ゲーデルの本を読んで挫折し， 不完全性定理の解説本を読んで挫折したので、 藁をもすがる思いで本書を読んでいます。 分かっていない原理を理解するためには、 どういう糸口でもよいので欲しいと思っています。 理性の限界の発見という副題はちょっといただけないような気がします。

• 田氏

  読了日：2025/08/21

  高橋昌一郎『ゲーデルの哲学』に続けて読んでみるゲーデル本。ブルーバックスだけあって数式もほどほどに登場し、しかし一行一行を丁寧に解説しながら進んでいくので、序文で述べるように「中学生でも理解できる」かはさておき、読者を躓かせることなく読ませる本になっている。Notionで取っている読書ノートが、過去最もLaTeXを多用したものになったのは、興奮する読書体験であったことの現れだろうか。第一刷が1992年と古く、絶版の様相でもあるので、今探してまで読むべきかはわからないが、ブルーバックスへの信頼は再確認した。

• nbhd

  読了日：2016/03/12

  ゲーデル（３）不完全性定理は、算術の世界と論理学の世界を行ったり来たりすることで導かれていくらしい。ごくごくかんたんにいえば、１＋１＝２みたいな算術を論理式にして（ここはラッセルの作業）、その論理式をあらためて算術化して（ゲーデル数化）、その算術を論理式にもどしてと面倒くさい手続きを踏む。その過程で「この式は証明できない」みたいな爆弾が仕込まれて、最後にはその爆弾が連鎖的に爆発していくようなイメージ。頭が沸騰している。

• ヨンデル

  読了日：2024/05/18

  昔読んだ本です、整理のため登録しています。

レビューをもっと見る

(外部サイト)に移動します