La prova di Gödel
- Editore:
Bollati Boringhieri
- Collana:
- I grandi pensatori
- Traduttore:
- Bianchi L.
- Data di Pubblicazione:
- 5 settembre 2013
- EAN:
9788833924847
- ISBN:
883392484X
- Pagine:
- 144
- Formato:
- brossura
Descrizione La prova di Gödel
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.
Inserisci la tua e-mail per essere informato appena il libro sarà disponibile
Recensioni degli utenti
La prova di Gdel-8 agosto 2011
Saggio potabile, tuttavia diventa complesso quando si avventura nello spiegfare la prova di indeterminatezza, anche con il rischio di arrivare a presumere di conoscere concetti decisamente complessi e tutto sommato settoriali. Le considerazioni sono sempre molto equilibrate e non lasciano mai adito a facili volgarizzazioni. Peraltro questa edizione presenta, oltre al testo orginale anche una nota critica di Jean-Yves Girard che fa da contraltare ad alcune interpretazioni di Nagel e Newman; si tratta di un intervento polemico e certamente discutibile (nel senso: di cui si può discutere) , ma scritto in modo brillante e mai banale.