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 | |||
Autor | Begriff | Weitere Autoren zu Begriff | |
---|---|---|---|
Church, Alonzo | Berechenbarkeit | Berechenbarkeit | |
Church, Alonzo | Modalitäten | Modalitäten | |
|