※ 引述《Qoo2222 (Qoo2222)》之銘言：
: 愛因斯坦就不介紹了
: 發展出相對論和量子力學
: 哥德爾是近代最傑出的數學家之一
: 發表的哥德爾不完備定理超越數學 具備哲學上的意義
: 也證明出連續統假設和axiom of choice 獨立於在ZF
: 他們兩人同時待在普林斯頓 關係甚好 經常一起散步
: 頂尖的物理學家和數學家會聊些什麼??
: 愛因斯坦跟哥德爾散步時會聊什麼???
他們會聊造物主創造宇宙。
愛因斯坦在晚年時，寫信給他的女兒，說造物主是愛。
哥德爾的不完備定理，暗示我們的智慧有限，
不可能發現造物主創造宇宙的完整方法，只能發現有限的原理。
所以，數學公理不可能自己證明數學公理的一致。
另外，John von Neumann在《電腦與人腦》中說，
數學是文字語言，數學可以說明物理(幾何)，
所以John von Neumann以齒輪來說明邏輯。
整合兩人的說明，符號邏輯不是物理，而是一種文字語言。
John von Neumann對於數學的理解，補充說明哥德爾提出的不完備定理。
哥德爾相信造物主創造宇宙。
傳說哥德爾申請成為美國公民時，
移民法官詢問他對美國憲政的意見，他回答，美國民主仍會變成獨裁。
移民法官聽了他的回答，就停止這個問題。
祈求造物主憐憫我們的錯誤，感謝造物主賜給我們幸福平安。