Tutti pazzi per Gödel! La guida completa al Teorema di Incompletezza

Tutti pazzi per Gödel! La guida completa al Teorema di Incompletezza

PublisherEditori Laterza
Publisher Seriesi Robinson / Letture
Cover photoArnold Newman, Getty Images
Copyright HolderGius. Laterza & Figli spa
Printed bySEDIT
FormatPaperback
LanguageItalian
LocationItaly
Copyright2008
Printed2008-02
Pages / Font271 pages
Barcode (EAN)9788842085904
ISBN 13978-88-420-8590-4
Price€ 16.00
ChaptersPrologo. - 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.
Added by belloga