search:哥德爾相關網頁資料

      • zh.wikipedia.org
        库尔特·哥德尔(Kurt Friedrich Gödel,1906年4月28日-1978年1月14日),數學家、邏輯學家和哲學家,维也纳学派(维也纳小组)的成员。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。
        瀏覽:1007
      • zh.wikipedia.org
        在數理邏輯中,哥德爾不完備定理是庫爾特·哥德爾於1931年證明並發表的兩條定理。簡單地說,第一條定理指出: 任何相容的形式系統,只要蘊涵皮亞諾算術公理,就可以在其中構造在體系中既不能證明也不能否證的命題(即體系是不完備的)。 這條 ...
        瀏覽:1203
    瀏覽:462
    日期:2024-04-17
    哥德爾 首頁 | 搜尋 Godel(1906~1978)生於現捷克之 Brno,卒於普林斯頓。Godel 是廿世紀最偉大之數理邏輯學家,其不完備定理是廿世紀最具啟發性的思想發現之一 ......
    瀏覽:1159
    日期:2024-04-17
    書名:數學巨人哥德爾:關於邏輯的故事,原文名稱:Godel: A Life of Logic,語言:繁體中文,ISBN:9576078687,頁數:192,出版社:究竟,作者:約翰.卡斯提,維納.德包利,譯者:林志懋,出版日期:2002/12/30,類別:自然科普...
    瀏覽:1095
    日期:2024-04-20
    前言 簡稱和參考文獻 年表 上編事跡 第一章專攻基本理論的一生 第二章庫爾特·哥德爾的若干事跡 第三章年譜:中歐(1906-139年) 第四章年譜續:普林斯頓歲月(1940-1978年) 下編思想 第五章引白 第六章科學與技術學中的概念...
    瀏覽:770
    日期:2024-04-20
    哥德爾(德文:Kurt Gödel),奧匈 百諾人,公元一九零六年四月二十八日生。 年十九,入維也納大學習數。甚聰穎,深得其師韓恩賞識。越明年,恩薦之入「維也納學術圈」。年二十六,得證「不完備定理」,遂知名於世。...
    瀏覽:319
    日期:2024-04-17
    庫爾特·哥德爾(Kurt Gödel)(1906年4月28日 1978年1月14日)是位數學家、邏輯學家和哲學家。其最傑出的貢獻是哥德爾不完全性定理。...
    瀏覽:984
    日期:2024-04-17
    哥德爾 《哥德爾》講述有一個人曾在不到兩年的時間內讓數學界感受了大喜與大悲的經歷,他就是哥德爾。1929年秋,哥德爾在他的博士論文中證明瞭一階邏輯的完全性,這對於當時試圖以“公理化”方法構建數學基礎的形式主義學派是一個莫大的鼓舞。...