首页 › 传记 › 数学家 › 库尔特·哥德尔

库尔特·哥德尔

主要贡献

1. 哥德尔不完备定理
2. 哥德尔编码
3. 连续统假设一致性证明