< 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)
< 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)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012