Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Alonzo Church

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.


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

©2018 Martin Webb