You are here: irt.org | FOLDOC | Alonzo Church
<person> A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the lambda-calculus and posited a version of the Church-Turing thesis.
(1995-03-25)
Nearby terms: ALM « Aloha « Aloha Net « Alonzo Church » ALP » ALPAK » ALPHA
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL