數(shù)學(xué)家、邏輯學(xué)家哥德爾

　　庫(kù)爾特-哥德爾（kurt gödel）（1906年4月28日—1978年1月14日）是位數(shù)學(xué)家、邏輯學(xué)家和哲學(xué)家。其最杰出的貢獻(xiàn)是哥德爾不完全性定理和連續(xù)統(tǒng)假設(shè)的相對(duì)協(xié)調(diào)性證明。

　　生于捷克的布爾諾，卒于美國(guó)普林斯頓。早年在維也納大學(xué)攻讀修讀理論物理、基礎(chǔ)數(shù)學(xué)，后來(lái)又轉(zhuǎn)研數(shù)理邏輯、集合論。但1940年代中就將注意力投放在哲學(xué)上，并參加哲學(xué)小組活動(dòng)。1930年獲博士學(xué)位。其博士論文證明了「狹謂詞演算的有效公式皆可證」。之后在維也納大學(xué)工作。1938年到美國(guó)普林斯頓高等研究院任職，1948年加入美國(guó)籍。1953年成為該所教授。哥德爾發(fā)展了馮·諾伊曼和伯奈斯等人的工作，其主要貢獻(xiàn)在邏輯學(xué)和數(shù)學(xué)基礎(chǔ)方面。在20世紀(jì)初，他證明了形式數(shù)論（即算術(shù)邏輯）系統(tǒng)的「不完全性定理」：即使把初等數(shù)論形式化之后，在這個(gè)形式的演繹系統(tǒng)中也總可以找出一個(gè)合理的命題來(lái)，在該系統(tǒng)中既無(wú)法證明它為真，也無(wú)法證明它為假。這一著名結(jié)果發(fā)表在1931年的論文中。他還致力于連續(xù)統(tǒng)假設(shè)的研究，在1930年采用一種不同的方法得到了選擇公理的相容性證明。3年以后又證明了（廣義）連續(xù)統(tǒng)假設(shè)的相容性定理，并于1940年發(fā)表。他的工作對(duì)公理集合論有重要影響，而且直接導(dǎo)致了集合和序數(shù)上的遞歸論的產(chǎn)生。此外，哥德爾還從事哲學(xué)問(wèn)題的研究。他熱衷于用數(shù)理邏輯的方法來(lái)分析哲學(xué)問(wèn)題，認(rèn)為健全的哲學(xué)思想和成功的科學(xué)研究密切相關(guān)。他在1967年致中國(guó)數(shù)學(xué)家王浩的信中，自稱為「客觀主義」，并說(shuō)他的客觀主義觀點(diǎn)對(duì)于他的邏輯研究來(lái)說(shuō)是根本的。1951年獲愛(ài)因斯坦勛章。哥德爾一生發(fā)表論著不多。他發(fā)表于1931年的論文《〈數(shù)學(xué)原理〉（指懷德海和羅素所著的書）及有關(guān)系統(tǒng)中的形式不可判定命題》是20世紀(jì)在邏輯學(xué)和數(shù)學(xué)基礎(chǔ)方面最重要的文獻(xiàn)之一。