| (person) | Alonzo Church - 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. |
About this site and copyright information - Online Dictionary Home