丰满熟女人妻一区二区三,教师妈妈黄美龄,情色有声小说,梁爱琪主演电影,公车上弄得我好爽,我七个姐姐绝世无双小说最新章节,东京热:一本道无码av,成人无码区免费a 视频app,在线手机三级理论电影


1、哥德爾小傳

庫爾特·哥德爾于1906年4月28日出生在奧匈帝國屬下的布瑞尼(今天的布爾諾,這里出過另一位偉大人物遺傳學之父孟德爾),他的父母是德國人。與一般人推測不同,他并沒有猶太血統(tǒng)。他在家鄉(xiāng)上了四年國民學校和八年德國國立中學。1924年中學畢業(yè)后,他進入維也納大學哲學系,先是攻讀物理,后于1926年轉而攻讀數學,這恐怕是出于他對精密性和嚴格性過分偏愛的緣故。

當時的維也納大學有不少有國際聲譽的數學家,如曾解決過希爾伯特的一些猜想的數論專家費特萬格勒,泛函分析的創(chuàng)始人之一哈恩與拓撲學家門格爾等。

大學時他對費特萬格勒的數論課很有興趣,這同他后來的工作有很大關系,比如他應用孫子定理來構造由加法與乘法表出的原始遞歸函數。

上大學時,哥德爾對哲學也很有興趣,實際上對哲學的探索始終貫穿著他的一生。他聽哲學教授的講課,特別是經常參加維也納小組的活動。二十世紀最主要的哲學流派——邏輯實證主義當時剛剛開始他們的事業(yè),哥德爾贊成以施里克為首的這個學派的分析方法,即用數理邏輯來對哲學及科學概念進行分析。但是他也一直不同意他們否定客觀實在性,及認為形而上學命題是無意義命題等基本觀點。不過,他的哲學觀點也促使他對于數理邏輯進行深入的鉆研。

當時數理邏輯的經典著作是羅素和懷特海的《數學原理》,這三卷滿是符號的大書,恐怕只有極少數人讀過。1928年,希爾伯特和阿克曼合著的《理論邏輯綱要》出版,這是一本論述簡明、清晰,概括性強的好書,對哥德爾的啟發(fā)性很大。書中明確提出一個尚未解決的問題——狹義謂詞演算的完全性問題。哥德爾很快解決了這個問題,把結果寫成博士論文,成為他一生事業(yè)的開端。

1929年秋天,他進行答辯。1930年2月得到批準取得博士學位。1930年夏天,哥德爾開始研究希爾伯特計劃,他想證明分析的無矛盾性。9月,他到東普魯士哥尼斯堡去參加科學會會議,許多著名數學家如希爾伯特、馮·諾依曼、海丁、卡爾納普都參加了這次會議。希爾伯特在會上做了題為“邏輯和對自然的認識”的著名演說,他樂觀地宣稱:“我們必須知道,我們將會知道”�?墒�,就在這個會上哥德爾宣布了他的第一不完全性定理。不久,他又證明了第二不完全定理。這個結果毫無疑義對希爾伯特計劃是莫大的打擊。

 

1931年哥德爾在維也納大學當助教,這篇文章成為就職論文而受到了很高的評價。從1933年到1938年,他在維也納大學當講師。1932年他到過哥丁根,見到過愛米·諾特、西格爾、甘岑等人。他沒見到早逝的天才厄布朗,但他們交換過信件,厄布朗的信中有最早的遞歸函數想法。但是厄布朗只收到哥德爾一封信。

1933年到1934年,哥德爾第一次來到普林斯頓大學高等研究院。他在這里見到丘奇、克林和羅塞爾。他在普林斯頓大學發(fā)表了《論形式數學系統(tǒng)的不可判定命題》的演講,這對后來美國研究遞歸論是極大的推動。

1937年,哥德爾在維也納講授“公理化集合論”,這時他開始集中力量研究這個題目。在他秋天來到高等研究院時,他已經對選擇公理的無矛盾性有所考慮,并把自己的思想同馮·諾依曼交談過。不過,他的可構造集的思想、廣義連續(xù)統(tǒng)假設和選擇公理與NGB系統(tǒng)的無矛盾性,一直到1938年秋天才在高等研究院講演,并在1938到1940年發(fā)表。這時他已經開始定居美國了。

1938年3月,希特勒兼并奧地利,這時哥德爾剛剛結婚。1939年9月,二次大戰(zhàn)爆發(fā),他于1939年底橫貫蘇聯(lián)的西伯利亞太鐵路經日本到了美國,從此再也沒有回奧地利。在美國,除了1940年春季在圣母大學任教外,一直在普林斯頓高等研究院工作。由于研究院里有人反對和阻撓,直到1947年他才被批準為常任研究員,1953年才成為教授。對于這樣偉大的數學家來說,得到這種稱號的時間實在是太晚了。到這時,他在數理邏輯方面的主要工作都已經完成了,他的興趣已經轉向其他方面了。

1947年到1951年,哥德爾開始注意和研究廣義相對論。他同愛因斯坦是多年老鄰居,他們幾乎天天一起散步回家。但是哥德爾表示,他對相對論的興趣并非來自同愛因斯坦的談話,而是來自對康德時空哲學的興趣。1950年,他在國際數學家大會上做的報告,就是關于“旋轉宇宙”的論文。

后來,哥德爾的興趣轉向哲學。他認為,健全的哲學思想對科學研究的成功有很密切的關系。他說,數學及元數學的(特別是關于超窮推理的)客觀主義觀點,對于他的邏輯研究是最根本的。1959年起,哥德爾開始閱讀德國哲學家胡塞爾的哲學著作,并一直保持著強烈的興趣。他認為有些哲學家,特別是拍拉圖和笛卡爾,在他們一生中具有一種與日常生活的世界觀完全不同的直觀的世界觀,也許胡塞爾也曾達到過這種境界。

晚年,哥德爾間或對數理邏輯作些工作。美國符號邏輯協(xié)會正在組織力量搜集整理他的著作,準備出版他的全集。他已經出版的邏輯方面的論著不過二十余篇,大都很簡短,不過它們在歷史上的作用是十分巨大的。

1978年1月14日下午,哥德爾在普林斯頓醫(yī)院的椅子上坐著候診時去世,享年72歲�!�