“而我们自己则往往是幼稚可笑的，不了解这一点，就不能得到起码的知识。”

[老照片] 哥德尔和爱因斯坦在普林斯顿散步，1954年

数学家 Kurt Gödel（右）和物理学家 Albert Einstein（左）在普林斯顿散步，1954年

Mathematician Kurt Gödel, right, and physicist Albert Einstein, left, taking a walk in Princeton, 1954

（1）https://pocketmags.com/prospect-magazine/janfeb-2019/articles/487498/kurt-g-del-and-the-romance-of-logic

（2）https://www.prospectmagazine.co.uk/magazine/kurt-godel-and-the-romance-of-logic

https://www.prospectmagazine.co.uk/content/uploads/2018/12/Screenshot-2018-12-07-at-14.46.05.png

（3）Kurt Gödel and Albert Einstein walking in Princeton (1954) | © Leonard Mccombe/The LIFE Picture Collection/Getty Images

https://projectmanbeyond.com/beliefs/

（4）EINSTEIN, ALBERT & KURT GÖDEL

Original color slide, 50 x 50 cm including Kodachrome mount, Princeton,[December 5, 1947], depicting Einstein and Gödel walking, mount evenly toned, image bright.

Provenance: Oskar Morgenstern, by descent.

https://www.bonhams.com/auctions/26078/lot/21/

https://images2.bonhams.com/image?src=Images/live/2020-10/13/24983476-3-4.jpg&width=640&height=480&autosizefit=1

（5）Princeton,NJ- The first Albert Einstein Award for Achievement in the Natural Sciences goes to Professor Julian Schwinger (R) Harvard University, a Mathematical Physicist, and Professor Kurt Godel (second from R) the Institute for Advanced Study, a Mathematical Logician. Professor Einstein (L) world renowned mathematician makes the presentation with Lewis L. Strauss (second from L), President of Board of Trustees of the Institute for Advanced Study. (Photo by Getty Images).

https://www.history101.com/mathematical-genius-kurt-godel/

March 14, 1951.

哥德尔在爱因斯坦转战统一场论之后，接手了广义相对论的研究，在 1951-03-14 年还被授予首届阿尔伯特·爱因斯坦奖（爱因斯坦的亲自授奖）。

https://zhuanlan.zhihu.com/p/26703073

      请教：

   （1）哪里有完整的高清大图？

   （2）哥德尔和爱因斯坦，这是去哪里？

   （3）前面的白色楼房还在吗？做什么用的房子？

   （4）哥德尔和爱因斯坦，在讨论什么？

   （5）这些树木，现在还在吗？

   （6）这条小路，现在还在吗？

   （7）1954年，哥德尔开始练习“灵魂出窍”了吗？传闻哥德尔为了解决“逻辑系统的局限性”，才去练习灵魂出窍。不知道有没有这事儿？

   （8）哥德尔“修炼”出什么成果？

   ……

参考资料：

[1] Kurt Gödel and the romance of logic

https://pocketmags.com/prospect-magazine/janfeb-2019/articles/487498/kurt-g-del-and-the-romance-of-logic

   Mathematician Kurt Gödel, right, and physicist Albert Einstein, left, taking a walk in Princeton, 1954

[2] Kurt Gödel and the romance of logic

https://www.prospectmagazine.co.uk/magazine/kurt-godel-and-the-romance-of-logic

   Mathematician Kurt Gödel, right, and physicist Albert Einstein, left, taking a walk in Princeton, 1954

有关哥德尔和不完全性定理的参考资料：

[1] Kurt Gödel: Life, Work, and Legacy, Institute for Advanced Study

https://www.ias.edu/kurt-g%C3%B6del-life-work-and-legacy

[2] Kurt Gödel, Stanford Encyclopedia of Philosophy

https://plato.stanford.edu/entries/goedel/

[3] Kurt Gödel, MacTutor History of Mathematics Archive

https://mathshistory.st-andrews.ac.uk/Biographies/Godel/

[4] Gödel incompleteness theorem. Encyclopedia of Mathematics.

https://encyclopediaofmath.org/wiki/G%C3%B6del_incompleteness_theorem

[5] Zeno paradox. Encyclopedia of Mathematics.

https://encyclopediaofmath.org/wiki/Antinomy

[6] 芝诺悖论 - 百度百科

https://baike.baidu.com/item/%E8%8A%9D%E8%AF%BA%E6%82%96%E8%AE%BA/241624?fr=aladdin

[7] Proof. A.S. Kuzichev (originator), Encyclopedia of Mathematics.

https://encyclopediaofmath.org/wiki/Proof

[8] Kurt Gödel, Stanford Encyclopedia of Philosophy

https://plato.stanford.edu/entries/goedel/

[9] 知乎，2017-05-03，他写下了霍金口中的人类最高成就，粉碎了上千年的数学信念，还成为了爱因斯坦最好的基友

https://zhuanlan.zhihu.com/p/26703073

相关链接：

[1] 2010-03-09，逻辑方法的局限性：Gödel incompleteness theorem和Chaitin theorem

http://blog.sciencenet.cn/blog-107667-301287.html

[2] 2015-03-30，[求助] 哥德尔（Kurt Gödel ）一句话的英文原文

http://blog.sciencenet.cn/blog-107667-878552.html

感谢您的指教！

感谢您指正以上任何错误！

感谢您提供更多的相关资料！