<strong id="jl3cy"><code id="jl3cy"></code></strong>
      1. 
        
        1. 當前位置:世紀名人網 > 科技名人 > 王浩

          王浩:數理邏輯學家

            王浩(1921年5月20日—1995年5月13日)數理邏輯學家。祖籍山東省德州市齊河縣,生于山東省濟南市。1939年畢業于現山東省濟南第一中學,進入西南聯大數學系學習,師從金岳霖先生。1943年獲學士學位后又入清華大學研究生院哲學部學習,1945年以《論經驗知識的基礎》的論文獲碩士學位。王浩在中學時代就對哲學有興趣,念初中時他在父親的建議下閱讀過恩格斯的著作《反杜林論》和《路德維希·費爾巴哈與德國古典哲學的終結》。1946年,王浩前往美國哈佛大學,在那里見到了當代美國著名哲學家、邏輯學家奎因(W.V.Quine),并隨即開始學習他創立的形式公理系統。兩年時間即獲哈佛大學哲學博士學位。在哈佛短暫教學之后赴蘇黎世與貝奈斯(Paul Bernays)一起工作。1954-1956年,在牛津大學任第二屆約翰-洛克講座主講,又任邏輯及數理哲學高級教職,主持數學基礎討論班。1961-1967年,任哈佛大學教授。1967-1991年,任洛克菲勒大學邏輯學教授。20世紀50年代初被選為美國科學院院士,后又被選為不列顛科學院外國院士。1983年,被國際人工智能聯合會授予第一屆“數學定理機械證明里程碑獎”,以表彰他在數學定理機械證明研究領域中所作的開創性貢獻。著有《數理邏輯概論》、《從數學到哲學》、《哥德爾》、《超越分析哲學》等專著。

          王浩相關資訊:

          王姓名人

          科技名人

          同年(1921年)出生的名人

          同年(1995年)去世的名人

          關于我們 | 服務條款 | 廣告服務 | 客服中心 | 網站導航
          本站部分內容來源于互聯網轉載或投稿,如發現事實性、技術性差錯和版權方面等問題,請及時與我們聯系。
          Copyright @ 2004-2022 世紀名人網 www.mark-ashley.com. All Rights Reserved. 鄂ICP備2021018505號-1
          校花教室的呻吟,色欲天天久久综合影院,琪琪电影网午夜理论片717
            <strong id="jl3cy"><code id="jl3cy"></code></strong>
              1.