7,129
个编辑
更改
跳到导航
跳到搜索
第27行：
第27行： − + − |- − |个人主页链接：|| [http://www.stevenstrogatz.com/ 史蒂文个人主页]、[https://math.cornell.edu/steven-strogatz 康奈尔大学史蒂文主页] − + +
无编辑摘要
|主要研究方向：|| 数学，数理逻辑，分析哲学，物理
|主要研究方向：|| 数学，数理逻辑，分析哲学，物理
|-
|-
|成就：|| 哥德尔不完备性定理<br>哥德尔完备性定理<br>哥德尔可构造宇宙<br>哥德尔度量封闭类时曲线<br>哥德尔逻辑<br>哥德尔达米特逻辑<br>哥德尔的 β 函数<br>哥德尔编号<br>哥德尔运算<br>哥德尔加速定理<br>哥德尔逻辑证明理论<br> 连续统假设与 ZFC <br> 构造性公理的一致性<br> 冷凝引理<br> 方言解释<br>弹弓论点
|成就：|| 哥德尔不完备性定理，哥德尔完备性定理，哥德尔可构造宇宙，哥德尔度量封闭类时曲线，哥德尔逻辑，哥德尔达米特逻辑，哥德尔的β函数，哥德尔编号，哥德尔运算，哥德尔加速定理，哥德尔逻辑证明理论， 连续统假设与 ZFC ，构造性公理的一致性，冷凝引理， 方言解释，弹弓论点
|-
|-
|博士生导师：|| Hans Hahn
|博士生导师：|| Hans Hahn
|-
|-
|获得荣誉：||*[[阿尔伯特爱因斯坦奖]]（1951年）
|获得荣誉：||
*[[阿尔伯特爱因斯坦奖]]（1951年）
*[[国家科学奖章]]（1974年）
*[[国家科学奖章]]（1974年）
*[[英国皇家学会会员]]〔1968〕<ref name=frs>{{Cite journal | last1 = Kreisel | first1 = G. | authorlink = Georg Kreisel| doi = 10.1098/rsbm.1980.0005 | title = Kurt Godel. 28 April 1906–14 January 1978 | journal = [[Biographical Memoirs of Fellows of the Royal Society]] | volume = 26 | pages = 148–224| year = 1980 | pmid = | pmc = | doi-access = free }}</ref>
*[[英国皇家学会会员]]〔1968〕<ref name=frs>{{Cite journal | last1 = Kreisel | first1 = G. | authorlink = Georg Kreisel| doi = 10.1098/rsbm.1980.0005 | title = Kurt Godel. 28 April 1906–14 January 1978 | journal = [[Biographical Memoirs of Fellows of the Royal Society]] | volume = 26 | pages = 148–224| year = 1980 | pmid = | pmc = | doi-access = free }}</ref>