Template:Alonzo Church: Difference between revisions

Latest revision as of 16:58, 1 March 2023

Lua error in Module:TNT at line 182: Missing Commons dataset I18n/Module:TNT.tab.[[Category:Template documentation pages{{#translation:}}]]

v t e Alonzo Church
Notable ideas	Lambda calculus Simply typed lambda calculus Church–Turing thesis Church encoding Frege–Church ontology Church–Rosser theorem
Students	Alan Turing C. Anthony Anderson Peter Andrews George Alfred Barnard William Boone Martin Davis William Easton Alfred Foster Leon Henkin John George Kemeny Stephen Cole Kleene Simon B. Kochen Maurice L'Abbé Isaac Malitz Gary R. Mar Michael O. Rabin Nicholas Rescher Hartley Rogers, Jr J. Barkley Rosser Dana Scott Norman Shapiro Raymond Smullyan
Institutions	Princeton University University of California, Los Angeles
Family	Alonzo Church (college president) A. C. Croom

Revision as of 23:30, 3 February 2023 (view source) alpha>Indicwiki (Created page with "{{Navbox \| name = Alonzo Church \| title = Alonzo Church \| listclass = hlist \| state = {{{state\|autocollapse}}} \| above = \| image = \| group1 = Notable ideas \| list1 = * L...")	Latest revision as of 16:58, 1 March 2023 (view source) Indicwiki (talk \| contribs) m (1 revision imported from alpha:Template:Alonzo_Church)
(No difference)