Tutti pazzi per Gödel! La guida completa al Teorema di Incompletezza
| Format | Paperback |
| Language | Italian |
| Copyright | 2008 |
| Publisher | Editori Laterza |
| Publisher Series | i Robinson / Letture* |
| Cover photo | Arnold Newman, Getty Images |
| Copyright Holder | Gius. Laterza & Figli spa* |
| Printed by | SEDIT |
| Format | Paperback |
| Language | Italian |
| Location | Italy |
| Copyright | 2008 |
| Printed | 2008-02 |
| Pages / Font | 271 pages |
| Barcode (EAN) | 9788842085904 |
| ISBN 13 | 978-88-420-8590-4 |
| Price | € 16.00 |
| Chapters | Prologo. - p. VII.
Ringraziamenti. - p. XV.
1 - Fondamenti e paradossi.
2 - Hilbert.
3 - La gödelizzazione, ovvero: ditelo con i numeri!
4 - Un pò di aritmetica ricorsiva...
5 - ... E come l'Aritmetica Tipografica riesce a rappresentarla.
6 - «Io non sono dimostrabile»
7 - L'indimostrabilità della coerenza e le «conseguenze immediate» di G1 e G2,
8 - «Buttarla in politica»: le interpretazioni postmoderne.
9 - Gödel e Platone.
10 - Atti di fede.
11 - Mente contro computer: Gödel e l'Intelligenza Artificiale.
12 - Gödel contro Wittgenstein e l'interpretazione paraconsistente.
Epilogo. - p. 252.
Bibliografia. - p. 255.
Indice dei nomi. - p. 265. Prologo. - p. VII.
Ringraziamenti. - p. XV.
1 - Fondamenti e paradossi.
2 - Hilbert.
3 - La gödelizzazione, ovvero: ditelo con i numeri!
4 - Un pò di aritmetica ricorsiva...
5 - ... E come l'Aritmetica Tipografica riesce a rappresentarla.
6 - «Io non sono dimostrabile»
7 - L'indimostrabilità della coerenza e le «conseguenze immediate» di G1 e G2,
8 - «Buttarla in politica»: le interpretazioni postmoderne.
9 - Gödel e Platone.
10 - Atti di fede.
11 - Mente contro computer: Gödel e l'Intelligenza Artificiale.
12 - Gödel contro Wittgenstein e l'interpretazione paraconsistente.
Epilogo. - p. 252.
Bibliografia. - p. 255.
Indice dei nomi. - p. 265. Show all ▾ |
Added by belloga