Tempo di lettura stimato:
4h 48m

Nessun utente scambia o vende questo libro

La prova di Gödel (0)

Ernest Nagel

Genere: Logica matematica, Gödel, Kurt

Editore: Bollati Boringhieri

Anno: 1992

Lingua: Italiano

Rilegatura: Non inserito

Pagine: 144 Pagine

Isbn 13: 9788833903095

Trama

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.

Altre edizioni

Altri libri dello stesso autore

Autori che ti potrebbero interessare