alonzo church

Từ điển Máy Tính - Foldoc Dictionary

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.

Last updated: 1995-03-25