Church's Theorem/Historical Note
Jump to navigation
Jump to search
Historical Note on Church's Theorem
Church's Theorem was proved by Alonzo Church in $1935$.
Sources
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): Church's theorem (A. Church, 1936)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Church's theorem (A. Church, 1936)