La prova di Gödel
-
Tradotto da: L. Bianchi
Tutti i formati dell'opera
Acquistalo
Sinossi
La prova di Gödel – Nel 1931 il giovane e ancora sconosciuto 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. Concepita per condurre il lettore al cuore dell’argomentazione di Gödel, il libro di Nagel e Newman, ormai considerato un classico, è ancora oggi uno strumento insostituibile per accedere alle tecniche dell’analisi formale
- ISBN: 883392484X
- Casa Editrice: Bollati Boringhieri
- Pagine: 144
- Data di uscita: 05-09-2013
Recensioni
This Statement is False. How can anyone wrap oneself around that ancient paradox? A true statement whose unprovability resulted precisely from its truth! With this self-undermining formula as his hammer, Godel knocked down the fortress of Principia Mathematica (PM), so painstakingly constructed by Rus Leggi tutto
I don't read much math these days, so when I do read it, it's a little like climbing a steep wall following a winter of sitting in front of a computer. You discover a lot of soreness in muscles you scarcely remember you ever had in the first place. The long and the short of it is that once upon a tim Leggi tutto
Other reviews here do an excellent job of going over the book's subject matter. I'd encountered the proof before in "Gödel, Escher, Bach" - this book gives a really deep, clear dive into the main thrust of Gödel's proof that it's not possible to write an absolute proof of consistency for a formal sy Leggi tutto
How do I come up with a fair review for this book, without having my judgement clouded by the genius of Godel? On one hand I am speechless by the ingenuity of the proof devised by Godel and what it signifies, while on the other I am disappointed with the authors for how insufficiently the legend's m Leggi tutto
مخم صوووووت کشید! کی بود این گودل!!
The Book is the best to explain Godel's Proof of the Incompleteness Theorem. Gödel showed that Principia, or any other system within which arithmetic can be developed, is essentially incomplete. In other words, given any consistent set of arithmetical axioms, there are true arithmetical statements th Leggi tutto
The first 80 pages are a breeze, but pages 80-92 need many re-reads. P.S. Remember to not miss-use the incompleteness proof to give sweeping and profound statements about nature of the world or other mumbo jumbo. Godel went to a great deal of trouble to write a very exact and general proof, do not de Leggi tutto
Citazioni
Al momento non ci sono citazioni, inserisci tu la prima!