7,129
个编辑
更改
跳到导航
跳到搜索
第4行：
第4行： − 此词条暂由水流心不竞初译，翻译字数共，未经审校，带来阅读不便，请见谅。+ − + − {{Redirect|Gödel|the programming language|Gödel (programming language)|other uses|Godel (disambiguation)}}+ − + − {{Redirect | 哥德尔 |编程语言| 哥德尔（编程语言）|其他用途| 哥德尔（消歧)}}+ − + − {{short description|logician and mathematician}}+ − + − {{{简介{逻辑学家和数学家}}+ − + − {Use mdy dates|date=July 2014}}+ − + − {{Use mdy dates | date=2014年7月}}+ − + − {{Infobox scientist+ − + − {{Infobox scientist+ − + − {信息盒科学家+ − + − | name = Kurt Gödel+ − + − | name = Kurt Gödel+ − + − | 姓名: 库尔特 · 哥德尔+ − + − | image = Kurt gödel.jpg+ − + − | image = Kurt gödel.jpg+ − + − − − | image_size = − − − − 图片大小 = − − − − − − − − − − − − 出生名字 = 库尔特·哥德尔 − − − − − − 出生日期 − − − − − − 出生地布鲁恩，Austria-Hungary − − − − | death_date = − − 死亡日期 − − | death_place = [[Princeton, New Jersey|Princeton]], New Jersey, U.S. − − | death_place = Princeton, New Jersey, U.S. − − 死亡地点: 普林斯顿，新泽西州，美国。 − − − − − − 公民身份 − − − − − − 数学，数理逻辑，分析哲学，物理 − − | work_institutions = [[Institute for Advanced Study]] − − | work_institutions = Institute for Advanced Study − − 高等研究院 − − | alma_mater = [[University of Vienna]] − − | alma_mater = University of Vienna − − − − − − − − 论文题目: 《逻辑演算的完备性》 − − − − − − Http://journals.cambridge.org/action/displayabstract?frompage=online&aid=9079526&fileid=s0022481200026633 − − − − − − 论文年份 = 1929 − − − − − − 博士生导师: Hans Hahn − − | doctoral_students = − − | doctoral_students = − − 博士生 = − − | influences = − − | influences = − − 影响 = − − | influenced = − − | influenced = − − 影响 = − − − − − − − − − − − − − − * [[Albert Einstein Award]] (1951) − − * [[National Medal of Science]] (1974) − * [[Fellow of the Royal Society|ForMemRS]] (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> + + + − }} − − }} − − }} − − | spouse = {{marriage|Adele Nimbursky|1938}} − − | spouse = − − 配偶 = − − | signature = Kurt Gödel signature.svg − − | signature = Kurt Gödel signature.svg − − | signature = Kurt Gödel signature.svg − − }} − − }} − − }}
无编辑摘要
}}
}}
<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]].