库尔特·哥德尔头像 - 每日文摘

库尔特·哥德尔

提出不完备定理,奠定数理逻辑基础

奥地利数学家、逻辑学家,以不完备定理闻名,证明了在任何一致的形式系统中存在无法被证明的真命题,对数学基础和逻辑学影响深远。

🎲 随机 · 灵感闪现 ✨ 名言如星,拾光而行