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.
La prova di Gödel
| Titolo | La prova di Gödel |
| Autori | Ernest Nagel, James R. Newman |
| Traduttore | L. Bianchi |
| Argomento | Matematica e scienze Matematica |
| Collana | I grandi pensatori, 71 |
| Editore | Bollati Boringhieri |
| Formato |
Libro: Libro in brossura |
| Pagine | 144 |
| Pubblicazione | 09/2013 |
| ISBN | 9788833924847 |
Chi ha cercato questo ha cercato anche...
Quanto è reale la matematica? Come domande semplici conducono a verità profonde
Eugenia Cheng
Franco Angeli
novità
La matematica con Ale. Il magico mondo dei numeri, in compagnia di Matematicale
Alessandra Vaghi
Mondadori Electa
Matematica per le applicazioni economiche e finanziarie. Temi ed esercizi per l'autovalutazione
Mariacristina Uberti
Giappichelli
A piccole dosi. Contro la crisi di astinenza dalla matematica
Piergiorgio Odifreddi
Raffaello Cortina Editore
Matematici segreti. Storia inaspettata della matematica e dei suoi pionieri sconosciuti
Kate Kitagawa, Timothy Revell
Aboca Edizioni
I numeri non ingannano (quasi) mai. Storie matematiche che lasciano a bocca aperta
Vincenzo Mauro
Longanesi
Algebra lineare e geometria analitica. Volume Vol. 1
Elsa Abbena, Anna M. Fino, G. Mario Gianella
Aracne
I numeri e la nascita delle civiltà. Un'invenzione che ha cambiato il corso della storia
Caleb Everett
Franco Angeli