Category:Definitions/Named Definitions/Church
Jump to navigation
Jump to search
This category contains definitions named for Alonzo Church.
American mathematician who pioneered in the field of computability theory and the foundations of computer science.
Best known for his lambda calculus, Church's Theorem and Church's Thesis.
This category currently contains no pages or media.