哥德尔 58313名gēdéěr (软件注音)

---

[Godel, Kurt]
（1906.4.28,奥匈帝国 布伦～1978.1.14,美国 新泽西州 普林斯顿) 奥地利裔美国数学家、逻辑学家。20世纪30年代初在维也纳大学任教，提出了著名的哥德尔证明（参阅哥德尔定理[Godel's theorem]）。1940年移民美国，在普林斯顿高等研究院教书。与爱因斯坦结为密友，进而接触广义相对论的领域，并解出爱因斯坦的一些方程式。哥德尔个性温和、谦虚，起初并未意识到他的理论的重要性，晚年谢绝了由此带来的许多荣耀。