- ホーム
- > 洋書
- > ドイツ書
- > Humanities, Arts & Music
- > Philosophy
- > general surveys & lexicons
Description
(Text)
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".
(Table of content)
Aus dem Inhalt: Geschichte der Logik und Rekursionstheorie - Die Thesen zur effektiven Berechenbarkeit von Post, Gödel, Turing, Church und anderen - Ontologische, erkenntnistheoretische und sprachphilosophische Interpretationen rekursionstheoretischer Theoreme.
(Review)
"This book gives an unusually rich example for an interdisciplinary study. It shows in a very impressive manner the interdependencies between logical concepts and other fields of human culture." (V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete)
(Author portrait)
Der Autor: Klaus-Dieter Schulz, geboren 1957, Studium der Philosophie, Kunst und Germanistik in Aachen, Düsseldorf und Heidelberg; Promotion 1994.
