Category:Named Theorems/Church
Jump to navigation
Jump to search
This category contains results 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.
Subcategories
This category has the following 2 subcategories, out of 2 total.
C
- Church's Theorem (1 P)
- Church's Thesis (3 P)
Pages in category "Named Theorems/Church"
The following 3 pages are in this category, out of 3 total.