Publisher's Synopsis
Der amerikanische Logiker und Philosoph Alonzo Church hat 1936 die These aufgestellt, dass alles effektiv Berechenbare rekursiv sei. Jede intuitiv loesbare Gleichung koenne mit Hilfe formaler Systeme und somit mechanisch berechnet werden. Damit wurde innerhalb der Logik bereits in der ersten Haelfte des 20. Jahrhunderts die umstrittene These zur kuenstlichen Intelligenz vorweggenommen, welche besagt, dass formale Verfahren jedes intelligente Verhalten simulieren koennen. Dieses Buch widmet sich der vernachlaessigten Vorgeschichte der heutigen Kognitionstheorie. Es erlaeutert die rekursionstheoretischen Grundbegriffe, verfolgt die historische Entwicklung rekursiver Systeme und diskutiert philosophische Interpretationen der sogenannten These von Church.
