La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] . Il primo giorno furono tenute le relazioni di Rudolf Carnap, Arend Heyting, John von Neumann e Friedrich Waismann, che presentarono, rispettivamente, il punto di vista logicista, intuizionista, formalista e wittgensteiniano sui fondamenti della ...
Leggi Tutto
GÖDEL, Kurt
Logico matematíco, nato a Bruna, Moravia, il 28 aprile 1906. Libero docente di matematica a Vienna (1933-38), prese in quel tempo attiva parte al seminario filosofico Verein Ernst Mach, poi [...] hypothesis, 1940; La logique mathématique de Russell, 1944; Rotating universes in general relativity theory, 1950.
Bibl.: F. Waismann, Einführung in das mathematische Denken, Vienna 1936 (trad. it. Torino 1939); J. Cattel, American men of science ...
Leggi Tutto