ber die Mglichkeit von Freiheit im Kalkl

Die Frage nach den Denkfhigkeiten von Maschinen beschftigt die Menschheit, seit Turing 1950 diese Frage das erste Mal aufwarf. Um das Verhltnis menschlicher und maschineller Denkfhigkeit zu beleuchten, werden in diesem Buch die Argumentationsmodi von Kants Freiheitsbeweis und Gdels Unvollstndigkeitsstzen verglichen und aufgezeigt, inwiefern beide Beweise eine analoge inferentielle Struktur aufweisen. So kann auf Probleme der Selbstreferenzialitt aufmerksam gemacht werden, die sich insbesondere dann ergeben, wenn Anerkennungsverhltnisse von Maschinen gedacht werden sollen.