1、哥德尔
数学家哥德尔（Godel）已经证明不可靠性（或不完全性、 不确定性）是我们人类逻辑的固有本性。
2、古德尔
诺依曼曾在数理逻辑领域作研究，而此领域的一重大突破是古德尔(Godel)（1906-1978）所引进的古德尔数：用数字表列出所有可能的逻辑命题(propositions)与证明(proofs)。冯.
3、高得
4-2 3 0 年代的宇宙观 20 世纪人類有三大创举 ，除了 高得 (Godel) 的不完整理論 (incomplete theory, 1931 发表)， 少有人注意到之外， 一般物理学家都耳熟能详的， 就是量子力学 (Quantum mecha...