>>157
ID:WlcB2qq8さん、どうも、スレ主です。レスありがとう
ID:WlcB2qq8さん、なかなか力あるね。

調べてみると、過去スレ6で、不完全性定理が登場しているね。過去スレ 8で下記のような話を紹介している。あと、なんどか登場しているね
”パリスとハーリントン”の話は、このスレで話題にしたことは無かったが、wikipediaにあったね（下記）。
どこかで似たようなことを読んだ気がしたが、思い出せなかった・・（＾＾

過去スレ 8 http://ai.2ch.net/test/read.cgi/math/1364681707/26 2013/03/31(日) (抜粋)
1930年9月7日にケーニヒスベルクで開催されていた「厳密科学における認識論」についての第2回会議においてクルト・ゲーデルが第一不完全性定理を発表すると、発表の後にノイマンはゲーデルと個人的に会話を行い、定理の内容を直ちに理解した。
その会議の後、ゲーデルは第二不完全性定理を得て論文にまとめ、論文は11月17日に受理された。いっぽう、ノイマンは独力で第二不完全性定理を導き、その結果を11月20日付けの手紙でゲーデルに知らせた。

過去スレ 8 http://ai.2ch.net/test/read.cgi/math/1364681707/99 2013/04/06(土) (抜粋)
http://d.hatena.ne.jp/keyword/%C9%D4%B4%B0%C1%B4%C0%AD%C4%EA%CD%FD
ゲーデルの不完全性定理（Godel's Theorem）
簡単に言えば、「完全で無矛盾な公理系は存在しない」ということを証明した*1。
数学基礎論の分野で提出された定理だが、その影響は数学はもとより、論理学や哲学やその他の人間の知（理性）の全分野にも及ぶものであり、フォン・ノイマンをして「（その業績は）不滅以上のものである」と言わしめた。
(引用終り)

つづく