ど文系だが、大学の講義で興味を持って読んでみた。 わかった気にはなるが、結局分かってない…そんな状態で終わる。 論理パズルもわかるものと分からないものが混在。 けど、内容自体は面白く、ゲーデルのひととなりがよく分かった。

恥ずかしながらいきなり私事・私語りを書くと、ぼくは文系で数学が大の苦手で、「不完全性定理」についてもなんら理解できていない（せいぜい「クレタ人のパラドックス」などのメタファーをとおしてかじっただけだ）。そんなぼくであってもこの本を通してすこしゲーデルの「哲学」に親しみ、彼の数奇な人生に触れて親しみすら感じられたかなと思う。愚直に推論・論理を重ねて究極まで突き詰められるまぎれもない大天才であり、その反面その論理癖がみずからをも苦しめて「神の存在証明」を問い詰めるところにまで行き着いてしまった男。実に人間臭い

久々に心から読んで良かったと思える本でした．改めて著者の高橋昌一郎先生のファンになりました． 人間の思考（あるいは人工知能）はチューリングマシンで既述できるかという疑問に対しても，明確な示唆が得られたと思いました． 私見ですが，人間の思考はチューリングマシンを超えていると思いました．機械に不足している要素は「完全な乱数」でしょう．以前からそのように考えていましたが，この本を読んだことにより，その確信を得ることができました． AIの研究者にもお勧めの一冊です．

ゲーデル概論。完全性定理、不完全性定理と神の存在論的証明の概説からノイマン、アインシュタイン、ウィトゲンシュタイン、チューリングらとの人生の総括まで。 初心者向けであり、読んでいる間はなんとなく理解した気になれるのだが、振り返ってみると自分で説明が可能だとは言い難い。 これは勿論、新書として入門に最適な分量に収めている本書のせいではなく、自分の知識不足。 理解したいという意欲は十分に得られるので、これを機に一から学びたい。

ひと通り読み終えたは読み終えたが、読んだだけでは理解度は低いと感じた。何かしら自身で「考える」という実践が有用に感じた。 これまでゲーデルについて知っていることといえば、概念を素朴に捉えたもの（不完全性定理とは証明不可能なことである）だけだったので、特に奥深さを持たなかったが、こうした単純な認識が揺さぶられたのでその点はよかった。 不完全性定理に限らず、いわゆる「ヒュームの懐疑論」と呼ばれるものや、メタの問題、無限の扱い（本書でのユークリッド公理５）との関係など、おもしろそうなんだけど、つい先を急いであまり考えずに読み進んでしまう点は反省。 論理学の本てせっかく買ってもつい先を急いであまり考えずに読み進んでしまう。思い悩みながら読んだほうがいいのに、読み終わってから「深く考えながら読めばよかった」と思い悩む悪い習慣。 https://twitter.com/prigt23/status/1044200671728168960

不完全性定理について”文系”的に一番よく書かれている本だと思う。不完全性定理というのはとかく文系の人には拡大解釈されがちだが、適用範囲がきちんと限定された数学的な定理であって、決して”「うそつきのパラドックス」を数学的に言い換えたもの”ではない。この本をちょっとていねいに読めばそのことがわかるだろう。（読みたいことを読みたいように読み飛ばせばどんな本を読んでも同じことだが） ゲーデルのかんたんな伝記や晩年の思想についてもふれられたとてもコストパフォーマンスのよい入門書。

読み終えた。 しかし、ただ読み終えただけであり、数学が出てくるところで私の理解をこえるところになった。 誰が読んでもわかりやすいようにという趣旨で、新書という形で発行されたようだが、何というか自分の知性を恥じる読書体験になってしまいました。 現代思想は本当に面白(そう)い、と思うのだが必ずそこには数学や科学の存在がある。文系の頭が拒絶するのか、単に私がアホなのか、それはわかりませんが、大いなる壁である。

さぁ、みんなゲーデルのことをよく知ろう！ 高橋昌一郎先生の本はどれもユーモアに富み中身の濃いものが多くオススメです！

S410.96-ゲン-1466 000374140 ものの本によると、「食通」の行きつく所は、「ホヤ」だそうである。ならば、「知」の行きつく所はゲーデルの「不完全性定理」であろうか。 「すべての真理を知る無矛盾な存在を神と呼ぶならば神は存在しない」（哲学者グリムは不完全性定理による神の非存在論を証明した） 「不完全性定理を証明したために彼は病気になったのか、あのような業績のためには彼の病気が必要だったのか」（数学者フルトヴェングラーの言葉）

ゲーデル先生もオーストラリア出身なんですねえ。二回の大戦さえなければドイツが世界最高の科学を誇っていたかもしれないし、原爆もドイツが開発したかもしれないですね。 奥さんLOVEで母思いの数学者でありながら、人間不信で毒殺の心配をする微妙な意味不明さ。 それにしても完全性定理と一階述語言語は完璧なのに不完全性定理は不完全ですか。 できれば、ゲーデル先生の論文にあたり、二つの定理の詳しい証明を知りたいものです。 生涯学習。死ぬまで勉強です。

本書は、アリストテレス以来の論理学者と言われたゲーデルの哲学に迫った本です。 ゲーデルが考える来世や神の存在論は、「世界は合理的である」という彼の哲学的見解に基づいたものであることが、彼が晩年に書いた4通の「神学的手紙」によって明らかにされています。 『世界は、合理的に構成され、疑問の余地のない意味をもっているという信念を、私は神学的世界像と呼んでいます。この信念は、即座に次の結論を導きます。私達の存在は、現世ではきわめて疑わしい意味しか持たないのですから、それは、来世の存在という目的のための手段に違いありません。そして、すべてのものに意味があるという信念は、すべての結果に原因があるという科学的原理とも対応しているのです』 ゲーデルといえば「不完全性定理」です。 それがどんなものか、素人の私の理解の一助にと思い本書を手にしたのですが、それとは別に、晩年のゲーデルが来世や神の存在論に行き着いたことを本書で知り、大変興味深く読ませていただきました。 著者、高橋昌一郎氏には、人間の理性の限界を一般向けに解説した「理性の限界」という著作があります。 その中で「不完全性定理」も取りあげられていますので、興味のある方はこちらも読まれてはいかがかと思います。

初ゲーデル。集合論におけるラッセルのパラドックスやチューリングマシン、神の存在証明など論理学の興味深さを思う存分味わった。前半のアナロジーは若干難しいが、メタ視点や集合論における自己言及の破綻を思い起こせば深くはなくとも理解はできる。論理学は強烈なツールであることを改めて感じた。カントとヒュームが示した演繹法と帰納法の限界についてさらに知りたくなった。

最初が面白かったので、 不完全性定理をわかりやすく説明してくれているいい本だと のめり込んでいったが、 途中から完全ストップ。 何度読んでも分からない箇所が続出。 あとは鈍行運転で、なんとか終了。 不完全性定理は不完全にしかわからなかった。 数学と哲学はつながっているようだ。

ゲーデルの複雑な議論をアナロジーとパズルを交互に用いる印象的な手法で説明している。ゲーデル以降の完全性定理のもたらしたことについての説明もあり、非常に興味深い。

二十世紀の哲学ではゲーデルによって知性が到達し得る限界が示された事が重大なエポックだったりする。一方の神学においてはボンヘッファーを欧州の知的精神史において外す事が出来ない。彼の哲学への解りやすい入門書であると同時にゲーデルという人間についても解りやすく書かれている点が良い。どちらも、ナチスに翻弄された人生を経た人であるという点でも興味深いと言える。哲学において十九世紀から受け継がれてきた「知性への過大すぎる信頼」を、知性の精華たる哲学によって打ち砕いたという点で彼の業績はとても大きい。同じ著者の「限界」シリーズもおすすめする。

アリストテレス依頼の天才数学・論理学者ゲーデルと言う人は謎の人でしたが、1906年生まれの20世紀の人物ということさえ知らず、アインシュタインと親友となり尊敬し合ったという人物像は極めて具体的に彼が不世出の天才であったことを物語っていると思いました。神が論理的に存在すると証明したということは今ひとつ私自身も腑に落ちたとは言えないところがありますが、非常に興味深い考え方でした。要約がP217に書いてありました。「神性Ｇは肯定的性質である。任意の肯定的性質Ｐに対して、Ｐを持つ対象が少なくとも１つ存在する可能性が導かれる。従って神性Ｇを所有する対象Ｘが少なくとも１つ存在する可能性がある。この結果に定理２を適用すると、Ｇを所有する対象Ｘが、少なくとも１つ必然的に存在する。さらに、定理１と定義２により、その対象Ｘは、Ｇを唯一持つ対象である。ゆえに、唯一の神が存在する。」

Ⅰ章までは理解できたのだが、その後はほとんど頭に入ってこなかった。とりあえずなんとか読み終えたものの、わかったことと言えばゲーデルの歩みだけだった。 いずれ読み返すことがあるかもしれない。

読み応えのあるゲーデル本。やはり縦書きの本であり、不完全性定理の証明のテクニカルな側面よりも、歴史的な背景と哲学的な意義について詳しく解説している。1930年のケーニヒスベルク会議と、1951年のギブス講演について詳細に書かれているのがとても嬉しい。ケーニヒスベルク会議は、ヒルベルトの記念講演「自然認識と論理」に加えて、数学基礎論における３学派（論理主義、形式主義、直観主義）の討論会が行われたり（フォン・ノイマンも講演している）と、華々しく開催されたのであるが、皮肉なことに、ゲーデルが初めて不完全性定理のアイデアを公表したのも、このケーニヒスベルク会議だったのである。結果的に数学界では受け入れられなかったブローウェルの「直観主義」が、ゲーデルにインスピレーションを与えたというのも、歴史的な皮肉としか言いようがない。

数学については初心者であっても理解できる内容だったが、哲学についてはある程度の知識がないと、第一章を除いて通読は困難であろう。 書名の通り、不完全性定理についての書ではなく、ゲーデルの哲学についての書である。 ただし、この書の第一章については、その多くの部分は不完全性定理をクイズから“類推”して理解する、という方法にあてられている。 この部分については哲学的な考え方に慣れていなくても、分かりやすいだろう。 （しかし類書も多い。） そしてその他の章では、その背景となる知識と、不完全性定理以降のゲーデルの哲学的動向が記されている。が、背景となる知識については、理論の名前だけが述べられているところも多く、哲学的動向については、突然原書の訳の一部が出てきたりして、中途半端な印象が否めない。 理解させよとは言わない。だが、もう少し的を絞って論を進めて欲しかった。

　アナロジーを通して不完全定理を紹介してくれている。個人的には、ゲーテルの人間・反機械論のところが感動的でよかった（ギブス講演）。いや、けっして反機械論に帰結するわけではないけれど、それでもよかった。その可能性があるだけで。

大学時代に高橋先生の授業を履修していて、この本を読んだ。 当時よく理解できなかったことも今なら、もう少しまともに、論理的な思考法を学べる気がする。また授業受けたい。

読了日は判らないので古い日付で適当に。ゲーデルの哲学的側面にスポットを当て、ゲーデル研究の鬼門とも言える神の存在論的証明を紹介するなど、解説書としては珍しい部類に入る。

論理学とか数学とか哲学とか心理学とかは、もう専門家だけがしたらいいと思う。もちろん興味あるが難しいぜ。存在とか矛盾とかパラドックスとかまでしかわからん。こういう新書を何冊が読んで、いつかアインシュタインを理解できるようになりたい。

ゲーデルの不完全性定理の解説、およびそこから導かれるゲーデルが考えた不完全性定理の哲学的帰結の解説本。 不完全性定理の解説は例が非常に巧みで、論理記号などは一切使われていないんだけれど、「なにこのわかってしまった気がする納得感！！」がある。 電車の中などで気軽に読んでも、論理学の素人にとって途中で迷子にならずぎりぎり理解できるか！？その瀬戸際を行き来しながら読んでしまえるぐらいの絶妙な難しさ加減が丁度良かった。不完全性定理のキモとなるゲーデル数化の概念もすんなり入ってくる。 この解ってしまった感って、こういう本の場合結構重要。実際に誰かに不完全性定理について説明しろなんて言われたらなんにも説明できない。だけれど、一読してストレス無く読めて「解った気にさせる」難易度で本を書くのは難しんじゃないかな。そこらへんが著者の腕の見せ所なんだろうな。ウマイ。 同一著者の「理性の限界」も是非読んでみたいと思える本でした。

三流大学のインチキ理系を首席で落第し、それでいてなお似非教養主義者を自称したい自分には目から鱗の一冊だった。 ゲーデルの不完全性定理はその名前だけ耳にしたことはある。 しかしその内容に自分のしがない理系的知識が吹き飛んだ。 数学って絶対的だと思っていたから。 しかしゲーデルのよると数学はそれ自身無矛盾であることを証明できないそうだ。 これは衝撃的だった。 この本の素晴らしいところはその一見難解そうな定理を下手に数式やら記号を使わずにパズル（というかナゾナゾというか）で説明し切っているところにある。 なので高校の微積で躓いた自分にもその不完全性定理の概要を上手く掴むことができた。 なので文系理系関係なくオススメできる一冊となっている。 ただし後半になるにつれて目にしたこともないような記号が増えてきて難解になってくるので注意が必要。 それでも神の存在証明はスリリングなことが伝わると思う。 人間機械論争も面白いが、これは情報処理に関するある程度の知識がないと読むのが辛いか。 後半部分で星を落とす要因にはあるが、全体としていい新書だと思う。 こうなると物理学の量子力学にも俄然興味が湧いてくるものだ（学生時代、量子力学を理解できなかったクチなのだけど、もう少し真面目に話だけでも聞いておけばよかった）。

「公理に基づく体系化されたシステムでは、全ての真理を汲み尽くすことはできない」 ゲーデルの定理は数学だけでなく哲学的な帰結をも意味し、全世界に衝撃を与えた。 難解な定理をわかりやすい概念から丁寧に説明することで、詳しいことがわからないままでも不完全性定理の概念をおおまかに理解することができる、不完全性定理の入門書。 ゲーデルという人の生涯も詳しく記してある。かなりナイスな一冊でありんす。

天才数学者ゲーデルの不完全性定理について。 論理で閉じた世界の限界を示し、記号からの脱却を押し進める。

ムズすぎ！わからん！ 不完全性定理とは何か、予備知識なしでわかるはずが、おれにはキャパオーバー。 どんな数学的命題も（更には哲学的命題も）本質的には矛盾なく証明することはできない、ってことか？ でもその提唱者ゲーデルの話は面白かった。 天才に奇人多し。

［　内容　］ あなたが矛盾しないことをあなたは証明できない―人間の理性に限界があることを証明し、神の存在証明をも行った“アリストテレス以来の天才”。 その思想の全体像を、はじめて平易に解き明かす。 ［　目次　］ １　不完全性定理のイメージ ２　完全性定理と不完全性定理 ３　不完全性定理の哲学的帰結 ４　ゲーデルの神の存在論 ５　不完全性定理と理性の限界 ［　ＰＯＰ　］ ［　おすすめ度　］ ☆☆☆☆☆☆☆　おすすめ度 ☆☆☆☆☆☆☆　文章 ☆☆☆☆☆☆☆　ストーリー ☆☆☆☆☆☆☆　メッセージ性 ☆☆☆☆☆☆☆　冒険性 ☆☆☆☆☆☆☆　読後の個人的な満足度 共感度（空振り三振・一部・参った！） 読書の速度（時間がかかった・普通・一気に読んだ） ［　関連図書　］ ［　参考となる書評　］

あまりに普遍的で完全だとおもっていたものが、実は本当の意味で完全ではなかったこと。そこに疑問を持つことと深堀していく勇気がすごい。

　ゲーデルの不完全性定理入門。これは良書。新書でこれだけの内容を盛り込めるのだから、高橋昌一郎の筆力恐るべし。 https://sessendo.blogspot.com/2008/11/blog-post_16.html

長門有希の100冊の、23冊目。 この手の哲学本にしてはものすごく読みやすい本です。 新書だからというよりは、できる限り易しい言葉を使って、まずざっくりと全体感を捉えれるようにという割り切りで書いてある本だからだと。思考実験にページ数が割いてあることもあって、純粋に面白い！ 後半はゲーデル生涯の話とかも入ってくるので、定理だけにのめりこみたい人には不向きかもしれません。（でも哲学書は得てしてそういうものな気もする） ちなみに原作で、長門が言った「無矛盾の公理的集合は自己の無矛盾性を証明することができない」というのが、このゲーデルの哲学です。チェッメイト寸前だったチェスの王様を胸ポケットにしまいこんで、こういうことですと古泉が言ってる場面のあれです。 しかし、古泉と長門の会話はすごい高度ですよね…。普通、高校生の日常会話にゲーデルは出てこないよ…！（そして、詳細は分からなくとも、この手の会話の要点をきちんと捉えられるキョンも、相当頭がいいと思います）（勉強ができるとかそういう意味ではなく）

不完全性定理について概念的に理解できると共に、天才ゲーデルの思考に触れる事ができる。 完全を求める数学の世界で、不完全を証明したゲーデルは数学の世界から哲学の世界に踏み出す。 人間は機械なのか、神は存在するのか、 このような議題も数学的観点から証明するゲーデルはやはり天才である。

ゲーデルという哲学者の人物像、アインシュタインなど科学者たちとの関係、彼の生きた時代背景、といったことは知れるしそれなりに興味深い。だが、彼の哲学そのもののについてとなると、本書では例えを使って解説しているが、門外漢にとってはやはり難解すぎる…。

数学者ゲーテルの生い立ちや哲学的志向、そして彼による「不完全性定理」の説明とそれにまつわるエピソードなど、数学と歴史、哲学に至るまでを分かりやすく記述した本。

哲学の解説書というより、サイモン・シンの「フェルマーの最終定理」のような科学ノンフィクションのような感覚で読める。人間の理性の限界や、神が存在するか否かといった話にまで及ぶスケールの大きい本。

難解＆誤解にひたすら晒されている、「ゲーデルの不完全性定理」を詳述。一見難解ではあるが、文章は読みやすく精読すれば初心者でも理解可能です。そういう意味で良書。安価だしね。恐らく20世紀最大の知的業績（もしかすると、人類史でも）に、一度は触れてみませんか？ ゲーデルによる（数学的な）「神の存在証明」も掲載されているのは必見かなぁ。理解できる人がいれば・・・・・。

孤高の天才数学者、ゲーデルさんについての本です。 定理っつぅと計算式やら机上の理論ってのが一般的な印象ですが、コレは人間の理性の限界を数式で証明したという、半分哲学の入ったカンジです。 人智が全てを知るコトは出来ないコトを、数式一つで表した物凄い人です（笑） この本は、講談社なのにブルーバックスじゃないコトからもお分かりのように（？）文系でも分かりやすく比喩を交えて説明してあるので、数学が全然アレでも大丈夫です♪ このゲーデルさんはアインシュタインとも親交のあった高名な数学者なんですが、あまりにも頭が良すぎたみたいで…最後は神の存在を数式で表そうとした挙句に精神を病んで餓死してます（爆） その辺の伝記も入ってるので、入門としては適していると思います。

不完全性定理で有名なゲーデルの哲学を紹介した本です。サブタイトルのとおり「不完全性定理」そしてゲーデルが行った「神の存在証明」について書いてあります。哲学や論理学、数学の予備知識は仮定されていないのでそれらをやったことがない人にもわかりやすく書いてあると思います。ゲーデルを効いたことがないがなくても不完全性定理は知っているという人は多いのではないでしょうか。哲学や論理学よりもむしろコンピュータ科学においてよく見かけるタームです。これによりラプラスの魔的に全てを予測する完全演算機械の出現が否定されるわけですがこの辺の話は実際に読んでもらった方が早いですね。かなり難解ですがゲーデルがこの理論にたどり着くまでの思考の変遷はかなりエキサイティングです。これを読むと論理学、数学と哲学の近さに気づかされますね。また、後半の「神の存在論」はゲーデル晩年の「神の存在証明」を紹介したもの。これは学術的にはあまり意味はないかもしれませんが、ここでも彼の論理展開は見事です。一般人とはかけ離れたまさに天才なんだなと思わずにはいられませんね。あとこれと一緒に以前紹介した「無限論の教室」もあわせて読むと理解がしやすくなると思います。

いかなる命題も己の無矛盾を証明できない＜不完全性定理＞ 例：「私は嘘つきだ」 これが真であれば正直者であり、論理は矛盾する。偽であっても「嘘つきではない」と、やはり正直者となってしまうので論理的に矛盾する。 という論理の限界を突き付けた数学者、ゲーデルの生涯。 例題がスッとわかる人には面白い世界。

名前はそんなに馴染みがなかったけれども、論理学の筋ではかなりの天才らしい。論理学につきものの、「パラドックス」の話しは面白い。物事の矛盾を排することが目的の論理学でも、絶対に明かにすることが出来ない矛盾が存在することを証明したのが、ゲーデルという人らしい。この事実は、数学や物理上の公式を絶対と考える人々にはものすごい衝撃を与えたのだろう。