Tempo di lettura stimato:
4h 48m
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