Philosophie Lexikon der ArgumenteHome | |||
| |||
Alonzo Church - Philosophie Lexikon der Argumente | |||
Alonzo Church (1903-1995), amerikanischer Mathematiker, Logiker und Philosoph. Hauptwerke sind The Calculi of Lambda-Conversion (1941), An Introduction to Mathematical Logic (1944) und The Undecidability of the Entscheidungsproblem (1940). Seine Forschungsgebiete waren mathematische Logik, Philosophie der Mathematik und die Grundlagen der Computerwissenschaft.
Normdaten zur Katalogisierung: VIAF LCCN GND | |||
Berechenbarkeit: Hier geht es um die Frage, ob bestimmte Operationen prinzipiell durch ein Verfahren geleistet werden können bzw. ob Fragestellungen durch ein Verfahren beantwortet werden können. Insbesondere geht es um die Berechnung von mathematischen Funktionen in endlicher Zeit. Die Frage ob ein Problem berechenbar ist, ist nur relativ zu einem Modell sinnvoll. Siehe auch Komplex/Komplexität, Turing-Maschine, Entscheidbarkeit, Entscheidungstheorie, Entscheidungsproblem, Halteproblem, Modelle, Algorithmen, Vollständigkeit, Unvollständigkeit, Church-Turing-These, Turing-Maschine._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Weitere Begriffe zu Autor | |
---|---|---|---|
Church, Alonzo | Berechenbarkeit | Church, Alonzo | |
Herbrand, Jacques | Berechenbarkeit | Herbrand, Jacques | |
|