A császár új elméje

Megjegyzés: Fekete-fehér ábrákkal illusztrálva. TARTALOM Előszó 11 Tanács az olvasónak: a matematikai egyenletek olvasásához 15 Köszönetnyilvánítás 16 Prológus 17 Lehet-e egy számítógépnek esze? 18 Bevezetés 19 A Turing-próba 22 Mesterséges intelligencia 27 Az "öröm" és a "fájdalom" egy MI-megközelítése 30 Az EMI és a Searle kínai szobája 33 Hardver és szoftver 39 Jegyzetek 45 Algoritmusok és Turing-gépek 47 Az algoritmusfogalom háttere 47 Turing koncepciója 52 A numerikus adatok kettes rendszerbeli kódolása 60 A Church-Turing-tétel 65 Számok, amelyek nem természetes számok 67 Az univerzális Turing-gép 69 A Hilbert-féle probléma megoldhatatlansága 76 Hogyan győzzünk le egy algoritmust? 83 Church lambda-kalkulusa 85 Jegyzetek 91 Matematika és valóság 95 Tor'Bled-Nam országa 95 Valós számok 101 Hány valós szám van? 104 A valós számok "valóssága" 107 Komplex számok 109 A Mandelbrot-halmaz felépítése 114 A matematikai fogalmak platóni valósága? 117 Jegyzetek 120 Igazság, bizonyítás, meglátás 121 Hilbert programja a matematikában 121 Formális matematikai rendszerek 124 Gödel tétele 128 Matematikai meglátás 130 Platonizmus vagy intuicionizmus? 135 Gödel-típusú tételek Turing eredményéből 139