La prova di Gödel

Consulta il libro - La prova di Gödel

Titolo	La prova di Gödel
Autori	Ernest Nagel, James R. Newman
Traduttore	L. Bianchi
argomento	Scienza e Tecnica Matematica Logica e teoria degli insiemi
Collana	I grandi pensatori, 71
Editore	Bollati Boringhieri
Formato	Libro
Pagine	144
Pubblicazione	2013
ISBN	9788833924847
	Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura

aggiungi ai desideri

10,00 €

Momentaneamente non disponibile

Descrizione

Nel 1931 un giovane viennese, Kurt Gödel, diede alle stampe una breve memoria sulle "proposizioni formalmente indecidibili dei Principia mathematica e sistemi affini". Increduli, logici e matematici assistettero al crollo del luminoso edificio hilbertiano, tutto basato sull'onnipotenza del metodo assiomatico. In quelle pagine, infatti, si dimostrava l'incompletezza di un'ampia classe di teorie formali, tra cui l'aritmetica, nonché l'impossibilità di provare all'interno delle teorie stesse la loro coerenza. L'opera di Nagel e Newman è stata concepita per condurre il lettore al cuore dell'argomentazione di Gödel.