Die These von Church

Autori

• Klaus Dieter Schulz

Parametri

• Libri di testo
• Libri di testo universitari
• Europäische Hochschulschriften : Reihe 1, Deutsche Sprache und Literatur

Maggiori informazioni sul libro

Der amerikanische Logiker und Philosoph Alonzo Church hat 1936 die These aufgestellt, daß alles effektiv Berechenbare «rekursiv» sei. Jede intuitiv lösbare Gleichung könne mit Hilfe formaler Systeme und somit mechanisch berechnet werden. Damit wurde innerhalb der Logik bereits in der ersten Hälfte des 20. Jahrhunderts die umstrittene These zur «künstlichen Intelligenz» vorweggenommen, welche besagt, daß formale Verfahren jedes intelligente Verhalten simulieren können. Dieses Buch widmet sich der vernachlässigten Vorgeschichte der heutigen Kognitionstheorie. Es erläutert die rekursionstheoretischen Grundbegriffe, verfolgt die historische Entwicklung rekursiver Systeme und diskutiert philosophische Interpretationen der sogenannten «These von Church».

Per saperne di più

Lingua: Tedesco

Pubblicato: 1997