Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| Alonzo Church - Philosophy Dictionary of Arguments | |||
| Alonzo Church (1903-1995), American mathematician, logician, and philosopher. His major works include The Calculi of Lambda-Conversion (1941), An Introduction to Mathematical Logic (1944), and The Undecidability of the Entscheidungsproblem (1940). His fields of specialization were mathematical logic, philosophy of mathematics, and the foundations of computer science.
Standard data for cataloging: VIAF LCCN GND | |||
| Author | Item | More authors for concept | |
|---|---|---|---|
| Church, Alonzo | Calculability | Calculability | |
| Church, Alonzo | Modalities | Modalities | |
|
| |||
