Küsimus:
Hilberti reaktsioon Gödeli mittetäielikkuse teoreemidele
Felix
2014-10-29 04:03:07 UTC
view on stackexchange narkive permalink

Kas on teada, kuidas Hilbert algul reageeris Gödeli mittetäielikkuse teoreemidele, kui nad teatasid Königsbergi konverentsil 1930. aastal või avaldati 1931. aastal?

[See] 0SNQVJ_GDKPcywP-hYK4BA & redir_esc = y # v = onpage & q = hilbert% 20reaction% 20g% C3% B6del% 20puudulikkus% 20theorem & f = false) võib olla hea algus. Tema tollase Göttingeni assistendi Paul Bernaysi sõnul sai Hilbert sellest kuuldes vihaseks Gödeli teoreemi peale.
[See] (http://www2.units.it/episteme/L&PS_Vol9No1/L&PS_Vol9No1_2011_12_Formica.pdf) on huvitav ja seotud dokument, kuigi see ei vasta teie küsimusele midagi.
Kaks vastused:
#1
+18
Danu
2014-10-29 04:33:29 UTC
view on stackexchange narkive permalink

Wangi (1981) artikkel „Mõned faktid Kurt Gödeli kohta” (kahetsusväärselt palgamüüriga) sisaldab lõiku, mis viitab sellele, et Hilbertit polnud kohal olnud, kui Gödel algselt oma visandist teada andis esimese mittetäielikkuse teoreemi kohta Königsbergis 7. septembril 1930.

Märkimisväärsete kohal olnud matemaatikute hulka kuuluvad Carnap, Heyting ja mis kõige tähtsam von Neumann, kes varsti pärast seda suutis tõestavad teist mittetäielikkuse teoreemi iseseisvalt, kuid otsustas jätta selle avastamise au Gödelile, kui viimane teatas von Neumannile, et mõlemat olulist teoreemi sisaldav dokument on juba avaldamisel.

Kommentaaride lingilt, mille on andnud Philipp, on selge, et Hilbert reageeris Gödeli artikli ilmumisel vihaselt , kuna see tähendas tema programmi ebaõnnestumine. Matemaatikuna ei saanud ta aga tõestuse kehtivuse vastu vaielda ja nõustus seetõttu lõpuks tõega.

#2
+12
Michael Weiss
2014-10-29 22:44:38 UTC
view on stackexchange narkive permalink

Constance Reidi elulugu Hilbert sisaldab põgusat arutelu 23. peatüki alguses. Hilbert oli

mõnevõrra vihane ... kuid hakkas siis proovima konstruktiivselt tegeleda probleemiga ... Laiendatud meetodid võimaldaksid vormistamise nõudeid kergendada. Hilbert ise astus nüüd sammu selles suunas. See asendas täieliku induktsiooni skeemi tugevama reegliga, mida nimetatakse "transfinite induktsiooniks". Aastal 1931 ilmus kaks uues suunas olevat dokumenti.

Ma arvan, et viimane lause võib viidata Peano aritmeetika järjepidevuse tõendamisele tänu Gerhard Gentzenile, kes oli Hilberti assistent. Gödel ise andis Peano aritmeetikale järjepidevuse tõendi, kasutades nn kõrgemate tüüpide funktsionale (vt Shoenfeldi matemaatiline loogika ).



See küsimus ja vastus tõlgiti automaatselt inglise keelest.Algne sisu on saadaval stackexchange-is, mida täname cc by-sa 3.0-litsentsi eest, mille all seda levitatakse.
Loading...