7,129
个编辑
更改
无编辑摘要
}}
}}
<div style="width:100%;height:400px;align:center">
<div style="width:30%;float:left">
[[File:哥德尔.jpg|300px]]
</div>
<div style="width:68%;float:left;margin-left:2%">
{| class="wikitable" width="75%"
|-style="height:30px"
! 类别 !! 信息
|-
|姓名：|| 库尔特·哥德尔 Kurt Gödel
|-
|出生日期：|| 1906年4月28日
|-
|出生地：|| 布鲁恩，Austria-Hungary
|-
|死亡地：|| 普林斯顿，新泽西州，美国。
|-
|母校：|| 维也纳大学
|-
|所在机构：|| 高等研究院
|-
|主要研究方向：|| 数学，数理逻辑，分析哲学，物理
|-
|成就：|| 哥德尔不完备性定理<br>哥德尔完备性定理<br>哥德尔可构造宇宙<br>哥德尔度量封闭类时曲线<br>哥德尔逻辑<br>哥德尔达米特逻辑<br>哥德尔的 β 函数<br>哥德尔编号<br>哥德尔运算<br>哥德尔加速定理<br>哥德尔逻辑证明理论<br> 连续统假设与 ZFC <br> 构造性公理的一致性<br> 冷凝引理<br> 方言解释<br>弹弓论点
|-
|个人主页链接：|| [http://www.stevenstrogatz.com/ 史蒂文个人主页]、[https://math.cornell.edu/steven-strogatz 康奈尔大学史蒂文主页]
|-
|博士生导师：|| Hans Hahn
|-
|获得荣誉：||*[[阿尔伯特爱因斯坦奖]]（1951年）
| image = Kurt gödel.jpg
| image_size =
| caption =
| caption =
| caption =
| birth_name = Kurt Friedrich Gödel
| birth_name = Kurt Friedrich Gödel
| birth_date = {{birth date|1906|4|28}}
| birth_date =
| birth_place = Brünn, [[Austria-Hungary]]<br />{{small|(now [[Brno]], [[Czech Republic]])}}
| birth_place = Brünn, Austria-Hungary<br />
| death_date = {{death date and age|1978|1|14|1906|4|28}}
| citizenship = {{ubl|Czechoslovak|Austrian|American}}
| citizenship =
| field = [[Mathematics]], [[mathematical logic]], [[analytic philosophy]], [[physics]]
| field = Mathematics, mathematical logic, analytic philosophy, physics
维也纳大学
| thesis_title = Über die Vollständigkeit des Logikkalküls (On the Completeness of the Calculus of Logic)
| thesis_title = Über die Vollständigkeit des Logikkalküls (On the Completeness of the Calculus of Logic)
| thesis_url = http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9079526&fileId=S0022481200026633
| thesis_url = http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9079526&fileId=S0022481200026633
| thesis_year = 1929
| thesis_year = 1929
| doctoral_advisor = [[Hans Hahn (mathematician)|Hans Hahn]]
| doctoral_advisor = Hans Hahn
| known_for = [[Gödel's incompleteness theorems]]<br>[[Gödel's completeness theorem]]<br>[[Gödel's constructible universe]]<br>[[Gödel metric]] ([[closed timelike curve]])<br>[[Gödel logic]]<br>[[Gödel–Dummett logic]]<br>[[Gödel's β function]]<br>[[Gödel numbering]]<br>[[Gödel operation]]<br>[[Gödel's speed-up theorem]]<br>[[Gödel's ontological proof]]<br>[[Gödel–Gentzen translation]]<br>[[Von Neumann–Bernays–Gödel set theory]]<br>[[ω-consistent theory]]<br>The consistency of the [[continuum hypothesis]] with [[ZFC]]<br>[[Axiom of constructibility]]<br>[[Condensation lemma]]<br>[[Dialectica interpretation]]<br>[[Slingshot argument]]
| known_for = Gödel's incompleteness theorems<br>Gödel's completeness theorem<br>Gödel's constructible universe<br>Gödel metric (closed timelike curve)<br>Gödel logic<br>Gödel–Dummett logic<br>Gödel's β function<br>Gödel numbering<br>Gödel operation<br>Gödel's speed-up theorem<br>Gödel's ontological proof<br>Gödel–Gentzen translation<br>Von Neumann–Bernays–Gödel set theory<br>ω-consistent theory<br>The consistency of the continuum hypothesis with ZFC<br>Axiom of constructibility<br>Condensation lemma<br>Dialectica interpretation<br>Slingshot argument
| known_for =<font color="#ff8000"> 哥德尔不完备性定理<br>哥德尔完备性定理<br>哥德尔可构造宇宙<br>哥德尔度量封闭类时曲线<br>哥德尔逻辑<br>哥德尔达米特逻辑<br>哥德尔的 β 函数<br>哥德尔编号<br>哥德尔运算<br>哥德尔加速定理<br>哥德尔逻辑证明理论<br> 连续统假设与 ZFC <br> 构造性公理的一致性<br> 冷凝引理<br> 方言解释<br>弹弓论点</font>
| prizes = {{Plainlist|
| prizes = {{Plainlist|
| prizes = {{Plainlist|
*[[阿尔伯特爱因斯坦奖]]（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>
|}
</div>
</div>
'''Kurt Friedrich Gödel''' ({{IPAc-en|ˈ|ɡ|ɜːr|d|əl}};<ref>{{cite Merriam-Webster|Gödel}}</ref> {{IPA-de|ˈkʊɐ̯t ˈɡøːdl̩|lang|Kurt gödel.ogg}}; April 28, 1906 – January 14, 1978) was a [[logician]], [[mathematician]], and [[analytic philosopher]]. Considered along with [[Aristotle]] and [[Gottlob Frege]] to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as [[Bertrand Russell]],<ref name="Stanford&Son">For instance, in their ''[http://plato.stanford.edu/entries/principia-mathematica/ Principia Mathematica]'' (''Stanford Encyclopedia of Philosophy'' edition).</ref> [[Alfred North Whitehead]],<ref name="Stanford&Son"/> and [[David Hilbert]] were analyzing the use of logic and [[set theory]] to understand the [[foundations of mathematics]] pioneered by [[Georg Cantor]].
'''Kurt Friedrich Gödel''' ({{IPAc-en|ˈ|ɡ|ɜːr|d|əl}};<ref>{{cite Merriam-Webster|Gödel}}</ref> {{IPA-de|ˈkʊɐ̯t ˈɡøːdl̩|lang|Kurt gödel.ogg}}; April 28, 1906 – January 14, 1978) was a [[logician]], [[mathematician]], and [[analytic philosopher]]. Considered along with [[Aristotle]] and [[Gottlob Frege]] to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as [[Bertrand Russell]],<ref name="Stanford&Son">For instance, in their ''[http://plato.stanford.edu/entries/principia-mathematica/ Principia Mathematica]'' (''Stanford Encyclopedia of Philosophy'' edition).</ref> [[Alfred North Whitehead]],<ref name="Stanford&Son"/> and [[David Hilbert]] were analyzing the use of logic and [[set theory]] to understand the [[foundations of mathematics]] pioneered by [[Georg Cantor]].