Tempo di lettura stimato:
4h 32m
Editore: Bollati Boringhieri
Anno: 2013
Lingua: Italiano
Rilegatura: Brossura
Pagine: 136 Pagine
Isbn 13: 9788833924847
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
Potrebbe piacerti anche
Other Logica matematica
Autori che ti potrebbero interessare
