Tempo di lettura stimato:
3h 36m

Nessun utente scambia o vende questo libro

La prova di Gödel (1)

Ernest Nagel

Genere: Logica matematica, Gödel, Kurt

Editore: Bollati Boringhieri

Anno: 1974

Lingua: Italiano

Rilegatura: Flessibile

Pagine: 108 Pagine

Prefazione di: Edoardo Ballo

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