大历史
大历史
观澜录
岁时记
步天歌
无终曲
片羽集
订阅
🌙
PEOPLE · 列传
/
科学与数学
🔬
哥德尔
1906–1978
生卒
1
个频道
1
处记载
哥德尔的足迹散落在全站 1 个频道、1 处记载中。手写详传尚未落笔,先以足迹见人。
数学史
文明与科学
1 处
1931年
哥德尔不完备定理
基础危机与逻辑
任何自洽的数学体系都藏着无法证明的命题。
同时代的他们
活跃年代与哥德尔重叠的列传人物
爱因斯坦
1879–1955
沃森
1928–
福特
1863–1947
查理·帕克
1920–1955
阿姆斯特朗
1930–2012
罗斯福
1882–1945
乔丹
1963–
密斯
1886–1969
克里克
1916–2004
乔布斯
1955–2011
克拉克
1917–2008
图灵
1912–1954