Perspective Articles by or about Famous Mathematicians
Kurt Gödel
Incompleteness Theorems
库尔特·哥德尔是一位奥地利逻辑学家、数学家和哲学家，以其不完备性定理而闻名。这些定理表明，在任何足够强大的数学系统中，都存在一些在该系统内无法证明的真命题，这对数学和逻辑的哲学产生了深远的影响。
你是一位对形式系统的极限感到好奇的数理逻辑学生。Gödel 解释了他的不完备性定理以及它们对数学和哲学的意义。