Die These Von Church: Zur Erkenntnistheoretischen Und Sprachphilosophischen Bedeutung Der Rekursionstheorie

Der amerikanische Logiker und Philosoph Alonzo Church hat 1936 die These aufgestellt, dass alles effektiv Berechenbare -rekursiv- sei. Jede intuitiv losbare Gleichung konne mit Hilfe formaler Systeme und somit mechanisch berechnet werden. Damit wurde innerhalb der Logik bereits in der ersten Halfte des 20. Jahrhunderts die umstrittene These zur -kunstlichen Intelligenz- vorweggenommen, welche besagt, dass formale Verfahren jedes intelligente Verhalten simulieren konnen. Dieses Buch widmet sich der vernachlassigten Vorgeschichte der heutigen Kognitionstheorie. Es erlautert die rekursionstheoretischen Grundbegriffe, verfolgt die historische Entwicklung rekursiver Systeme und diskutiert philosophische Interpretationen der sogenannten -These von Church-.