CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>Alonzo Church - Wikipedia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-enabled skin-theme-clientpref-day vector-toc-available";var cookie=document.cookie.match(/(?:^|; )enwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy", "wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"14858cbe-0719-4d3a-a151-6f413873a500","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Alonzo_Church","wgTitle":"Alonzo Church","wgCurRevisionId":1255487271,"wgRevisionId":1255487271,"wgArticleId":49731,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["CS1 maint: unfit URL","CS1 maint: numeric names: authors list","Articles with short description","Short description is different from Wikidata","Articles with hCards","Articles to be expanded from January 2023","All articles to be expanded","1903 births","1995 deaths","20th-century American mathematicians","American logicians","American Presbyterians","Computability theorists","Princeton University alumni","Harvard University alumni","Princeton University faculty", "University of California, Los Angeles faculty","Burials at Princeton Cemetery","Philosophers from Washington, D.C.","Philosophers from California","Philosophers from New Jersey","Mathematicians from Washington, D.C.","20th-century American philosophers","Corresponding fellows of the British Academy"],"wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikitext","wgRelevantPageName":"Alonzo_Church","wgRelevantArticleId":49731,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":false,"wgFlaggedRevsParams":{"tags":{"status":{"levels":1}}},"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0,"wgVisualEditor":{"pageLanguageCode":"en","pageLanguageDir":"ltr","pageVariantFallbacks":"en"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":false,"nearby":true}, "wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":20000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q92741","wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.cite.styles":"ready","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","jquery.makeCollapsible.styles":"ready", "ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["ext.cite.ux-enhancements","ext.scribunto.logs","site","mediawiki.page.ready","jquery.makeCollapsible","mediawiki.toc","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.ReferenceTooltips","ext.gadget.switcher","ext.urlShortener.toolbar","ext.centralauth.centralautologin","mmv.bootstrap","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.quicksurveys.init","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=en&modules=ext.cite.styles%7Cext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cjquery.makeCollapsible.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=en&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=en&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/en/a/a6/Alonzo_Church.jpg"> <meta property="og:image:width" content="1200"> <meta property="og:image:height" content="1603"> <meta property="og:image" content="https://upload.wikimedia.org/wikipedia/en/a/a6/Alonzo_Church.jpg"> <meta property="og:image:width" content="800"> <meta property="og:image:height" content="1069"> <meta property="og:image:width" content="640"> <meta property="og:image:height" content="855"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Alonzo Church - Wikipedia"> <meta property="og:type" content="website"> <link rel="preconnect" href="//upload.wikimedia.org"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//en.m.wikipedia.org/wiki/Alonzo_Church"> <link rel="alternate" type="application/x-wiki" title="Edit this page" href="/w/index.php?title=Alonzo_Church&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (en)"> <link rel="EditURI" type="application/rsd+xml" href="//en.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://en.wikipedia.org/wiki/Alonzo_Church"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.en"> <link rel="alternate" type="application/atom+xml" title="Wikipedia Atom feed" href="/w/index.php?title=Special:RecentChanges&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Alonzo_Church rootpage-Alonzo_Church skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Jump to content</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Main menu" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Main menu</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Main menu</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">hide</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigation </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Main_Page" title="Visit the main page [z]" accesskey="z"><span>Main page</span></a></li><li id="n-contents" class="mw-list-item"><a href="/wiki/Wikipedia:Contents" title="Guides to browsing Wikipedia"><span>Contents</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Portal:Current_events" title="Articles related to current events"><span>Current events</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Special:Random" title="Visit a randomly selected article [x]" accesskey="x"><span>Random article</span></a></li><li id="n-aboutsite" class="mw-list-item"><a href="/wiki/Wikipedia:About" title="Learn about Wikipedia and how it works"><span>About Wikipedia</span></a></li><li id="n-contactpage" class="mw-list-item"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us" title="How to contact Wikipedia"><span>Contact us</span></a></li> </ul> </div> </div> <div id="p-interaction" class="vector-menu mw-portlet mw-portlet-interaction" > <div class="vector-menu-heading"> Contribute </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-help" class="mw-list-item"><a href="/wiki/Help:Contents" title="Guidance on how to use and edit Wikipedia"><span>Help</span></a></li><li id="n-introduction" class="mw-list-item"><a href="/wiki/Help:Introduction" title="Learn how to edit Wikipedia"><span>Learn to edit</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:Community_portal" title="The hub for editors"><span>Community portal</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Special:RecentChanges" title="A list of recent changes to Wikipedia [r]" accesskey="r"><span>Recent changes</span></a></li><li id="n-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_upload_wizard" title="Add images or other media for use on Wikipedia"><span>Upload file</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Main_Page" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="The Free Encyclopedia" src="/static/images/mobile/copyright/wikipedia-tagline-en.svg" width="117" height="13" style="width: 7.3125em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Special:Search" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Search Wikipedia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Search</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Search Wikipedia" aria-label="Search Wikipedia" autocapitalize="sentences" title="Search Wikipedia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Special:Search"> </div> <button class="cdx-button cdx-search-input__end-button">Search</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Personal tools"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Appearance" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Appearance</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="https://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikipedia.org&uselang=en" class=""><span>Donate</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:CreateAccount&returnto=Alonzo+Church" title="You are encouraged to create an account and log in; however, it is not mandatory" class=""><span>Create account</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Special:UserLogin&returnto=Alonzo+Church" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o" class=""><span>Log in</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Log in and more options" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Personal tools" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Personal tools</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="User menu" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="https://donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_en.wikipedia.org&uselang=en"><span>Donate</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:CreateAccount&returnto=Alonzo+Church" title="You are encouraged to create an account and log in; however, it is not mandatory"><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Create account</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Special:UserLogin&returnto=Alonzo+Church" title="You're encouraged to log in; however, it's not mandatory. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Log in</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Pages for logged out editors <a href="/wiki/Help:Introduction" aria-label="Learn more about editing"><span>learn more</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Special:MyContributions" title="A list of edits made from this IP address [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Special:MyTalk" title="Discussion about edits from this IP address [n]" accesskey="n"><span>Talk</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Site"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> <div class="vector-sticky-pinned-container"> <nav id="mw-panel-toc" aria-label="Contents" data-event-name="ui.sidebar-toc" class="mw-table-of-contents-container vector-toc-landmark"> <div id="vector-toc-pinned-container" class="vector-pinned-container"> <div id="vector-toc" class="vector-toc vector-pinnable-element"> <div class="vector-pinnable-header vector-toc-pinnable-header vector-pinnable-header-pinned" data-feature-name="toc-pinned" data-pinnable-element-id="vector-toc" > <h2 class="vector-pinnable-header-label">Contents</h2> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-toc.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-toc.unpin">hide</button> </div> <ul class="vector-toc-contents" id="mw-panel-toc-list"> <li id="toc-mw-content-text" class="vector-toc-list-item vector-toc-level-1"> <a href="#" class="vector-toc-link"> <div class="vector-toc-text">(Top)</div> </a> </li> <li id="toc-Life" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Life"> <div class="vector-toc-text"> <span class="vector-toc-numb">1</span> <span>Life</span> </div> </a> <ul id="toc-Life-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Mathematical_work" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Mathematical_work"> <div class="vector-toc-text"> <span class="vector-toc-numb">2</span> <span>Mathematical work</span> </div> </a> <ul id="toc-Mathematical_work-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Philosophical_work" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Philosophical_work"> <div class="vector-toc-text"> <span class="vector-toc-numb">3</span> <span>Philosophical work</span> </div> </a> <ul id="toc-Philosophical_work-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Influence" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Influence"> <div class="vector-toc-text"> <span class="vector-toc-numb">4</span> <span>Influence</span> </div> </a> <ul id="toc-Influence-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Bibliography" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Bibliography"> <div class="vector-toc-text"> <span class="vector-toc-numb">5</span> <span>Bibliography</span> </div> </a> <button aria-controls="toc-Bibliography-sublist" class="cdx-button cdx-button--weight-quiet cdx-button--icon-only vector-toc-toggle"> <span class="vector-icon mw-ui-icon-wikimedia-expand"></span> <span>Toggle Bibliography subsection</span> </button> <ul id="toc-Bibliography-sublist" class="vector-toc-list"> <li id="toc-Books" class="vector-toc-list-item vector-toc-level-2"> <a class="vector-toc-link" href="#Books"> <div class="vector-toc-text"> <span class="vector-toc-numb">5.1</span> <span>Books</span> </div> </a> <ul id="toc-Books-sublist" class="vector-toc-list"> </ul> </li> </ul> </li> <li id="toc-See_also" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#See_also"> <div class="vector-toc-text"> <span class="vector-toc-numb">6</span> <span>See also</span> </div> </a> <ul id="toc-See_also-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-Notes" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#Notes"> <div class="vector-toc-text"> <span class="vector-toc-numb">7</span> <span>Notes</span> </div> </a> <ul id="toc-Notes-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-References" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#References"> <div class="vector-toc-text"> <span class="vector-toc-numb">8</span> <span>References</span> </div> </a> <ul id="toc-References-sublist" class="vector-toc-list"> </ul> </li> <li id="toc-External_links" class="vector-toc-list-item vector-toc-level-1 vector-toc-list-item-expanded"> <a class="vector-toc-link" href="#External_links"> <div class="vector-toc-text"> <span class="vector-toc-numb">9</span> <span>External links</span> </div> </a> <ul id="toc-External_links-sublist" class="vector-toc-list"> </ul> </li> </ul> </div> </div> </nav> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <nav aria-label="Contents" class="vector-toc-landmark"> <div id="vector-page-titlebar-toc" class="vector-dropdown vector-page-titlebar-toc vector-button-flush-left" > <input type="checkbox" id="vector-page-titlebar-toc-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-titlebar-toc" class="vector-dropdown-checkbox " aria-label="Toggle the table of contents" > <label id="vector-page-titlebar-toc-label" for="vector-page-titlebar-toc-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-listBullet mw-ui-icon-wikimedia-listBullet"></span> <span class="vector-dropdown-label-text">Toggle the table of contents</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-titlebar-toc-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Alonzo Church</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Go to an article in another language. Available in 50 languages" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-50" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">50 languages</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%A3%D9%84%D9%88%D9%86%D8%B2%D9%88_%D8%AA%D8%B4%D8%B1%D8%AA%D8%B4" title="ألونزو تشرتش – Arabic" lang="ar" hreflang="ar" data-title="ألونزو تشرتش" data-language-autonym="العربية" data-language-local-name="Arabic" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-az mw-list-item"><a href="https://az.wikipedia.org/wiki/Alonzo_%C3%87%C3%B6r%C3%A7" title="Alonzo Çörç – Azerbaijani" lang="az" hreflang="az" data-title="Alonzo Çörç" data-language-autonym="Azərbaycanca" data-language-local-name="Azerbaijani" class="interlanguage-link-target"><span>Azərbaycanca</span></a></li><li class="interlanguage-link interwiki-azb mw-list-item"><a href="https://azb.wikipedia.org/wiki/%D8%A2%D9%84%D9%88%D9%86%D8%B2%D9%88_%DA%86%D8%B1%DA%86" title="آلونزو چرچ – South Azerbaijani" lang="azb" hreflang="azb" data-title="آلونزو چرچ" data-language-autonym="تۆرکجه" data-language-local-name="South Azerbaijani" class="interlanguage-link-target"><span>تۆرکجه</span></a></li><li class="interlanguage-link interwiki-bn mw-list-item"><a href="https://bn.wikipedia.org/wiki/%E0%A6%86%E0%A6%B2%E0%A7%8B%E0%A6%A8%E0%A7%8D%E2%80%8C%E0%A6%9C%E0%A7%8B_%E0%A6%9A%E0%A6%BE%E0%A6%B0%E0%A7%8D%E0%A6%9A" title="আলোন্‌জো চার্চ – Bangla" lang="bn" hreflang="bn" data-title="আলোন্‌জো চার্চ" data-language-autonym="বাংলা" data-language-local-name="Bangla" class="interlanguage-link-target"><span>বাংলা</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%B0_%D0%A7%D0%BE%D1%80%D1%87" title="Алонза Чорч – Belarusian" lang="be" hreflang="be" data-title="Алонза Чорч" data-language-autonym="Беларуская" data-language-local-name="Belarusian" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%90%D0%BB%D0%BE%D0%BD%D1%81%D0%BE_%D0%A7%D1%8A%D1%80%D1%87" title="Алонсо Чърч – Bulgarian" lang="bg" hreflang="bg" data-title="Алонсо Чърч" data-language-autonym="Български" data-language-local-name="Bulgarian" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Catalan" lang="ca" hreflang="ca" data-title="Alonzo Church" data-language-autonym="Català" data-language-local-name="Catalan" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Czech" lang="cs" hreflang="cs" data-title="Alonzo Church" data-language-autonym="Čeština" data-language-local-name="Czech" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-da mw-list-item"><a href="https://da.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Danish" lang="da" hreflang="da" data-title="Alonzo Church" data-language-autonym="Dansk" data-language-local-name="Danish" class="interlanguage-link-target"><span>Dansk</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – German" lang="de" hreflang="de" data-title="Alonzo Church" data-language-autonym="Deutsch" data-language-local-name="German" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Estonian" lang="et" hreflang="et" data-title="Alonzo Church" data-language-autonym="Eesti" data-language-local-name="Estonian" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%91%CE%BB%CF%8C%CE%BD%CE%B6%CE%BF_%CE%A4%CF%83%CE%B5%CF%81%CF%84%CF%82" title="Αλόνζο Τσερτς – Greek" lang="el" hreflang="el" data-title="Αλόνζο Τσερτς" data-language-autonym="Ελληνικά" data-language-local-name="Greek" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Spanish" lang="es" hreflang="es" data-title="Alonzo Church" data-language-autonym="Español" data-language-local-name="Spanish" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-eo mw-list-item"><a href="https://eo.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Esperanto" lang="eo" hreflang="eo" data-title="Alonzo Church" data-language-autonym="Esperanto" data-language-local-name="Esperanto" class="interlanguage-link-target"><span>Esperanto</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Basque" lang="eu" hreflang="eu" data-title="Alonzo Church" data-language-autonym="Euskara" data-language-local-name="Basque" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D8%A2%D9%84%D9%88%D9%86%D8%B2%D9%88_%DA%86%D8%B1%DA%86" title="آلونزو چرچ – Persian" lang="fa" hreflang="fa" data-title="آلونزو چرچ" data-language-autonym="فارسی" data-language-local-name="Persian" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – French" lang="fr" hreflang="fr" data-title="Alonzo Church" data-language-autonym="Français" data-language-local-name="French" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-gl mw-list-item"><a href="https://gl.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Galician" lang="gl" hreflang="gl" data-title="Alonzo Church" data-language-autonym="Galego" data-language-local-name="Galician" class="interlanguage-link-target"><span>Galego</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EC%95%8C%EB%A1%A0%EC%A1%B0_%EC%B2%98%EC%B9%98" title="알론조 처치 – Korean" lang="ko" hreflang="ko" data-title="알론조 처치" data-language-autonym="한국어" data-language-local-name="Korean" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D4%B1%D5%AC%D5%B8%D5%B6%D5%A6%D5%B8_%D5%89%D5%A8%D6%80%D5%B9" title="Ալոնզո Չըրչ – Armenian" lang="hy" hreflang="hy" data-title="Ալոնզո Չըրչ" data-language-autonym="Հայերեն" data-language-local-name="Armenian" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-hr mw-list-item"><a href="https://hr.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Croatian" lang="hr" hreflang="hr" data-title="Alonzo Church" data-language-autonym="Hrvatski" data-language-local-name="Croatian" class="interlanguage-link-target"><span>Hrvatski</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Indonesian" lang="id" hreflang="id" data-title="Alonzo Church" data-language-autonym="Bahasa Indonesia" data-language-local-name="Indonesian" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Italian" lang="it" hreflang="it" data-title="Alonzo Church" data-language-autonym="Italiano" data-language-local-name="Italian" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%90%D7%9C%D7%95%D7%A0%D7%96%D7%95_%D7%A6%27%D7%A8%D7%A5%27" title="אלונזו צ'רץ' – Hebrew" lang="he" hreflang="he" data-title="אלונזו צ'רץ'" data-language-autonym="עברית" data-language-local-name="Hebrew" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-ht mw-list-item"><a href="https://ht.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Haitian Creole" lang="ht" hreflang="ht" data-title="Alonzo Church" data-language-autonym="Kreyòl ayisyen" data-language-local-name="Haitian Creole" class="interlanguage-link-target"><span>Kreyòl ayisyen</span></a></li><li class="interlanguage-link interwiki-la mw-list-item"><a href="https://la.wikipedia.org/wiki/Alonzus_Church" title="Alonzus Church – Latin" lang="la" hreflang="la" data-title="Alonzus Church" data-language-autonym="Latina" data-language-local-name="Latin" class="interlanguage-link-target"><span>Latina</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Hungarian" lang="hu" hreflang="hu" data-title="Alonzo Church" data-language-autonym="Magyar" data-language-local-name="Hungarian" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-mk mw-list-item"><a href="https://mk.wikipedia.org/wiki/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE_%D0%A7%D0%B5%D1%80%D1%87" title="Алонзо Черч – Macedonian" lang="mk" hreflang="mk" data-title="Алонзо Черч" data-language-autonym="Македонски" data-language-local-name="Macedonian" class="interlanguage-link-target"><span>Македонски</span></a></li><li class="interlanguage-link interwiki-ml mw-list-item"><a href="https://ml.wikipedia.org/wiki/%E0%B4%85%E0%B4%B2%E0%B5%8B%E0%B5%BA%E0%B4%B8%E0%B5%8B_%E0%B4%9A%E0%B5%BC%E0%B4%9A%E0%B5%8D%E0%B4%9A%E0%B5%8D" title="അലോൺസോ ചർച്ച് – Malayalam" lang="ml" hreflang="ml" data-title="അലോൺസോ ചർച്ച്" data-language-autonym="മലയാളം" data-language-local-name="Malayalam" class="interlanguage-link-target"><span>മലയാളം</span></a></li><li class="interlanguage-link interwiki-xmf mw-list-item"><a href="https://xmf.wikipedia.org/wiki/%E1%83%90%E1%83%9A%E1%83%9D%E1%83%9C%E1%83%96%E1%83%9D_%E1%83%A9%E1%83%94%E1%83%A0%E1%83%A9%E1%83%98" title="ალონზო ჩერჩი – Mingrelian" lang="xmf" hreflang="xmf" data-title="ალონზო ჩერჩი" data-language-autonym="მარგალური" data-language-local-name="Mingrelian" class="interlanguage-link-target"><span>მარგალური</span></a></li><li class="interlanguage-link interwiki-arz mw-list-item"><a href="https://arz.wikipedia.org/wiki/%D8%A7%D9%84%D9%88%D9%86%D8%B2%D9%88_%D8%AA%D8%B4%D8%B1%D8%AA%D8%B4" title="الونزو تشرتش – Egyptian Arabic" lang="arz" hreflang="arz" data-title="الونزو تشرتش" data-language-autonym="مصرى" data-language-local-name="Egyptian Arabic" class="interlanguage-link-target"><span>مصرى</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Dutch" lang="nl" hreflang="nl" data-title="Alonzo Church" data-language-autonym="Nederlands" data-language-local-name="Dutch" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%AD%E3%83%B3%E3%82%BE%E3%83%BB%E3%83%81%E3%83%A3%E3%83%BC%E3%83%81" title="アロンゾ・チャーチ – Japanese" lang="ja" hreflang="ja" data-title="アロンゾ・チャーチ" data-language-autonym="日本語" data-language-local-name="Japanese" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Norwegian Nynorsk" lang="nn" hreflang="nn" data-title="Alonzo Church" data-language-autonym="Norsk nynorsk" data-language-local-name="Norwegian Nynorsk" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Polish" lang="pl" hreflang="pl" data-title="Alonzo Church" data-language-autonym="Polski" data-language-local-name="Polish" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Portuguese" lang="pt" hreflang="pt" data-title="Alonzo Church" data-language-autonym="Português" data-language-local-name="Portuguese" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ro mw-list-item"><a href="https://ro.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Romanian" lang="ro" hreflang="ro" data-title="Alonzo Church" data-language-autonym="Română" data-language-local-name="Romanian" class="interlanguage-link-target"><span>Română</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%A7%D1%91%D1%80%D1%87,_%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE" title="Чёрч, Алонзо – Russian" lang="ru" hreflang="ru" data-title="Чёрч, Алонзо" data-language-autonym="Русский" data-language-local-name="Russian" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Simple English" lang="en-simple" hreflang="en-simple" data-title="Alonzo Church" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Slovak" lang="sk" hreflang="sk" data-title="Alonzo Church" data-language-autonym="Slovenčina" data-language-local-name="Slovak" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Slovenian" lang="sl" hreflang="sl" data-title="Alonzo Church" data-language-autonym="Slovenščina" data-language-local-name="Slovenian" class="interlanguage-link-target"><span>Slovenščina</span></a></li><li class="interlanguage-link interwiki-ckb mw-list-item"><a href="https://ckb.wikipedia.org/wiki/%D8%A6%DB%95%D9%84%DB%86%D9%86%D8%B2%DB%86_%DA%86%DB%8E%D8%B1%DA%86" title="ئەلۆنزۆ چێرچ – Central Kurdish" lang="ckb" hreflang="ckb" data-title="ئەلۆنزۆ چێرچ" data-language-autonym="کوردی" data-language-local-name="Central Kurdish" class="interlanguage-link-target"><span>کوردی</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE_%D0%A7%D0%B5%D1%80%D1%87" title="Алонзо Черч – Serbian" lang="sr" hreflang="sr" data-title="Алонзо Черч" data-language-autonym="Српски / srpski" data-language-local-name="Serbian" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Finnish" lang="fi" hreflang="fi" data-title="Alonzo Church" data-language-autonym="Suomi" data-language-local-name="Finnish" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Swedish" lang="sv" hreflang="sv" data-title="Alonzo Church" data-language-autonym="Svenska" data-language-local-name="Swedish" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-tl mw-list-item"><a href="https://tl.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Tagalog" lang="tl" hreflang="tl" data-title="Alonzo Church" data-language-autonym="Tagalog" data-language-local-name="Tagalog" class="interlanguage-link-target"><span>Tagalog</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B8%AD%E0%B8%A5%E0%B8%AD%E0%B8%99%E0%B9%82%E0%B8%8B_%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%A3%E0%B9%8C%E0%B8%8A" title="อลอนโซ เชิร์ช – Thai" lang="th" hreflang="th" data-title="อลอนโซ เชิร์ช" data-language-autonym="ไทย" data-language-local-name="Thai" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/Alonzo_Church" title="Alonzo Church – Turkish" lang="tr" hreflang="tr" data-title="Alonzo Church" data-language-autonym="Türkçe" data-language-local-name="Turkish" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%90%D0%BB%D0%BE%D0%BD%D0%B7%D0%BE_%D0%A7%D0%B5%D1%80%D1%87" title="Алонзо Черч – Ukrainian" lang="uk" hreflang="uk" data-title="Алонзо Черч" data-language-autonym="Українська" data-language-local-name="Ukrainian" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E9%98%BF%E9%9A%86%E4%BD%90%C2%B7%E9%82%B1%E5%A5%87" title="阿隆佐·邱奇 – Chinese" lang="zh" hreflang="zh" data-title="阿隆佐·邱奇" data-language-autonym="中文" data-language-local-name="Chinese" class="interlanguage-link-target"><span>中文</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q92741#sitelinks-wikipedia" title="Edit interlanguage links" class="wbc-editpage">Edit links</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Namespaces"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Alonzo_Church" title="View the content page [c]" accesskey="c"><span>Article</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Talk:Alonzo_Church" rel="discussion" title="Discuss improvements to the content page [t]" accesskey="t"><span>Talk</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Change language variant" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">English</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Views"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Alonzo_Church"><span>Read</span></a></li><li id="ca-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Alonzo_Church&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Alonzo_Church&action=history" title="Past revisions of this page [h]" accesskey="h"><span>View history</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Tools" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Tools</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Tools</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">hide</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="More options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Alonzo_Church"><span>Read</span></a></li><li id="ca-more-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Alonzo_Church&action=edit" title="Edit this page [e]" accesskey="e"><span>Edit</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Alonzo_Church&action=history"><span>View history</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> General </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Special:WhatLinksHere/Alonzo_Church" title="List of all English Wikipedia pages containing links to this page [j]" accesskey="j"><span>What links here</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Special:RecentChangesLinked/Alonzo_Church" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k"><span>Related changes</span></a></li><li id="t-upload" class="mw-list-item"><a href="/wiki/Wikipedia:File_Upload_Wizard" title="Upload files [u]" accesskey="u"><span>Upload file</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q"><span>Special pages</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Alonzo_Church&oldid=1255487271" title="Permanent link to this revision of this page"><span>Permanent link</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Alonzo_Church&action=info" title="More information about this page"><span>Page information</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Special:CiteThisPage&page=Alonzo_Church&id=1255487271&wpFormIdentifier=titleform" title="Information on how to cite this page"><span>Cite this page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FAlonzo_Church"><span>Get shortened URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Special:QrCode&url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FAlonzo_Church"><span>Download QR code</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Print/export </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Special:DownloadAsPdf&page=Alonzo_Church&action=show-download-screen" title="Download this page as a PDF file"><span>Download as PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Alonzo_Church&printable=yes" title="Printable version of this page [p]" accesskey="p"><span>Printable version</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> In other projects </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-wikisource mw-list-item"><a href="https://en.wikisource.org/wiki/Author:Alonzo_Church" hreflang="en"><span>Wikisource</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q92741" title="Structured data on this page hosted by Wikidata [g]" accesskey="g"><span>Wikidata item</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Appearance"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Appearance</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">move to sidebar</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">hide</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">From Wikipedia, the free encyclopedia</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="en" dir="ltr"><div class="shortdescription nomobile noexcerpt noprint searchaux" style="display:none">American mathematician and computer scientist (1903–1995)</div> <style data-mw-deduplicate="TemplateStyles:r1236090951">.mw-parser-output .hatnote{font-style:italic}.mw-parser-output div.hatnote{padding-left:1.6em;margin-bottom:0.5em}.mw-parser-output .hatnote i{font-style:normal}.mw-parser-output .hatnote+link+.hatnote{margin-top:-0.5em}@media print{body.ns-0 .mw-parser-output .hatnote{display:none!important}}</style><div role="note" class="hatnote navigation-not-searchable">This article is about the mathematician and logician. For the president of the University of Georgia, see <a href="/wiki/Alonzo_Church_(college_president)" title="Alonzo Church (college president)">Alonzo Church (college president)</a>. For the politician, see <a href="/wiki/A._C._Croom" title="A. C. Croom">A. C. Croom</a>.</div> <style data-mw-deduplicate="TemplateStyles:r1257001546">.mw-parser-output .infobox-subbox{padding:0;border:none;margin:-3px;width:auto;min-width:100%;font-size:100%;clear:none;float:none;background-color:transparent}.mw-parser-output .infobox-3cols-child{margin:auto}.mw-parser-output .infobox .navbar{font-size:100%}@media screen{html.skin-theme-clientpref-night .mw-parser-output .infobox-full-data:not(.notheme)>div:not(.notheme)[style]{background:#1f1f23!important;color:#f8f9fa}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .infobox-full-data:not(.notheme) div:not(.notheme){background:#1f1f23!important;color:#f8f9fa}}@media(min-width:640px){body.skin--responsive .mw-parser-output .infobox-table{display:table!important}body.skin--responsive .mw-parser-output .infobox-table>caption{display:table-caption!important}body.skin--responsive .mw-parser-output .infobox-table>tbody{display:table-row-group}body.skin--responsive .mw-parser-output .infobox-table tr{display:table-row!important}body.skin--responsive .mw-parser-output .infobox-table th,body.skin--responsive .mw-parser-output .infobox-table td{padding-left:inherit;padding-right:inherit}}</style><table class="infobox biography vcard"><tbody><tr><th colspan="2" class="infobox-above" style="font-size:125%;"><div class="fn">Alonzo Church</div></th></tr><tr><td colspan="2" class="infobox-image"><span class="mw-default-size" typeof="mw:File/Frameless"><a href="/wiki/File:Alonzo_Church.jpg" class="mw-file-description"><img src="//upload.wikimedia.org/wikipedia/en/thumb/a/a6/Alonzo_Church.jpg/220px-Alonzo_Church.jpg" decoding="async" width="220" height="294" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/a/a6/Alonzo_Church.jpg 1.5x" data-file-width="235" data-file-height="314" /></a></span></td></tr><tr><th scope="row" class="infobox-label">Born</th><td class="infobox-data"><span style="display:none">(<span class="bday">1903-06-14</span>)</span>June 14, 1903<br /><div style="display:inline" class="birthplace"><a href="/wiki/Washington,_D.C." title="Washington, D.C.">Washington, D.C.</a>, U.S.</div></td></tr><tr><th scope="row" class="infobox-label">Died</th><td class="infobox-data">August 11, 1995<span style="display:none">(1995-08-11)</span> (aged 92)<br /><div style="display:inline" class="deathplace"><a href="/wiki/Hudson,_Ohio" title="Hudson, Ohio">Hudson, Ohio</a>, U.S.</div></td></tr><tr><th scope="row" class="infobox-label">Alma mater</th><td class="infobox-data"><a href="/wiki/Princeton_University" title="Princeton University">Princeton University</a> (<a href="/wiki/B._S." class="mw-redirect" title="B. S.">BS</a>, <a href="/wiki/PhD" class="mw-redirect" title="PhD">PhD</a>)</td></tr><tr><th scope="row" class="infobox-label">Known for</th><td class="infobox-data"><a href="/wiki/Lambda_calculus" title="Lambda calculus">Lambda calculus</a><br /><a href="/wiki/Simply_typed_lambda_calculus" title="Simply typed lambda calculus">Simply typed lambda calculus</a><br /><a href="/wiki/Church_encoding" title="Church encoding">Church encoding</a><br /><a href="/wiki/Church%27s_theorem" class="mw-redirect" title="Church's theorem">Church's theorem</a><br /><a href="/wiki/Church%E2%80%93Kleene_ordinal" class="mw-redirect" title="Church–Kleene ordinal">Church–Kleene ordinal</a><br /><a href="/wiki/Church%E2%80%93Turing_thesis" title="Church–Turing thesis">Church–Turing thesis</a><br /><a href="/wiki/Frege%E2%80%93Church_ontology" title="Frege–Church ontology">Frege–Church ontology</a><br /><a href="/wiki/Church%E2%80%93Rosser_theorem" title="Church–Rosser theorem">Church–Rosser theorem</a><br /><a href="/wiki/Intensional_logic" title="Intensional logic">Intensional logic</a></td></tr><tr><td colspan="2" class="infobox-full-data"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1257001546"><b>Scientific career</b></td></tr><tr><th scope="row" class="infobox-label">Fields</th><td class="infobox-data category"><a href="/wiki/Computer_science" title="Computer science">computer science</a>, <a href="/wiki/Mathematics" title="Mathematics">mathematics</a>, <a href="/wiki/Logic" title="Logic">logic</a></td></tr><tr><th scope="row" class="infobox-label">Institutions</th><td class="infobox-data"><a href="/wiki/Princeton_University" title="Princeton University">Princeton University</a> (1929–67)<br /><a href="/wiki/UCLA" class="mw-redirect" title="UCLA">UCLA</a> (1967–95)</td></tr><tr><th scope="row" class="infobox-label"><a href="/wiki/Thesis" title="Thesis">Thesis</a></th><td class="infobox-data"><i><a rel="nofollow" class="external text" href="https://www.ams.org/journals/tran/1927-029-01/S0002-9947-1927-1501383-1/">Alternatives to Zermelo's Assumption</a></i> <span style="font-size:97%;">(1927)</span></td></tr><tr><th scope="row" class="infobox-label"><a href="/wiki/Doctoral_advisor" title="Doctoral advisor">Doctoral advisor</a></th><td class="infobox-data"><a href="/wiki/Oswald_Veblen" title="Oswald Veblen">Oswald Veblen</a></td></tr><tr><th scope="row" class="infobox-label">Doctoral students</th><td class="infobox-data"><a href="/wiki/C._Anthony_Anderson" title="C. Anthony Anderson">C. Anthony Anderson</a>, 1977<br /><a href="/wiki/Peter_Andrews_(mathematician)" class="mw-redirect" title="Peter Andrews (mathematician)">Peter Andrews</a>, 1964<br /><a href="/wiki/George_Alfred_Barnard" title="George Alfred Barnard">George Alfred Barnard</a>, 1936<br /><a href="/wiki/William_Boone_(mathematician)" title="William Boone (mathematician)">William W. Boone</a>, 1952<br /><a href="/wiki/Martin_Davis_(mathematician)" title="Martin Davis (mathematician)">Martin Davis</a>, 1950<br /><a href="/wiki/William_Bigelow_Easton" title="William Bigelow Easton">William Easton</a>, 1964<br /><a href="/wiki/Alfred_Foster_(mathematician)" title="Alfred Foster (mathematician)">Alfred Foster</a>, 1930<br /><a href="/wiki/Leon_Henkin" title="Leon Henkin">Leon Henkin</a>, 1947<br /><a href="/wiki/John_George_Kemeny" class="mw-redirect" title="John George Kemeny">John George Kemeny</a>, 1949<br /><a href="/wiki/Stephen_Cole_Kleene" title="Stephen Cole Kleene">Stephen Cole Kleene</a>, 1934<br /><a href="/wiki/Simon_B._Kochen" title="Simon B. Kochen">Simon B. Kochen</a>, 1959<br /><a href="/wiki/Maurice_L%27Abb%C3%A9" title="Maurice L'Abbé">Maurice L'Abbé</a>, 1951<br />Isaac Malitz, 1976<br /><a href="/wiki/Gary_R._Mar" title="Gary R. Mar">Gary R. Mar</a>, 1985<br /><a href="/wiki/Michael_O._Rabin" title="Michael O. Rabin">Michael O. Rabin</a>, 1957<br /><a href="/wiki/Nicholas_Rescher" title="Nicholas Rescher">Nicholas Rescher</a>, 1951<br /><a href="/wiki/Hartley_Rogers,_Jr" class="mw-redirect" title="Hartley Rogers, Jr">Hartley Rogers, Jr</a>, 1952<br /><a href="/wiki/J._Barkley_Rosser" title="J. Barkley Rosser">J. Barkley Rosser</a>, 1934<br /><a href="/wiki/Dana_Scott" title="Dana Scott">Dana Scott</a>, 1958<br /><a href="/wiki/Norman_Shapiro" title="Norman Shapiro">Norman Shapiro</a>, 1955<br /><a href="/wiki/Raymond_Smullyan" title="Raymond Smullyan">Raymond Smullyan</a>, 1959<br /><a href="/wiki/Alan_Turing" title="Alan Turing">Alan Turing</a>, 1938<sup id="cite_ref-bowen19_1-0" class="reference"><a href="#cite_note-bowen19-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup></td></tr><tr style="display:none"><td colspan="2"> </td></tr></tbody></table> <p><b>Alonzo Church</b> (June 14, 1903 – August 11, 1995) was an American <a href="/wiki/Computer_scientist" title="Computer scientist">computer scientist</a>, <a href="/wiki/Mathematician" title="Mathematician">mathematician</a>, <a href="/wiki/List_of_logicians" title="List of logicians">logician</a>, and <a href="/wiki/Philosopher" class="mw-redirect" title="Philosopher">philosopher</a> who made major contributions to <a href="/wiki/Mathematical_logic" title="Mathematical logic">mathematical logic</a> and the foundations of <a href="/wiki/Theoretical_computer_science" title="Theoretical computer science">theoretical computer science</a>.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> He is best known for the <a href="/wiki/Lambda_calculus" title="Lambda calculus">lambda calculus</a>, the <a href="/wiki/Church%E2%80%93Turing_thesis" title="Church–Turing thesis">Church–Turing thesis</a>, proving the unsolvability of the <i><a href="/wiki/Entscheidungsproblem" title="Entscheidungsproblem">Entscheidungsproblem</a></i> ("decision problem"), the <a href="/wiki/Frege%E2%80%93Church_ontology" title="Frege–Church ontology">Frege–Church ontology</a>, and the <a href="/wiki/Church%E2%80%93Rosser_theorem" title="Church–Rosser theorem">Church–Rosser theorem</a>. Alongside his doctoral student <a href="/wiki/Alan_Turing" title="Alan Turing">Alan Turing</a>, Church is considered one of the founders of <a href="/wiki/Computer_science" title="Computer science">computer science</a>.<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup> </p> <meta property="mw:PageProp/toc" /> <div class="mw-heading mw-heading2"><h2 id="Life">Life</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=1" title="Edit section: Life"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Alonzo Church was born on June 14, 1903, in <a href="/wiki/Washington,_D.C." title="Washington, D.C.">Washington, D.C.</a>, where his father, Samuel Robbins Church, was a <a href="/wiki/Justice_of_the_peace" title="Justice of the peace">justice of the peace</a><sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup> and the judge of the Municipal Court for the District of Columbia. He was the grandson of Alonzo Webster Church (1829–1909), <a href="/wiki/United_States_Senate_Librarian" title="United States Senate Librarian">United States Senate Librarian</a> from 1881 to 1901, and great-grandson of <a href="/wiki/Alonzo_Church_(college_president)" title="Alonzo Church (college president)">Alonzo Church</a>, a professor of Mathematics and Astronomy and 6th President of the University of Georgia.<sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup> As a young boy, Church was partially blinded by an air gun accident.<sup id="cite_ref-7" class="reference"><a href="#cite_note-7"><span class="cite-bracket">[</span>7<span class="cite-bracket">]</span></a></sup> The family later moved to Virginia after his father lost his position at the university because of failing eyesight. With help from his uncle, also named Alonzo Church, the son attended the private Ridgefield School for Boys in <a href="/wiki/Ridgefield,_Connecticut" title="Ridgefield, Connecticut">Ridgefield, Connecticut</a>.<sup id="cite_ref-8" class="reference"><a href="#cite_note-8"><span class="cite-bracket">[</span>8<span class="cite-bracket">]</span></a></sup> After graduating from Ridgefield in 1920, Church attended Princeton University, where he was an exceptional student. He published his first paper on <a href="/wiki/Lorentz_transformation" title="Lorentz transformation">Lorentz transformations</a><sup id="cite_ref-9" class="reference"><a href="#cite_note-9"><span class="cite-bracket">[</span>9<span class="cite-bracket">]</span></a></sup> in 1924 and graduated the same year with a degree in mathematics. He stayed at Princeton for graduate work, earning a <a href="/wiki/Doctor_of_Philosophy" title="Doctor of Philosophy">Ph.D.</a> in mathematics in three years under <a href="/wiki/Oswald_Veblen" title="Oswald Veblen">Oswald Veblen</a>. </p><p>He married Mary Julia Kuczinski in 1925. The couple had three children: Alonzo Jr. (1929), Mary Ann (1933), and Mildred (1938). </p><p>After receiving his Ph.D., he taught briefly as an instructor at the <a href="/wiki/University_of_Chicago" title="University of Chicago">University of Chicago</a>.<sup id="cite_ref-10" class="reference"><a href="#cite_note-10"><span class="cite-bracket">[</span>10<span class="cite-bracket">]</span></a></sup> He received a two-year <a href="/wiki/United_States_National_Research_Council" class="mw-redirect" title="United States National Research Council">National Research Fellowship</a> that enabled him to attend <a href="/wiki/Harvard_University" title="Harvard University">Harvard University</a> in 1927–1928, and the <a href="/wiki/University_of_G%C3%B6ttingen" title="University of Göttingen">University of Göttingen</a> and <a href="/wiki/University_of_Amsterdam" title="University of Amsterdam">University of Amsterdam</a> the following year. </p><p>He taught philosophy and mathematics at Princeton for nearly four decades, from 1929 to 1967. He held the Flint Professorship of Philosophy and Mathematics at the <a href="/wiki/University_of_California,_Los_Angeles" title="University of California, Los Angeles">University of California, Los Angeles</a>, 1967–1990.<sup id="cite_ref-life_11-0" class="reference"><a href="#cite_note-life-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup> He was a Plenary Speaker at the <a href="/wiki/International_Congress_of_Mathematicians" title="International Congress of Mathematicians">ICM</a> in 1962 in Stockholm.<sup id="cite_ref-12" class="reference"><a href="#cite_note-12"><span class="cite-bracket">[</span>12<span class="cite-bracket">]</span></a></sup> </p><p>He received honorary Doctor of Science degrees from <a href="/wiki/Case_Western_Reserve_University" title="Case Western Reserve University">Case Western Reserve University</a> in 1969,<sup id="cite_ref-13" class="reference"><a href="#cite_note-13"><span class="cite-bracket">[</span>13<span class="cite-bracket">]</span></a></sup> Princeton University in 1985,<sup id="cite_ref-14" class="reference"><a href="#cite_note-14"><span class="cite-bracket">[</span>14<span class="cite-bracket">]</span></a></sup> and the <a href="/wiki/University_at_Buffalo,_The_State_University_of_New_York" class="mw-redirect" title="University at Buffalo, The State University of New York">University at Buffalo, The State University of New York</a> in 1990 in connection with an international symposium in his honor organized by <a href="/wiki/John_Corcoran_(logician)" title="John Corcoran (logician)">John Corcoran</a>.<sup id="cite_ref-15" class="reference"><a href="#cite_note-15"><span class="cite-bracket">[</span>15<span class="cite-bracket">]</span></a></sup> </p><p>He was elected a Corresponding Fellow of the <a href="/wiki/British_Academy" title="British Academy">British Academy</a> (FBA) in 1966,<sup id="cite_ref-16" class="reference"><a href="#cite_note-16"><span class="cite-bracket">[</span>16<span class="cite-bracket">]</span></a></sup> to the <a href="/wiki/American_Academy_of_Arts_and_Sciences" title="American Academy of Arts and Sciences">American Academy of the Arts and Sciences</a> in 1967, to the <a href="/wiki/National_Academy_of_Sciences" title="National Academy of Sciences">National Academy of Sciences</a> in 1978.<sup id="cite_ref-17" class="reference"><a href="#cite_note-17"><span class="cite-bracket">[</span>17<span class="cite-bracket">]</span></a></sup> </p><p>Church was a lifelong member of the <a href="/wiki/Presbyterian" class="mw-redirect" title="Presbyterian">Presbyterian</a> church.<sup id="cite_ref-18" class="reference"><a href="#cite_note-18"><span class="cite-bracket">[</span>18<span class="cite-bracket">]</span></a></sup> He died on August 11, 1995, at the age of 92.<sup id="cite_ref-19" class="reference"><a href="#cite_note-19"><span class="cite-bracket">[</span>19<span class="cite-bracket">]</span></a></sup> He is buried in <a href="/wiki/Princeton_Cemetery" title="Princeton Cemetery">Princeton Cemetery</a>.<sup id="cite_ref-20" class="reference"><a href="#cite_note-20"><span class="cite-bracket">[</span>20<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="Mathematical_work">Mathematical work</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=2" title="Edit section: Mathematical work"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Church is known for the following accomplishments: </p> <ul><li>His proof that the <a href="/wiki/Entscheidungsproblem" title="Entscheidungsproblem">Entscheidungsproblem</a>, which asks for a <a href="/wiki/Decision_procedure" class="mw-redirect" title="Decision procedure">decision procedure</a> to determine the truth of arbitrary propositions in a first-order mathematical <a href="/wiki/Theory_(mathematical_logic)" title="Theory (mathematical logic)">theory</a>, is <a href="/wiki/Undecidable_problem" title="Undecidable problem">undecidable</a>. This is known as <a href="/wiki/Church%27s_theorem" class="mw-redirect" title="Church's theorem">Church's theorem</a>.<sup id="cite_ref-21" class="reference"><a href="#cite_note-21"><span class="cite-bracket">[</span>21<span class="cite-bracket">]</span></a></sup></li> <li>His invention of the <a href="/wiki/Lambda_calculus" title="Lambda calculus">lambda calculus</a>.</li> <li>His use of the lambda calculus to prove that <a href="/wiki/Peano_arithmetic" class="mw-redirect" title="Peano arithmetic">Peano arithmetic</a> is undecidable.<sup id="cite_ref-life_11-1" class="reference"><a href="#cite_note-life-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup></li> <li>His articulation of what has come to be known as the Church–Turing thesis.</li> <li>Being a founding editor of the <i><a href="/wiki/Journal_of_Symbolic_Logic" title="Journal of Symbolic Logic">Journal of Symbolic Logic</a></i>, editing its reviews section for 43 years from 1936 until 1979.</li> <li>His authorship of a prominent textbook in the field of mathematical logic, <i>Introduction to Mathematical Logic</i>.<sup id="cite_ref-22" class="reference"><a href="#cite_note-22"><span class="cite-bracket">[</span>22<span class="cite-bracket">]</span></a></sup></li> <li>The <a href="/wiki/Church%E2%80%93Rosser_theorem" title="Church–Rosser theorem">Church–Rosser theorem</a></li></ul> <p>The lambda calculus emerged in his 1936 paper showing the unsolvability of the Entscheidungsproblem. This result preceded Alan Turing's work on the <a href="/wiki/Halting_problem" title="Halting problem">halting problem</a>, which also demonstrated the existence of a problem unsolvable by mechanical means. Upon hearing of Church's work, Turing enrolled at Princeton later that year under Church for a Ph.D.<sup id="cite_ref-23" class="reference"><a href="#cite_note-23"><span class="cite-bracket">[</span>23<span class="cite-bracket">]</span></a></sup> Church and Turing then showed that the lambda calculus and the <a href="/wiki/Turing_machine" title="Turing machine">Turing machine</a> used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation." This resulted in the Church–Turing thesis. </p><p>The efforts for automatically generating a controller implementation from specifications originates from his ideas.<sup id="cite_ref-24" class="reference"><a href="#cite_note-24"><span class="cite-bracket">[</span>24<span class="cite-bracket">]</span></a></sup> </p><p>The lambda calculus influenced the design of <a href="/wiki/Lisp_(programming_language)" title="Lisp (programming language)">Lisp</a> and <a href="/wiki/Functional_programming" title="Functional programming">functional programming</a> languages in general. The <a href="/wiki/Church_encoding" title="Church encoding">Church encoding</a> is named in his honor. </p><p>In his honor the Alonzo Church Award for Outstanding Contributions to Logic and Computation was established in 2015 by the Association for Computing Machinery Special Interest Group for Logic and Computation (<a href="/wiki/ACM_SIGLOG" title="ACM SIGLOG">ACM SIGLOG</a>), the <a href="/wiki/European_Association_for_Theoretical_Computer_Science" title="European Association for Theoretical Computer Science">European Association for Theoretical Computer Science</a> (EATCS), the European Association for Computer Science Logic (<a href="/wiki/EACSL" title="EACSL">EACSL</a>), and the <a href="/wiki/Kurt_G%C3%B6del_Society" title="Kurt Gödel Society">Kurt Gödel Society</a> (KGS). The award is for an outstanding contribution to the field published within the past 25 years and must not yet have received recognition via another major award, such as the <a href="/wiki/Turing_Award" title="Turing Award">Turing Award</a>, the <a href="/wiki/Paris_Kanellakis_Award" title="Paris Kanellakis Award">Paris Kanellakis Award</a>, or the <a href="/wiki/G%C3%B6del_Prize" title="Gödel Prize">Gödel Prize</a>.<sup id="cite_ref-25" class="reference"><a href="#cite_note-25"><span class="cite-bracket">[</span>25<span class="cite-bracket">]</span></a></sup><sup id="cite_ref-26" class="reference"><a href="#cite_note-26"><span class="cite-bracket">[</span>26<span class="cite-bracket">]</span></a></sup> </p><p>Church also made contributions to the <a href="/wiki/Algorithmically_random_sequence" title="Algorithmically random sequence">theory of random sequences</a>.<sup id="cite_ref-27" class="reference"><a href="#cite_note-27"><span class="cite-bracket">[</span>27<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="Philosophical_work">Philosophical work</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=3" title="Edit section: Philosophical work"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1251242444">.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}@media print{body.ns-0 .mw-parser-output .ambox{display:none!important}}</style><table class="box-Expand_section plainlinks metadata ambox mbox-small-left ambox-content" role="presentation"><tbody><tr><td class="mbox-image"><span typeof="mw:File"><a href="/wiki/File:Wiki_letter_w_cropped.svg" class="mw-file-description"><img alt="[icon]" src="//upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/20px-Wiki_letter_w_cropped.svg.png" decoding="async" width="20" height="14" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/30px-Wiki_letter_w_cropped.svg.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/40px-Wiki_letter_w_cropped.svg.png 2x" data-file-width="44" data-file-height="31" /></a></span></td><td class="mbox-text"><div class="mbox-text-span">This section <b>needs expansion</b>. You can help by <a class="external text" href="https://en.wikipedia.org/w/index.php?title=Alonzo_Church&action=edit&section=">adding to it</a>. <span class="date-container"><i>(<span class="date">January 2023</span>)</i></span></div></td></tr></tbody></table> <style data-mw-deduplicate="TemplateStyles:r1244412712">.mw-parser-output .templatequote{overflow:hidden;margin:1em 0;padding:0 32px}.mw-parser-output .templatequotecite{line-height:1.5em;text-align:left;margin-top:0}@media(min-width:500px){.mw-parser-output .templatequotecite{padding-left:1.6em}}</style><blockquote class="templatequote"><p>Church’s elaboration of a methodology involving the logistic method, his philosophical criticisms of nominalism and his defense of realism, his argumentation leading to conclusions about the theory of meaning, and the detailed construction of the Fregean and <a href="/wiki/Bertrand_Russell" title="Bertrand Russell">Russellian</a> <a href="/wiki/Modal_logic" title="Modal logic">intensional logics</a>, are more than sufficient to place him high up among the most important philosophers of this century.</p><div class="templatequotecite">— <cite><a href="/wiki/C._Anthony_Anderson" title="C. Anthony Anderson">C. Anthony Anderson</a>, doctoral student of Church (1977)<sup id="cite_ref-28" class="reference"><a href="#cite_note-28"><span class="cite-bracket">[</span>28<span class="cite-bracket">]</span></a></sup></cite></div></blockquote><p> Church is also known for the <a href="/wiki/Frege%E2%80%93Church_ontology" title="Frege–Church ontology">Frege–Church ontology</a>, which he created based on the philosophical ideas of <a href="/wiki/Gottlob_Frege" title="Gottlob Frege">Gottlob Frege</a>. </p><div class="mw-heading mw-heading2"><h2 id="Influence">Influence</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=4" title="Edit section: Influence"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <p>Over the course of his academic career, Church oversaw 31 doctoral students.<sup id="cite_ref-life_11-2" class="reference"><a href="#cite_note-life-11"><span class="cite-bracket">[</span>11<span class="cite-bracket">]</span></a></sup> Many of them have led distinguished careers in mathematics, computer science, and other academic subjects, including <a href="/wiki/Peter_B._Andrews" title="Peter B. Andrews">Peter B. Andrews</a>, <a href="/wiki/George_Alfred_Barnard" title="George Alfred Barnard">George A. Barnard</a>, <a href="/wiki/David_Berlinski" title="David Berlinski">David Berlinski</a>, <a href="/wiki/William_Boone_(mathematician)" title="William Boone (mathematician)">William W. Boone</a>, <a href="/wiki/Martin_Davis_(mathematician)" title="Martin Davis (mathematician)">Martin Davis</a>, <a href="/wiki/Alfred_L._Foster" class="mw-redirect" title="Alfred L. Foster">Alfred L. Foster</a>, <a href="/wiki/Leon_Henkin" title="Leon Henkin">Leon Henkin</a>, <a href="/wiki/John_George_Kemeny" class="mw-redirect" title="John George Kemeny">John G. Kemeny</a>, <a href="/wiki/Stephen_Cole_Kleene" title="Stephen Cole Kleene">Stephen C. Kleene</a>, <a href="/wiki/Simon_B._Kochen" title="Simon B. Kochen">Simon B. Kochen</a>, <a href="/wiki/Maurice_L%27Abb%C3%A9" title="Maurice L'Abbé">Maurice L'Abbé</a>, <a href="/wiki/Gary_R._Mar" title="Gary R. Mar">Gary R. Mar</a>, <a href="/wiki/Michael_O._Rabin" title="Michael O. Rabin">Michael O. Rabin</a>, <a href="/wiki/Nicholas_Rescher" title="Nicholas Rescher">Nicholas Rescher</a>, <a href="/wiki/Hartley_Rogers,_Jr." class="mw-redirect" title="Hartley Rogers, Jr.">Hartley Rogers, Jr.</a>, <a href="/wiki/J._Barkley_Rosser" title="J. Barkley Rosser">J. Barkley Rosser</a>, <a href="/wiki/Dana_Scott" title="Dana Scott">Dana Scott</a>, <a href="/wiki/Raymond_Smullyan" title="Raymond Smullyan">Raymond Smullyan</a> and <a href="/wiki/Alan_Turing" title="Alan Turing">Alan Turing</a>.<sup id="cite_ref-29" class="reference"><a href="#cite_note-29"><span class="cite-bracket">[</span>29<span class="cite-bracket">]</span></a></sup> </p><p>In addition to those he directly supervised, Church also had a large influence on other mathematicians and computer scientists. <a href="/wiki/Haskell_Curry" title="Haskell Curry">Haskell Curry</a>, who expanded on Church's ideas with the concept of <a href="/wiki/Currying" title="Currying">currying</a>, stated that one of his textbooks, Introduction to Mathematical Logic (first published in 1944), was "written with the meticulous precision which characterizes the author's work generally."<sup id="cite_ref-30" class="reference"><a href="#cite_note-30"><span class="cite-bracket">[</span>30<span class="cite-bracket">]</span></a></sup> </p> <div class="mw-heading mw-heading2"><h2 id="Bibliography">Bibliography</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=5" title="Edit section: Bibliography"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <div class="mw-heading mw-heading3"><h3 id="Books">Books</h3><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=6" title="Edit section: Books"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li>Alonzo Church, <i>Introduction to Mathematical Logic</i> (1944) (<style data-mw-deduplicate="TemplateStyles:r1238218222">.mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free.id-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited.id-lock-limited a,.mw-parser-output .id-lock-registration.id-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription.id-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-free a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-limited a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-registration a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .id-lock-subscription a,body:not(.skin-timeless):not(.skin-minerva) .mw-parser-output .cs1-ws-icon a{background-size:contain;padding:0 1em 0 0}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:var(--color-error,#d33)}.mw-parser-output .cs1-visible-error{color:var(--color-error,#d33)}.mw-parser-output .cs1-maint{display:none;color:#085;margin-left:0.3em}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}@media screen{.mw-parser-output .cs1-format{font-size:95%}html.skin-theme-clientpref-night .mw-parser-output .cs1-maint{color:#18911f}}@media screen and (prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .cs1-maint{color:#18911f}}</style><a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-691-02906-1" title="Special:BookSources/978-0-691-02906-1">978-0-691-02906-1</a>)<sup id="cite_ref-31" class="reference"><a href="#cite_note-31"><span class="cite-bracket">[</span>31<span class="cite-bracket">]</span></a></sup></li> <li>Alonzo Church, <i>The Calculi of Lambda-Conversion</i> (1941) (<link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-691-08394-0" title="Special:BookSources/978-0-691-08394-0">978-0-691-08394-0</a>)<sup id="cite_ref-32" class="reference"><a href="#cite_note-32"><span class="cite-bracket">[</span>32<span class="cite-bracket">]</span></a></sup></li> <li>Alonzo Church, <i>A Bibliography of Symbolic Logic, 1666–1935</i> (<link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-8218-0084-3" title="Special:BookSources/978-0-8218-0084-3">978-0-8218-0084-3</a>)</li> <li>C. Anthony Anderson and Michael Zelëny, (eds.), <i>Logic, Meaning and Computation: Essays in Memory of Alonzo Church</i> (<link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-1-4020-0141-3" title="Special:BookSources/978-1-4020-0141-3">978-1-4020-0141-3</a>)</li> <li>Tyler Burge and Herbert Enderton (eds.), <i>The Collected Works of Alonzo Church</i> (2019) (ISBN 978-0-262-02564-5)<sup id="cite_ref-33" class="reference"><a href="#cite_note-33"><span class="cite-bracket">[</span>33<span class="cite-bracket">]</span></a></sup></li></ul> <div class="mw-heading mw-heading2"><h2 id="See_also">See also</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=7" title="Edit section: See also"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1239009302">.mw-parser-output .portalbox{padding:0;margin:0.5em 0;display:table;box-sizing:border-box;max-width:175px;list-style:none}.mw-parser-output .portalborder{border:1px solid var(--border-color-base,#a2a9b1);padding:0.1em;background:var(--background-color-neutral-subtle,#f8f9fa)}.mw-parser-output .portalbox-entry{display:table-row;font-size:85%;line-height:110%;height:1.9em;font-style:italic;font-weight:bold}.mw-parser-output .portalbox-image{display:table-cell;padding:0.2em;vertical-align:middle;text-align:center}.mw-parser-output .portalbox-link{display:table-cell;padding:0.2em 0.2em 0.2em 0.3em;vertical-align:middle}@media(min-width:720px){.mw-parser-output .portalleft{clear:left;float:left;margin:0.5em 1em 0.5em 0}.mw-parser-output .portalright{clear:right;float:right;margin:0.5em 0 0.5em 1em}}</style><ul role="navigation" aria-label="Portals" class="noprint portalbox portalborder portalright"> <li class="portalbox-entry"><span class="portalbox-image"><span class="noviewer" typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/en/thumb/6/69/P_vip.svg/28px-P_vip.svg.png" decoding="async" width="28" height="28" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/6/69/P_vip.svg/41px-P_vip.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/6/69/P_vip.svg/55px-P_vip.svg.png 2x" data-file-width="1911" data-file-height="1944" /></span></span></span><span class="portalbox-link"><a href="/wiki/Portal:Biography" title="Portal:Biography">Biography portal</a></span></li><li class="portalbox-entry"><span class="portalbox-image"><span class="noviewer" typeof="mw:File"><span><img alt="" src="//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/18px-Socrates.png" decoding="async" width="18" height="28" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/27px-Socrates.png 1.5x, //upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Socrates.png/36px-Socrates.png 2x" data-file-width="326" data-file-height="500" /></span></span></span><span class="portalbox-link"><a href="/wiki/Portal:Philosophy" title="Portal:Philosophy">Philosophy portal</a></span></li></ul> <ul><li><a href="/wiki/Church%E2%80%93Turing%E2%80%93Deutsch_principle" title="Church–Turing–Deutsch principle">Church–Turing–Deutsch principle</a></li> <li><a href="/wiki/Higher-order_logic" title="Higher-order logic">Higher-order logic</a></li> <li><a href="/wiki/List_of_pioneers_in_computer_science" title="List of pioneers in computer science">List of pioneers in computer science</a></li> <li><a href="/wiki/Modern_Platonism" class="mw-redirect" title="Modern Platonism">Modern Platonism</a></li> <li><a href="/wiki/Universal_set" title="Universal set">Universal set</a></li></ul> <div class="mw-heading mw-heading2"><h2 id="Notes">Notes</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=8" title="Edit section: Notes"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <style data-mw-deduplicate="TemplateStyles:r1239543626">.mw-parser-output .reflist{margin-bottom:0.5em;list-style-type:decimal}@media screen{.mw-parser-output .reflist{font-size:90%}}.mw-parser-output .reflist .references{font-size:100%;margin-bottom:0;list-style-type:inherit}.mw-parser-output .reflist-columns-2{column-width:30em}.mw-parser-output .reflist-columns-3{column-width:25em}.mw-parser-output .reflist-columns{margin-top:0.3em}.mw-parser-output .reflist-columns ol{margin-top:0}.mw-parser-output .reflist-columns li{page-break-inside:avoid;break-inside:avoid-column}.mw-parser-output .reflist-upper-alpha{list-style-type:upper-alpha}.mw-parser-output .reflist-upper-roman{list-style-type:upper-roman}.mw-parser-output .reflist-lower-alpha{list-style-type:lower-alpha}.mw-parser-output .reflist-lower-greek{list-style-type:lower-greek}.mw-parser-output .reflist-lower-roman{list-style-type:lower-roman}</style><div class="reflist"> <div class="mw-references-wrap mw-references-columns"><ol class="references"> <li id="cite_note-bowen19-1"><span class="mw-cite-backlink"><b><a href="#cite_ref-bowen19_1-0">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFBowen2019" class="citation book cs1"><a href="/wiki/Jonathan_Bowen" title="Jonathan Bowen">Bowen, Jonathan P.</a> (2019). "The Impact of Alan Turing: Formal Methods and Beyond". In Bowen, Jonathan P.; <a href="/wiki/Zhiming_Liu_(computer_scientist)" title="Zhiming Liu (computer scientist)">Liu, Zhiming</a>; Zhang, Zili (eds.). <a rel="nofollow" class="external text" href="http://researchopen.lsbu.ac.uk/3224/1/setss2018.pdf"><i>Engineering Trustworthy Software Systems. SETSS 2018</i></a> <span class="cs1-format">(PDF)</span>. <a href="/wiki/Lecture_Notes_in_Computer_Science" title="Lecture Notes in Computer Science">Lecture Notes in Computer Science</a>. Vol. 11430. Cham: <a href="/wiki/Springer_Nature" title="Springer Nature">Springer</a>. pp. 202–235. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-030-17601-3_5">10.1007/978-3-030-17601-3_5</a>. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-3-030-17600-6" title="Special:BookSources/978-3-030-17600-6"><bdi>978-3-030-17600-6</bdi></a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:121295850">121295850</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.atitle=The+Impact+of+Alan+Turing%3A+Formal+Methods+and+Beyond&rft.btitle=Engineering+Trustworthy+Software+Systems.+SETSS+2018&rft.place=Cham&rft.series=Lecture+Notes+in+Computer+Science&rft.pages=202-235&rft.pub=Springer&rft.date=2019&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A121295850%23id-name%3DS2CID&rft_id=info%3Adoi%2F10.1007%2F978-3-030-17601-3_5&rft.isbn=978-3-030-17600-6&rft.aulast=Bowen&rft.aufirst=Jonathan+P.&rft_id=http%3A%2F%2Fresearchopen.lsbu.ac.uk%2F3224%2F1%2Fsetss2018.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-2"><span class="mw-cite-backlink"><b><a href="#cite_ref-2">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFDeutschMarshall2022" class="citation cs2">Deutsch, Harry; Marshall, Oliver (2022), <a rel="nofollow" class="external text" href="https://plato.stanford.edu/archives/spr2022/entries/church/">"Alonzo Church"</a>, in Zalta, Edward N. (ed.), <i>The Stanford Encyclopedia of Philosophy</i> (Spring 2022 ed.), Metaphysics Research Lab, Stanford University<span class="reference-accessdate">, retrieved <span class="nowrap">2022-04-14</span></span></cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.atitle=Alonzo+Church&rft.btitle=The+Stanford+Encyclopedia+of+Philosophy&rft.edition=Spring+2022&rft.pub=Metaphysics+Research+Lab%2C+Stanford+University&rft.date=2022&rft.aulast=Deutsch&rft.aufirst=Harry&rft.au=Marshall%2C+Oliver&rft_id=https%3A%2F%2Fplato.stanford.edu%2Farchives%2Fspr2022%2Fentries%2Fchurch%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-3"><span class="mw-cite-backlink"><b><a href="#cite_ref-3">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html">"OBITUARY: Alonzo Church"</a>. <i>The Independent</i>. 2011-10-22<span class="reference-accessdate">. Retrieved <span class="nowrap">2021-05-24</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=The+Independent&rft.atitle=OBITUARY%3A+Alonzo+Church&rft.date=2011-10-22&rft_id=https%3A%2F%2Fwww.independent.co.uk%2Fnews%2Fobituaries%2Fobituary-alonzo-church-1600980.html&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-4"><span class="mw-cite-backlink"><b><a href="#cite_ref-4">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFCooper2012" class="citation book cs1">Cooper, S. B. (2012). <a rel="nofollow" class="external text" href="https://www.worldcat.org/oclc/840569810"><i>The selected works of A.M. Turing : his work and impact</i></a>. J. van Leeuwen. Waltham, MA: Elsevier. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-12-387012-4" title="Special:BookSources/978-0-12-387012-4"><bdi>978-0-12-387012-4</bdi></a>. <a href="/wiki/OCLC_(identifier)" class="mw-redirect" title="OCLC (identifier)">OCLC</a> <a rel="nofollow" class="external text" href="https://search.worldcat.org/oclc/840569810">840569810</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=The+selected+works+of+A.M.+Turing+%3A+his+work+and+impact&rft.place=Waltham%2C+MA&rft.pub=Elsevier&rft.date=2012&rft_id=info%3Aoclcnum%2F840569810&rft.isbn=978-0-12-387012-4&rft.aulast=Cooper&rft.aufirst=S.+B.&rft_id=https%3A%2F%2Fwww.worldcat.org%2Foclc%2F840569810&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-5"><span class="mw-cite-backlink"><b><a href="#cite_ref-5">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFBundy1902" class="citation journal cs1">Bundy, Charles S. (1902). <a rel="nofollow" class="external text" href="https://www.jstor.org/stable/40066805">"A History of the Office of Justice of the Peace in the District of Columbia"</a>. <i>Records of the Columbia Historical Society, Washington, D.C</i>. <b>5</b>: 259–293. <a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://search.worldcat.org/issn/0897-9049">0897-9049</a>. <a href="/wiki/JSTOR_(identifier)" class="mw-redirect" title="JSTOR (identifier)">JSTOR</a> <a rel="nofollow" class="external text" href="https://www.jstor.org/stable/40066805">40066805</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Records+of+the+Columbia+Historical+Society%2C+Washington%2C+D.C.&rft.atitle=A+History+of+the+Office+of+Justice+of+the+Peace+in+the+District+of+Columbia&rft.volume=5&rft.pages=259-293&rft.date=1902&rft_id=https%3A%2F%2Fwww.jstor.org%2Fstable%2F40066805%23id-name%3DJSTOR&rft.issn=0897-9049&rft.aulast=Bundy&rft.aufirst=Charles+S.&rft_id=https%3A%2F%2Fwww.jstor.org%2Fstable%2F40066805&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-6"><span class="mw-cite-backlink"><b><a href="#cite_ref-6">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFCoulter1928" class="citation book cs1">Coulter, E. Merton (1928). <i>College Life in the Old South</i>. University of Georgia Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/9-780-8203-3199-7" title="Special:BookSources/9-780-8203-3199-7"><bdi>9-780-8203-3199-7</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=College+Life+in+the+Old+South&rft.pub=University+of+Georgia+Press&rft.date=1928&rft.isbn=9-780-8203-3199-7&rft.aulast=Coulter&rft.aufirst=E.+Merton&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-7"><span class="mw-cite-backlink"><b><a href="#cite_ref-7">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://builds.openlogicproject.org/content/history/biographies/alonzo-church.pdf">"Alonzo Church"</a> <span class="cs1-format">(PDF)</span>. <i>Open Logic</i>. 2022-12-19.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Open+Logic&rft.atitle=Alonzo+Church&rft.date=2022-12-19&rft_id=https%3A%2F%2Fbuilds.openlogicproject.org%2Fcontent%2Fhistory%2Fbiographies%2Falonzo-church.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-8"><span class="mw-cite-backlink"><b><a href="#cite_ref-8">^</a></b></span> <span class="reference-text">The Ridgefield School for Boys, also known as the Ridgefield School, was a private school that existed from 1907 to 1938. See <a rel="nofollow" class="external text" href="http://jackfsanders.tripod.com/rschool2.htm">The Ridgefield School</a>.</span> </li> <li id="cite_note-9"><span class="mw-cite-backlink"><b><a href="#cite_ref-9">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFChurch1924" class="citation journal cs1">Church, Alonzo (1924). "Uniqueness of the Lorentz Transformation". <i>The American Mathematical Monthly</i>. <b>31</b> (8): 376–382. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1080%2F00029890.1924.11986368">10.1080/00029890.1924.11986368</a>. <a href="/wiki/JSTOR_(identifier)" class="mw-redirect" title="JSTOR (identifier)">JSTOR</a> <a rel="nofollow" class="external text" href="https://www.jstor.org/stable/2298823">2298823</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=The+American+Mathematical+Monthly&rft.atitle=Uniqueness+of+the+Lorentz+Transformation&rft.volume=31&rft.issue=8&rft.pages=376-382&rft.date=1924&rft_id=info%3Adoi%2F10.1080%2F00029890.1924.11986368&rft_id=https%3A%2F%2Fwww.jstor.org%2Fstable%2F2298823%23id-name%3DJSTOR&rft.aulast=Church&rft.aufirst=Alonzo&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-10"><span class="mw-cite-backlink"><b><a href="#cite_ref-10">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://paw.princeton.edu/article/early-history-computing-princeton">"An early history of computing at Princeton"</a>. <i>Princeton Alumni Weekly</i>. 2012-04-04<span class="reference-accessdate">. Retrieved <span class="nowrap">2020-04-19</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Princeton+Alumni+Weekly&rft.atitle=An+early+history+of+computing+at+Princeton&rft.date=2012-04-04&rft_id=https%3A%2F%2Fpaw.princeton.edu%2Farticle%2Fearly-history-computing-princeton&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-life-11"><span class="mw-cite-backlink">^ <a href="#cite_ref-life_11-0"><sup><i><b>a</b></i></sup></a> <a href="#cite_ref-life_11-1"><sup><i><b>b</b></i></sup></a> <a href="#cite_ref-life_11-2"><sup><i><b>c</b></i></sup></a></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20120901152639/https://www.math.ucla.edu/~hbe/church.pdf">"Alonzo Church: Life and Work"</a> <span class="cs1-format">(PDF)</span>. Archived from <a rel="nofollow" class="external text" href="https://www.math.ucla.edu/~hbe/church.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 1 September 2012<span class="reference-accessdate">. Retrieved <span class="nowrap">2022-04-14</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Alonzo+Church%3A+Life+and+Work&rft_id=https%3A%2F%2Fwww.math.ucla.edu%2F~hbe%2Fchurch.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-12"><span class="mw-cite-backlink"><b><a href="#cite_ref-12">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFChurch1962" class="citation book cs1">Church, Alonzo (1962). <a rel="nofollow" class="external text" href="https://web.archive.org/web/20131228050922/http://www.mathunion.org/ICM/ICM1962.1/Main/icm1962.1.0023.0058.ocr.pdf">"Logic, arithmetic and automata"</a> <span class="cs1-format">(PDF)</span>. <i>Proceedings of the International Congress of Mathematicians</i>. pp. 23–35. Archived from <a rel="nofollow" class="external text" href="http://www.mathunion.org/ICM/ICM1962.1/Main/icm1962.1.0023.0058.ocr.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 2013-12-28.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.atitle=Logic%2C+arithmetic+and+automata&rft.btitle=Proceedings+of+the+International+Congress+of+Mathematicians&rft.pages=23-35&rft.date=1962&rft.aulast=Church&rft.aufirst=Alonzo&rft_id=http%3A%2F%2Fwww.mathunion.org%2FICM%2FICM1962.1%2FMain%2Ficm1962.1.0023.0058.ocr.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-13"><span class="mw-cite-backlink"><b><a href="#cite_ref-13">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20060910162715/http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm">"Honorary degrees awarded by CWRU"</a>. <i>case.edu</i>. 2004-02-06. Archived from <a rel="nofollow" class="external text" href="http://www.case.edu/pubaff/univcomm/awards/hon-deg.htm">the original</a> on 2006-09-10.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=case.edu&rft.atitle=Honorary+degrees+awarded+by+CWRU&rft.date=2004-02-06&rft_id=http%3A%2F%2Fwww.case.edu%2Fpubaff%2Funivcomm%2Fawards%2Fhon-deg.htm&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-14"><span class="mw-cite-backlink"><b><a href="#cite_ref-14">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20160207011946/http://www.princeton.edu/main/about/facts/honorary/">"Honorary Degrees"</a>. <i>Princeton University</i>. 2009-12-30. Archived from the original on 2016-02-07.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Princeton+University&rft.atitle=Honorary+Degrees&rft.date=2009-12-30&rft_id=http%3A%2F%2Fwww.princeton.edu%2Fmain%2Fabout%2Ffacts%2Fhonorary%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span><span class="cs1-maint citation-comment"><code class="cs1-code">{{<a href="/wiki/Template:Cite_web" title="Template:Cite web">cite web</a>}}</code>: CS1 maint: unfit URL (<a href="/wiki/Category:CS1_maint:_unfit_URL" title="Category:CS1 maint: unfit URL">link</a>)</span></span> </li> <li id="cite_note-15"><span class="mw-cite-backlink"><b><a href="#cite_ref-15">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20131017083756/http://libweb1.lib.buffalo.edu:8080/findingaids/view?docId=ead/archives/ubar_1216.xml">"The Honorary Degree Conferral of Doctor of Science to Alonzo Church, 1990"</a>. <i>State University of New York at Buffalo Archives</i>. Archived from <a rel="nofollow" class="external text" href="http://libweb1.lib.buffalo.edu:8080/findingaids/view?docId=ead/archives/ubar_1216.xml">the original</a> on 2013-10-17.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=State+University+of+New+York+at+Buffalo+Archives&rft.atitle=The+Honorary+Degree+Conferral+of+Doctor+of+Science+to+Alonzo+Church%2C+1990&rft_id=http%3A%2F%2Flibweb1.lib.buffalo.edu%3A8080%2Ffindingaids%2Fview%3FdocId%3Dead%2Farchives%2Fubar_1216.xml&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-16"><span class="mw-cite-backlink"><b><a href="#cite_ref-16">^</a></b></span> <span class="reference-text">although some sources say he was elected to the British Academy in 1980, he was in fact elected in 1966. See: <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.thebritishacademy.ac.uk/fellows/alonzo-church-FBA/">"Professor Alonzo Church FBA"</a>. <i>The British Academy</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=The+British+Academy&rft.atitle=Professor+Alonzo+Church+FBA&rft_id=https%3A%2F%2Fwww.thebritishacademy.ac.uk%2Ffellows%2Falonzo-church-FBA%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span> and <link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20120901152639/https://www.math.ucla.edu/~hbe/church.pdf">"Alonzo Church: Life and Work"</a> <span class="cs1-format">(PDF)</span>. Archived from <a rel="nofollow" class="external text" href="https://www.math.ucla.edu/~hbe/church.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 2012-09-01<span class="reference-accessdate">. Retrieved <span class="nowrap">2022-04-14</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Alonzo+Church%3A+Life+and+Work&rft_id=https%3A%2F%2Fwww.math.ucla.edu%2F~hbe%2Fchurch.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-17"><span class="mw-cite-backlink"><b><a href="#cite_ref-17">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://paw.princeton.edu/memorial/alonzo-church-%E2%80%9924-27">"Alonzo Church '24 *27"</a>. <i>Princeton Alumni Weekly</i>. 2016-01-21<span class="reference-accessdate">. Retrieved <span class="nowrap">2022-04-14</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Princeton+Alumni+Weekly&rft.atitle=Alonzo+Church+%2724+%2A27&rft.date=2016-01-21&rft_id=https%3A%2F%2Fpaw.princeton.edu%2Fmemorial%2Falonzo-church-%25E2%2580%259924-27&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-18"><span class="mw-cite-backlink"><b><a href="#cite_ref-18">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://web.archive.org/web/20120901152639/http://www.math.ucla.edu/~hbe/church.pdf">"Introduction Alonzo Church: Life and Work"</a> <span class="cs1-format">(PDF)</span>. p. 4. Archived from <a rel="nofollow" class="external text" href="https://www.math.ucla.edu/~hbe/church.pdf">the original</a> <span class="cs1-format">(PDF)</span> on 1 September 2012<span class="reference-accessdate">. Retrieved <span class="nowrap">6 June</span> 2012</span>. <q>A deeply religious person, he was a lifelong member of the Presbyterian church.</q></cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Introduction+Alonzo+Church%3A+Life+and+Work&rft.pages=4&rft_id=https%3A%2F%2Fwww.math.ucla.edu%2F~hbe%2Fchurch.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-19"><span class="mw-cite-backlink"><b><a href="#cite_ref-19">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFNicholas_Wade1995" class="citation news cs1"><a href="/wiki/Nicholas_Wade" title="Nicholas Wade">Nicholas Wade</a> (September 5, 1995). <a rel="nofollow" class="external text" href="https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.html">"Alonzo Church, 92, Theorist Of the Limits of Mathematics"</a>. <i><a href="/wiki/The_New_York_Times" title="The New York Times">The New York Times</a></i>. p. B6.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=The+New+York+Times&rft.atitle=Alonzo+Church%2C+92%2C+Theorist+Of+the+Limits+of+Mathematics&rft.pages=B6&rft.date=1995-09-05&rft.au=Nicholas+Wade&rft_id=https%3A%2F%2Fwww.nytimes.com%2F1995%2F09%2F05%2Fobituaries%2Falonzo-church-92-theorist-of-the-limits-of-mathematics.html&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-20"><span class="mw-cite-backlink"><b><a href="#cite_ref-20">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.cs.nmsu.edu/historical-projects/Projects/FoLundecidability.pdf">"Undecidability of First-Order Logic"</a> <span class="cs1-format">(PDF)</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Undecidability+of+First-Order+Logic&rft_id=https%3A%2F%2Fwww.cs.nmsu.edu%2Fhistorical-projects%2FProjects%2FFoLundecidability.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-21"><span class="mw-cite-backlink"><b><a href="#cite_ref-21">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFChurch1936" class="citation journal cs1"><a class="mw-selflink selflink">Church, A.</a> (1936). "An unsolvable problem of elementary number theory". <i>American Journal of Mathematics</i>. <b>58</b> (2): 345–363. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.2307%2F2371045">10.2307/2371045</a>. <a href="/wiki/JSTOR_(identifier)" class="mw-redirect" title="JSTOR (identifier)">JSTOR</a> <a rel="nofollow" class="external text" href="https://www.jstor.org/stable/2371045">2371045</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=American+Journal+of+Mathematics&rft.atitle=An+unsolvable+problem+of+elementary+number+theory&rft.volume=58&rft.issue=2&rft.pages=345-363&rft.date=1936&rft_id=info%3Adoi%2F10.2307%2F2371045&rft_id=https%3A%2F%2Fwww.jstor.org%2Fstable%2F2371045%23id-name%3DJSTOR&rft.aulast=Church&rft.aufirst=A.&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-22"><span class="mw-cite-backlink"><b><a href="#cite_ref-22">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFChurch1996" class="citation book cs1">Church, Alonzo (1996). <i>Introduction to Mathematical Logic</i>. Princeton University Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-691-02906-1" title="Special:BookSources/978-0-691-02906-1"><bdi>978-0-691-02906-1</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=Introduction+to+Mathematical+Logic&rft.pub=Princeton+University+Press&rft.date=1996&rft.isbn=978-0-691-02906-1&rft.aulast=Church&rft.aufirst=Alonzo&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-23"><span class="mw-cite-backlink"><b><a href="#cite_ref-23">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFArmstrong_*14" class="citation web cs1">Armstrong *14, April C. <a rel="nofollow" class="external text" href="https://blogs.princeton.edu/mudd/tag/alonzo-church/">"Alonzo Church"</a>. <i>Mudd Manuscript Library Blog</i><span class="reference-accessdate">. Retrieved <span class="nowrap">2022-04-14</span></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Mudd+Manuscript+Library+Blog&rft.atitle=Alonzo+Church&rft.aulast=Armstrong+%2A14&rft.aufirst=April+C.&rft_id=https%3A%2F%2Fblogs.princeton.edu%2Fmudd%2Ftag%2Falonzo-church%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span><span class="cs1-maint citation-comment"><code class="cs1-code">{{<a href="/wiki/Template:Cite_web" title="Template:Cite web">cite web</a>}}</code>: CS1 maint: numeric names: authors list (<a href="/wiki/Category:CS1_maint:_numeric_names:_authors_list" title="Category:CS1 maint: numeric names: authors list">link</a>)</span></span> </li> <li id="cite_note-24"><span class="mw-cite-backlink"><b><a href="#cite_ref-24">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFLúcioRahmanChengMavin2017" class="citation book cs1">Lúcio, Levi; Rahman, Salman; Cheng, Chih-Hong; Mavin, Alistair (2017). <a rel="nofollow" class="external text" href="http://msdl.cs.mcgill.ca/people/levi/30_publications/files/paper_NFM_2017.pdf">"Just Formal Enough? Automated Analysis of EARS Requirements"</a> <span class="cs1-format">(PDF)</span>. <i>Lecture Notes in Computer Science</i>. Springer International Publishing. pp. 427–434. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007%2F978-3-319-57288-8_31">10.1007/978-3-319-57288-8_31</a>. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-3-319-57287-1" title="Special:BookSources/978-3-319-57287-1"><bdi>978-3-319-57287-1</bdi></a>. <a href="/wiki/ISSN_(identifier)" class="mw-redirect" title="ISSN (identifier)">ISSN</a> <a rel="nofollow" class="external text" href="https://search.worldcat.org/issn/0302-9743">0302-9743</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.atitle=Just+Formal+Enough%3F+Automated+Analysis+of+EARS+Requirements&rft.btitle=Lecture+Notes+in+Computer+Science&rft.pages=427-434&rft.pub=Springer+International+Publishing&rft.date=2017&rft.issn=0302-9743&rft_id=info%3Adoi%2F10.1007%2F978-3-319-57288-8_31&rft.isbn=978-3-319-57287-1&rft.aulast=L%C3%BAcio&rft.aufirst=Levi&rft.au=Rahman%2C+Salman&rft.au=Cheng%2C+Chih-Hong&rft.au=Mavin%2C+Alistair&rft_id=http%3A%2F%2Fmsdl.cs.mcgill.ca%2Fpeople%2Flevi%2F30_publications%2Ffiles%2Fpaper_NFM_2017.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-25"><span class="mw-cite-backlink"><b><a href="#cite_ref-25">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://www.eatcs.org/index.php/church-award">"Alonzo Church Award"</a>. <i>eatcs.org</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=eatcs.org&rft.atitle=Alonzo+Church+Award&rft_id=https%3A%2F%2Fwww.eatcs.org%2Findex.php%2Fchurch-award&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-26"><span class="mw-cite-backlink"><b><a href="#cite_ref-26">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://siglog.acm.org/alonzo-church-award-for-outstanding-contributions-to-logic-and-computation-2019/">"Alonzo Church Award for Outstanding Contributions to Logic and Computation 2019 – ACM Special Interest Group on Logic and Computation"</a>. <i>siglog.acm.org</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=siglog.acm.org&rft.atitle=Alonzo+Church+Award+for+Outstanding+Contributions+to+Logic+and+Computation+2019+%E2%80%93+ACM+Special+Interest+Group+on+Logic+and+Computation&rft_id=https%3A%2F%2Fsiglog.acm.org%2Falonzo-church-award-for-outstanding-contributions-to-logic-and-computation-2019%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-27"><span class="mw-cite-backlink"><b><a href="#cite_ref-27">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFChurch1940" class="citation journal cs1">Church, Alonzo (1940). <a rel="nofollow" class="external text" href="https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-46/issue-2/On-the-concept-of-a-random-sequence/bams/1183502434.full">"On the concept of a random sequence"</a>. <i>Bulletin of the American Mathematical Society</i>. <b>46</b> (2): 130‒135.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Bulletin+of+the+American+Mathematical+Society&rft.atitle=On+the+concept+of+a+random+sequence&rft.volume=46&rft.issue=2&rft.pages=130%E2%80%92135&rft.date=1940&rft.aulast=Church&rft.aufirst=Alonzo&rft_id=https%3A%2F%2Fprojecteuclid.org%2Fjournals%2Fbulletin-of-the-american-mathematical-society%2Fvolume-46%2Fissue-2%2FOn-the-concept-of-a-random-sequence%2Fbams%2F1183502434.full&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-28"><span class="mw-cite-backlink"><b><a href="#cite_ref-28">^</a></b></span> <span class="reference-text">(<a href="#CITEREFAnderson1998">Anderson 1998</a>)</span> </li> <li id="cite_note-29"><span class="mw-cite-backlink"><b><a href="#cite_ref-29">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="http://genealogy.math.ndsu.nodak.edu/id.php?id=8011">"Mathematics Genealogy Project"</a>. <a rel="nofollow" class="external text" href="https://web.archive.org/web/20100804125134/http://www.genealogy.math.ndsu.nodak.edu/id.php?id=8011">Archived</a> from the original on 4 August 2010<span class="reference-accessdate">. Retrieved <span class="nowrap">12 August</span> 2010</span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=unknown&rft.btitle=Mathematics+Genealogy+Project&rft_id=http%3A%2F%2Fgenealogy.math.ndsu.nodak.edu%2Fid.php%3Fid%3D8011&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-30"><span class="mw-cite-backlink"><b><a href="#cite_ref-30">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite class="citation web cs1"><a rel="nofollow" class="external text" href="https://mathshistory.st-andrews.ac.uk/Biographies/Church/">"Alonzo Church - Biography"</a>. <i>Maths History</i>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=unknown&rft.jtitle=Maths+History&rft.atitle=Alonzo+Church+-+Biography&rft_id=https%3A%2F%2Fmathshistory.st-andrews.ac.uk%2FBiographies%2FChurch%2F&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-31"><span class="mw-cite-backlink"><b><a href="#cite_ref-31">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFHenkin,_Leon1957" class="citation journal cs1">Henkin, Leon (1957). <a rel="nofollow" class="external text" href="https://www.ams.org/bull/1957-63-05/S0002-9904-1957-10129-3/S0002-9904-1957-10129-3.pdf">"Review: <i>Introduction to Mathematical Logic</i> by Alonzo Church"</a> <span class="cs1-format">(PDF)</span>. <i>Bull. Amer. Math. Soc</i>. <b>63</b> (5): 320–323. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://doi.org/10.1090%2Fs0002-9904-1957-10129-3">10.1090/s0002-9904-1957-10129-3</a></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Bull.+Amer.+Math.+Soc.&rft.atitle=Review%3A+Introduction+to+Mathematical+Logic+by+Alonzo+Church&rft.volume=63&rft.issue=5&rft.pages=320-323&rft.date=1957&rft_id=info%3Adoi%2F10.1090%2Fs0002-9904-1957-10129-3&rft.au=Henkin%2C+Leon&rft_id=https%3A%2F%2Fwww.ams.org%2Fbull%2F1957-63-05%2FS0002-9904-1957-10129-3%2FS0002-9904-1957-10129-3.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-32"><span class="mw-cite-backlink"><b><a href="#cite_ref-32">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFFrink_Jr.,_Orrin1944" class="citation journal cs1"><a href="/wiki/Orrin_Frink" title="Orrin Frink">Frink Jr., Orrin</a> (1944). <a rel="nofollow" class="external text" href="https://www.ams.org/bull/1944-50-03/S0002-9904-1944-08090-7/S0002-9904-1944-08090-7.pdf">"Review: <i>The Calculi of Lambda-Conversion</i> by Alonzo Church"</a> <span class="cs1-format">(PDF)</span>. <i>Bull. Amer. Math. Soc</i>. <b>50</b> (3): 169–172. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://doi.org/10.1090%2Fs0002-9904-1944-08090-7">10.1090/s0002-9904-1944-08090-7</a></span>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=Bull.+Amer.+Math.+Soc.&rft.atitle=Review%3A+The+Calculi+of+Lambda-Conversion+by+Alonzo+Church&rft.volume=50&rft.issue=3&rft.pages=169-172&rft.date=1944&rft_id=info%3Adoi%2F10.1090%2Fs0002-9904-1944-08090-7&rft.au=Frink+Jr.%2C+Orrin&rft_id=https%3A%2F%2Fwww.ams.org%2Fbull%2F1944-50-03%2FS0002-9904-1944-08090-7%2FS0002-9904-1944-08090-7.pdf&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> <li id="cite_note-33"><span class="mw-cite-backlink"><b><a href="#cite_ref-33">^</a></b></span> <span class="reference-text"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFBurgeEnderton2019" class="citation book cs1">Burge, Tyler; Enderton, Herbert, eds. (2019-04-23). <a rel="nofollow" class="external text" href="https://mitpress.mit.edu/books/collected-works-alonzo-church"><i>The Collected Works of Alonzo Church</i></a>. Cambridge, MA, USA: MIT Press. <a href="/wiki/ISBN_(identifier)" class="mw-redirect" title="ISBN (identifier)">ISBN</a> <a href="/wiki/Special:BookSources/978-0-262-02564-5" title="Special:BookSources/978-0-262-02564-5"><bdi>978-0-262-02564-5</bdi></a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.btitle=The+Collected+Works+of+Alonzo+Church&rft.place=Cambridge%2C+MA%2C+USA&rft.pub=MIT+Press&rft.date=2019-04-23&rft.isbn=978-0-262-02564-5&rft_id=https%3A%2F%2Fmitpress.mit.edu%2Fbooks%2Fcollected-works-alonzo-church&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></span> </li> </ol></div></div> <div class="mw-heading mw-heading2"><h2 id="References">References</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=9" title="Edit section: References"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><a href="/wiki/Herbert_Enderton" title="Herbert Enderton">Enderton, Herbert B.</a>, <a rel="nofollow" class="external text" href="https://web.archive.org/web/20120901152639/https://www.math.ucla.edu/~hbe/church.pdf">Alonzo Church: Life and Work</a>. Introduction to <i>The Collected Works of Alonzo Church</i>, MIT Press, 2019.</li> <li>Enderton, Herbert B., <a rel="nofollow" class="external text" href="https://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps">In memoriam: Alonzo Church</a>, <i>The Bulletin of Symbolic Logic</i>, vol. 1, no. 4 (Dec. 1995), pp. 486–488.</li> <li>Wade, Nicholas, <a rel="nofollow" class="external text" href="https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.html">Alonzo Church, 92, Theorist of the Limits of Mathematics</a> (obituary), <i>The New York Times</i>, September 5, 1995, p. B6.</li> <li><a href="/wiki/Wilfred_Hodges" class="mw-redirect" title="Wilfred Hodges">Hodges, Wilfred</a>, <a rel="nofollow" class="external text" href="https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html">Obituary: Alonzo Church</a>, <i>The Independent (London)</i>, September 14, 1995.</li> <li><a rel="nofollow" class="external text" href="https://web.archive.org/web/20150310080250/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmc05.htm">Alonzo Church</a> interviewed by William Aspray on 17 May 1984. <i>The Princeton Mathematics Community in the 1930s: An Oral-History Project</i>, transcript number 5.</li> <li><a href="/wiki/Gian-Carlo_Rota" title="Gian-Carlo Rota">Rota, Gian-Carlo</a>, <a rel="nofollow" class="external text" href="https://www.ams.org/samplings/math-history/hmath2-prince.pdf">Fine Hall in its golden age: Remembrances of Princeton in the early fifties</a>. In <i>A Century of Mathematics in America, Part II</i>, edited by Peter Duren, AMS History of Mathematics, vol 2, American Mathematical Society, 1989, pp. 223–226. Also available <a rel="nofollow" class="external text" href="https://web.archive.org/web/20150310024937/http://www.princeton.edu/~mudd/finding_aids/mathoral/pmcxrota.htm">here</a>.</li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFChurch1950" class="citation journal cs1">Church, A. (1950). "On Carnap's Analysis of Statements of Assertion and Belief". <i>The Journal of Symbolic Logic</i>. <b>10</b> (5): 97–99. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.2307%2F3326684">10.2307/3326684</a>. <a href="/wiki/JSTOR_(identifier)" class="mw-redirect" title="JSTOR (identifier)">JSTOR</a> <a rel="nofollow" class="external text" href="https://www.jstor.org/stable/3326684">3326684</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=The+Journal+of+Symbolic+Logic&rft.atitle=On+Carnap%27s+Analysis+of+Statements+of+Assertion+and+Belief&rft.volume=10&rft.issue=5&rft.pages=97-99&rft.date=1950&rft_id=info%3Adoi%2F10.2307%2F3326684&rft_id=https%3A%2F%2Fwww.jstor.org%2Fstable%2F3326684%23id-name%3DJSTOR&rft.aulast=Church&rft.aufirst=A.&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></li> <li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFAnderson1998" class="citation journal cs1">Anderson, C. Anthony (1998). "Alonzo Church's contributions to philosophy and Intensional Logic". <i>The Bulletin of Symbolic Logic</i>. <b>4</b> (2): 129–171. <a href="/wiki/CiteSeerX_(identifier)" class="mw-redirect" title="CiteSeerX (identifier)">CiteSeerX</a> <span class="id-lock-free" title="Freely accessible"><a rel="nofollow" class="external text" href="https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.26.7389">10.1.1.26.7389</a></span>. <a href="/wiki/Doi_(identifier)" class="mw-redirect" title="Doi (identifier)">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.2307%2F421020">10.2307/421020</a>. <a href="/wiki/JSTOR_(identifier)" class="mw-redirect" title="JSTOR (identifier)">JSTOR</a> <a rel="nofollow" class="external text" href="https://www.jstor.org/stable/421020">421020</a>. <a href="/wiki/S2CID_(identifier)" class="mw-redirect" title="S2CID (identifier)">S2CID</a> <a rel="nofollow" class="external text" href="https://api.semanticscholar.org/CorpusID:18305417">18305417</a>.</cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.jtitle=The+Bulletin+of+Symbolic+Logic&rft.atitle=Alonzo+Church%27s+contributions+to+philosophy+and+Intensional+Logic&rft.volume=4&rft.issue=2&rft.pages=129-171&rft.date=1998&rft_id=https%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fsummary%3Fdoi%3D10.1.1.26.7389%23id-name%3DCiteSeerX&rft_id=https%3A%2F%2Fapi.semanticscholar.org%2FCorpusID%3A18305417%23id-name%3DS2CID&rft_id=https%3A%2F%2Fwww.jstor.org%2Fstable%2F421020%23id-name%3DJSTOR&rft_id=info%3Adoi%2F10.2307%2F421020&rft.aulast=Anderson&rft.aufirst=C.+Anthony&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></li></ul> <div class="mw-heading mw-heading2"><h2 id="External_links">External links</h2><span class="mw-editsection"><span class="mw-editsection-bracket">[</span><a href="/w/index.php?title=Alonzo_Church&action=edit&section=10" title="Edit section: External links"><span>edit</span></a><span class="mw-editsection-bracket">]</span></span></div> <ul><li><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1238218222"><cite id="CITEREFO'ConnorRobertson" class="citation cs2">O'Connor, John J.; <a href="/wiki/Edmund_F._Robertson" title="Edmund F. Robertson">Robertson, Edmund F.</a>, <a rel="nofollow" class="external text" href="https://mathshistory.st-andrews.ac.uk/Biographies/Church.html">"Alonzo Church"</a>, <i><a href="/wiki/MacTutor_History_of_Mathematics_Archive" title="MacTutor History of Mathematics Archive">MacTutor History of Mathematics Archive</a></i>, <a href="/wiki/University_of_St_Andrews" title="University of St Andrews">University of St Andrews</a></cite><span title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.atitle=Alonzo+Church&rft.btitle=MacTutor+History+of+Mathematics+Archive&rft.pub=University+of+St+Andrews&rft.aulast=O%27Connor&rft.aufirst=John+J.&rft.au=Robertson%2C+Edmund+F.&rft_id=https%3A%2F%2Fmathshistory.st-andrews.ac.uk%2FBiographies%2FChurch.html&rfr_id=info%3Asid%2Fen.wikipedia.org%3AAlonzo+Church" class="Z3988"></span></li> <li>Princeton University Library, Manuscripts Division, <a rel="nofollow" class="external text" href="http://arks.princeton.edu/ark:/88435/fx719m49m">The Alonzo Church Papers, 1924–1995: finding aid.</a></li> <li><a rel="nofollow" class="external text" href="http://johnmacfarlane.net/church.html">A bibliography of Church's reviews for The Journal of Symbolic Logic, with a link to each</a></li> <li><a rel="nofollow" class="external text" href="https://www.findagrave.com/memorial/7076221">Alonzo Church</a> at <a href="/wiki/Find_a_Grave" title="Find a Grave">Find a Grave</a></li> <li><i><a rel="nofollow" class="external text" href="https://www.nytimes.com/1995/09/05/obituaries/alonzo-church-92-theorist-of-the-limits-of-mathematics.html">Alonzo Church, 92, Theorist Of the Limits of Mathematics</a></i> <a href="/wiki/The_New_York_Times" title="The New York Times">New York Times</a> obituary</li> <li><i><a rel="nofollow" class="external text" href="https://www.independent.co.uk/news/obituaries/obituary-alonzo-church-1600980.html">OBITUARY: Alonzo Church</a></i> from <a href="/wiki/The_Independent" title="The Independent">The Independent</a></li> <li><i><a rel="nofollow" class="external text" href="https://projecteuclid.org/euclid.rml/1204835575">In memoriam: Alonzo Church (1903–1995)</a></i> by <a href="/wiki/Irving_H._Anellis" class="mw-redirect" title="Irving H. Anellis">Irving H. Anellis</a>, <i>Modern Logic</i> Vol. 5, No. 4 (1995).</li> <li><i><a rel="nofollow" class="external text" href="https://www.cambridge.org/core/services/aop-cambridge-core/content/view/EDB7DCE04575AF06CCC94E95B3DD0F72/S1079898600008040a.pdf/in-memoriam-alonzo-church-1903-1995.pdf">In memoriam: Alonzo Church 1903–1995</a></i> by H. B. Enderton, <i><a href="/wiki/The_Bulletin_of_Symbolic_Logic" class="mw-redirect" title="The Bulletin of Symbolic Logic">The Bulletin of Symbolic Logic</a></i> Vol. 1, No.5 (1995).</li></ul> <div class="navbox-styles"><style data-mw-deduplicate="TemplateStyles:r1129693374">.mw-parser-output .hlist dl,.mw-parser-output .hlist ol,.mw-parser-output .hlist ul{margin:0;padding:0}.mw-parser-output .hlist dd,.mw-parser-output .hlist dt,.mw-parser-output .hlist li{margin:0;display:inline}.mw-parser-output .hlist.inline,.mw-parser-output .hlist.inline dl,.mw-parser-output .hlist.inline ol,.mw-parser-output .hlist.inline ul,.mw-parser-output .hlist dl dl,.mw-parser-output .hlist dl ol,.mw-parser-output .hlist dl ul,.mw-parser-output .hlist ol dl,.mw-parser-output .hlist ol ol,.mw-parser-output .hlist ol ul,.mw-parser-output .hlist ul dl,.mw-parser-output .hlist ul ol,.mw-parser-output .hlist ul ul{display:inline}.mw-parser-output .hlist .mw-empty-li{display:none}.mw-parser-output .hlist dt::after{content:": "}.mw-parser-output .hlist dd::after,.mw-parser-output .hlist li::after{content:" · ";font-weight:bold}.mw-parser-output .hlist dd:last-child::after,.mw-parser-output .hlist dt:last-child::after,.mw-parser-output .hlist li:last-child::after{content:none}.mw-parser-output .hlist dd dd:first-child::before,.mw-parser-output .hlist dd dt:first-child::before,.mw-parser-output .hlist dd li:first-child::before,.mw-parser-output .hlist dt dd:first-child::before,.mw-parser-output .hlist dt dt:first-child::before,.mw-parser-output .hlist dt li:first-child::before,.mw-parser-output .hlist li dd:first-child::before,.mw-parser-output .hlist li dt:first-child::before,.mw-parser-output .hlist li li:first-child::before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child::after,.mw-parser-output .hlist dd dt:last-child::after,.mw-parser-output .hlist dd li:last-child::after,.mw-parser-output .hlist dt dd:last-child::after,.mw-parser-output .hlist dt dt:last-child::after,.mw-parser-output .hlist dt li:last-child::after,.mw-parser-output .hlist li dd:last-child::after,.mw-parser-output .hlist li dt:last-child::after,.mw-parser-output .hlist li li:last-child::after{content:")";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li::before{content:" "counter(listitem)"\a0 "}.mw-parser-output .hlist dd ol>li:first-child::before,.mw-parser-output .hlist dt ol>li:first-child::before,.mw-parser-output .hlist li ol>li:first-child::before{content:" ("counter(listitem)"\a0 "}</style><style data-mw-deduplicate="TemplateStyles:r1236075235">.mw-parser-output .navbox{box-sizing:border-box;border:1px solid #a2a9b1;width:100%;clear:both;font-size:88%;text-align:center;padding:1px;margin:1em auto 0}.mw-parser-output .navbox .navbox{margin-top:0}.mw-parser-output .navbox+.navbox,.mw-parser-output .navbox+.navbox-styles+.navbox{margin-top:-1px}.mw-parser-output .navbox-inner,.mw-parser-output .navbox-subgroup{width:100%}.mw-parser-output .navbox-group,.mw-parser-output .navbox-title,.mw-parser-output .navbox-abovebelow{padding:0.25em 1em;line-height:1.5em;text-align:center}.mw-parser-output .navbox-group{white-space:nowrap;text-align:right}.mw-parser-output .navbox,.mw-parser-output .navbox-subgroup{background-color:#fdfdfd}.mw-parser-output .navbox-list{line-height:1.5em;border-color:#fdfdfd}.mw-parser-output .navbox-list-with-group{text-align:left;border-left-width:2px;border-left-style:solid}.mw-parser-output tr+tr>.navbox-abovebelow,.mw-parser-output tr+tr>.navbox-group,.mw-parser-output tr+tr>.navbox-image,.mw-parser-output tr+tr>.navbox-list{border-top:2px solid #fdfdfd}.mw-parser-output .navbox-title{background-color:#ccf}.mw-parser-output .navbox-abovebelow,.mw-parser-output .navbox-group,.mw-parser-output .navbox-subgroup .navbox-title{background-color:#ddf}.mw-parser-output .navbox-subgroup .navbox-group,.mw-parser-output .navbox-subgroup .navbox-abovebelow{background-color:#e6e6ff}.mw-parser-output .navbox-even{background-color:#f7f7f7}.mw-parser-output .navbox-odd{background-color:transparent}.mw-parser-output .navbox .hlist td dl,.mw-parser-output .navbox .hlist td ol,.mw-parser-output .navbox .hlist td ul,.mw-parser-output .navbox td.hlist dl,.mw-parser-output .navbox td.hlist ol,.mw-parser-output .navbox td.hlist ul{padding:0.125em 0}.mw-parser-output .navbox .navbar{display:block;font-size:100%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}body.skin--responsive .mw-parser-output .navbox-image img{max-width:none!important}@media print{body.ns-0 .mw-parser-output .navbox{display:none!important}}</style></div><div role="navigation" class="navbox" aria-labelledby="Alonzo_Church" style="padding:3px"><table class="nowraplinks mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><style data-mw-deduplicate="TemplateStyles:r1239400231">.mw-parser-output .navbar{display:inline;font-size:88%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar a>span,.mw-parser-output .navbar a>abbr{text-decoration:inherit}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}html.skin-theme-clientpref-night .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}@media(prefers-color-scheme:dark){html.skin-theme-clientpref-os .mw-parser-output .navbar li a abbr{color:var(--color-base)!important}}@media print{.mw-parser-output .navbar{display:none!important}}</style><div class="navbar plainlinks hlist navbar-mini"><ul><li class="nv-view"><a href="/wiki/Template:Alonzo_Church" title="Template:Alonzo Church"><abbr title="View this template">v</abbr></a></li><li class="nv-talk"><a href="/wiki/Template_talk:Alonzo_Church" title="Template talk:Alonzo Church"><abbr title="Discuss this template">t</abbr></a></li><li class="nv-edit"><a href="/wiki/Special:EditPage/Template:Alonzo_Church" title="Special:EditPage/Template:Alonzo Church"><abbr title="Edit this template">e</abbr></a></li></ul></div><div id="Alonzo_Church" style="font-size:114%;margin:0 4em"><a class="mw-selflink selflink">Alonzo Church</a></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">Notable ideas</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Lambda_calculus" title="Lambda calculus">Lambda calculus</a> <ul><li><a href="/wiki/Simply_typed_lambda_calculus" title="Simply typed lambda calculus">Simply typed lambda calculus</a></li> <li><a href="/wiki/Church%E2%80%93Turing_thesis" title="Church–Turing thesis">Church–Turing thesis</a></li> <li><a href="/wiki/Church_encoding" title="Church encoding">Church encoding</a></li></ul></li> <li><a href="/wiki/Frege%E2%80%93Church_ontology" title="Frege–Church ontology">Frege–Church ontology</a></li> <li><a href="/wiki/Church%E2%80%93Rosser_theorem" title="Church–Rosser theorem">Church–Rosser theorem</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Students</th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Alan_Turing" title="Alan Turing">Alan Turing</a></li> <li><a href="/wiki/C._Anthony_Anderson" title="C. Anthony Anderson">C. Anthony Anderson</a></li> <li><a href="/wiki/Peter_B._Andrews" title="Peter B. Andrews">Peter Andrews</a></li> <li><a href="/wiki/George_Alfred_Barnard" title="George Alfred Barnard">George Alfred Barnard</a></li> <li><a href="/wiki/William_Boone_(mathematician)" title="William Boone (mathematician)">William Boone</a></li> <li><a href="/wiki/Martin_Davis_(mathematician)" title="Martin Davis (mathematician)">Martin Davis</a></li> <li><a href="/wiki/William_Bigelow_Easton" title="William Bigelow Easton">William Easton</a></li> <li><a href="/wiki/Alfred_Foster_(mathematician)" title="Alfred Foster (mathematician)">Alfred Foster</a></li> <li><a href="/wiki/Leon_Henkin" title="Leon Henkin">Leon Henkin</a></li> <li><a href="/wiki/John_George_Kemeny" class="mw-redirect" title="John George Kemeny">John George Kemeny</a></li> <li><a href="/wiki/Stephen_Cole_Kleene" title="Stephen Cole Kleene">Stephen Cole Kleene</a></li> <li><a href="/wiki/Simon_B._Kochen" title="Simon B. Kochen">Simon B. Kochen</a></li> <li><a href="/wiki/Maurice_L%27Abb%C3%A9" title="Maurice L'Abbé">Maurice L'Abbé</a></li> <li><a href="/wiki/Gary_R._Mar" title="Gary R. Mar">Gary R. Mar</a></li> <li><a href="/wiki/Michael_O._Rabin" title="Michael O. Rabin">Michael O. Rabin</a></li> <li><a href="/wiki/Nicholas_Rescher" title="Nicholas Rescher">Nicholas Rescher</a></li> <li><a href="/wiki/Hartley_Rogers,_Jr" class="mw-redirect" title="Hartley Rogers, Jr">Hartley Rogers, Jr</a></li> <li><a href="/wiki/J._Barkley_Rosser" title="J. Barkley Rosser">J. Barkley Rosser</a></li> <li><a href="/wiki/Dana_Scott" title="Dana Scott">Dana Scott</a></li> <li><a href="/wiki/Norman_Shapiro" title="Norman Shapiro">Norman Shapiro</a></li> <li><a href="/wiki/Raymond_Smullyan" title="Raymond Smullyan">Raymond Smullyan</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Institutions</th><td class="navbox-list-with-group navbox-list navbox-odd hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Princeton_University" title="Princeton University">Princeton University</a></li> <li><a href="/wiki/University_of_California,_Los_Angeles" title="University of California, Los Angeles">University of California, Los Angeles</a></li></ul> </div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Family</th><td class="navbox-list-with-group navbox-list navbox-even hlist" style="width:100%;padding:0"><div style="padding:0 0.25em"> <ul><li><a href="/wiki/Alonzo_Church_(college_president)" title="Alonzo Church (college president)">Alonzo Church (college president)</a></li> <li><a href="/wiki/A._C._Croom" title="A. C. Croom">A. C. Croom</a></li></ul> </div></td></tr></tbody></table></div> <div class="navbox-styles"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1129693374"><link rel="mw-deduplicated-inline-style" href="mw-data:TemplateStyles:r1236075235"></div><div role="navigation" class="navbox authority-control" aria-labelledby="Authority_control_databases_frameless&#124;text-top&#124;10px&#124;alt=Edit_this_at_Wikidata&#124;link=https&#58;//www.wikidata.org/wiki/Q92741#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata" style="padding:3px"><table class="nowraplinks hlist mw-collapsible autocollapse navbox-inner" style="border-spacing:0;background:transparent;color:inherit"><tbody><tr><th scope="col" class="navbox-title" colspan="2"><div id="Authority_control_databases_frameless&#124;text-top&#124;10px&#124;alt=Edit_this_at_Wikidata&#124;link=https&#58;//www.wikidata.org/wiki/Q92741#identifiers&#124;class=noprint&#124;Edit_this_at_Wikidata" style="font-size:114%;margin:0 4em"><a href="/wiki/Help:Authority_control" title="Help:Authority control">Authority control databases</a> <span class="mw-valign-text-top noprint" typeof="mw:File/Frameless"><a href="https://www.wikidata.org/wiki/Q92741#identifiers" title="Edit this at Wikidata"><img alt="Edit this at Wikidata" src="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/10px-OOjs_UI_icon_edit-ltr-progressive.svg.png" decoding="async" width="10" height="10" class="mw-file-element" srcset="//upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/15px-OOjs_UI_icon_edit-ltr-progressive.svg.png 1.5x, //upload.wikimedia.org/wikipedia/en/thumb/8/8a/OOjs_UI_icon_edit-ltr-progressive.svg/20px-OOjs_UI_icon_edit-ltr-progressive.svg.png 2x" data-file-width="20" data-file-height="20" /></a></span></div></th></tr><tr><th scope="row" class="navbox-group" style="width:1%">International</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://isni.org/isni/0000000110038502">ISNI</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/109830754">VIAF</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="http://id.worldcat.org/fast/1458233/">FAST</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.oclc.org/worldcat/entity/E39PBJp9w8QBH9vKtM4BxyYMfq">WorldCat</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">National</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/119430223">Germany</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n83152979">United States</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://catalogue.bnf.fr/ark:/12148/cb14575590d">France</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://data.bnf.fr/ark:/12148/cb14575590d">BnF data</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://opac.sbn.it/nome/SBLV113390">Italy</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://nla.gov.au/anbd.aut-an50043018">Australia</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=mzk2006354081&CON_LNG=ENG">Czech Republic</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="http://data.bibliotheken.nl/id/thes/p067508219">Netherlands</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://authority.bibsys.no/authority/rest/authorities/html/90724263">Norway</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="http://katalog.nsk.hr/F/?func=direct&doc_number=000280583&local_base=nsk10">Croatia</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://libris.kb.se/53hlqvqp4c3jtfx">Sweden</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://dbn.bn.org.pl/descriptor-details/9810530293405606">Poland</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="http://olduli.nli.org.il/F/?func=find-b&local_base=NLX10&find_code=UID&request=987007578709005171">Israel</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Academics</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://ci.nii.ac.jp/author/DA02597673?l=en">CiNii</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=8011">Mathematics Genealogy Project</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://dl.acm.org/profile/81309513577">Association for Computing Machinery</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://zbmath.org/authors/?q=ai:church.alonzo">zbMATH</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://dblp.org/pid/96/6427">DBLP</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://mathscinet.ams.org/mathscinet/MRAuthorID/49240">MathSciNet</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">People</th><td class="navbox-list-with-group navbox-list navbox-even" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://trove.nla.gov.au/people/1522538">Trove</a></span></li></ul></div></td></tr><tr><th scope="row" class="navbox-group" style="width:1%">Other</th><td class="navbox-list-with-group navbox-list navbox-odd" style="width:100%;padding:0"><div style="padding:0 0.25em"><ul><li><span class="uid"><a rel="nofollow" class="external text" href="https://www.idref.fr/060369604">IdRef</a></span></li><li><span class="uid"><a rel="nofollow" class="external text" href="https://snaccooperative.org/ark:/99166/w6320nsm">SNAC</a></span></li></ul></div></td></tr></tbody></table></div>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Retrieved from "<a dir="ltr" href="https://en.wikipedia.org/w/index.php?title=Alonzo_Church&oldid=1255487271">https://en.wikipedia.org/w/index.php?title=Alonzo_Church&oldid=1255487271</a>"</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Help:Category" title="Help:Category">Categories</a>: <ul><li><a href="/wiki/Category:1903_births" title="Category:1903 births">1903 births</a></li><li><a href="/wiki/Category:1995_deaths" title="Category:1995 deaths">1995 deaths</a></li><li><a href="/wiki/Category:20th-century_American_mathematicians" title="Category:20th-century American mathematicians">20th-century American mathematicians</a></li><li><a href="/wiki/Category:American_logicians" title="Category:American logicians">American logicians</a></li><li><a href="/wiki/Category:American_Presbyterians" title="Category:American Presbyterians">American Presbyterians</a></li><li><a href="/wiki/Category:Computability_theorists" title="Category:Computability theorists">Computability theorists</a></li><li><a href="/wiki/Category:Princeton_University_alumni" title="Category:Princeton University alumni">Princeton University alumni</a></li><li><a href="/wiki/Category:Harvard_University_alumni" title="Category:Harvard University alumni">Harvard University alumni</a></li><li><a href="/wiki/Category:Princeton_University_faculty" title="Category:Princeton University faculty">Princeton University faculty</a></li><li><a href="/wiki/Category:University_of_California,_Los_Angeles_faculty" title="Category:University of California, Los Angeles faculty">University of California, Los Angeles faculty</a></li><li><a href="/wiki/Category:Burials_at_Princeton_Cemetery" title="Category:Burials at Princeton Cemetery">Burials at Princeton Cemetery</a></li><li><a href="/wiki/Category:Philosophers_from_Washington,_D.C." title="Category:Philosophers from Washington, D.C.">Philosophers from Washington, D.C.</a></li><li><a href="/wiki/Category:Philosophers_from_California" title="Category:Philosophers from California">Philosophers from California</a></li><li><a href="/wiki/Category:Philosophers_from_New_Jersey" title="Category:Philosophers from New Jersey">Philosophers from New Jersey</a></li><li><a href="/wiki/Category:Mathematicians_from_Washington,_D.C." title="Category:Mathematicians from Washington, D.C.">Mathematicians from Washington, D.C.</a></li><li><a href="/wiki/Category:20th-century_American_philosophers" title="Category:20th-century American philosophers">20th-century American philosophers</a></li><li><a href="/wiki/Category:Corresponding_fellows_of_the_British_Academy" title="Category:Corresponding fellows of the British Academy">Corresponding fellows of the British Academy</a></li></ul></div><div id="mw-hidden-catlinks" class="mw-hidden-catlinks mw-hidden-cats-hidden">Hidden categories: <ul><li><a href="/wiki/Category:CS1_maint:_unfit_URL" title="Category:CS1 maint: unfit URL">CS1 maint: unfit URL</a></li><li><a href="/wiki/Category:CS1_maint:_numeric_names:_authors_list" title="Category:CS1 maint: numeric names: authors list">CS1 maint: numeric names: authors list</a></li><li><a href="/wiki/Category:Articles_with_short_description" title="Category:Articles with short description">Articles with short description</a></li><li><a href="/wiki/Category:Short_description_is_different_from_Wikidata" title="Category:Short description is different from Wikidata">Short description is different from Wikidata</a></li><li><a href="/wiki/Category:Articles_with_hCards" title="Category:Articles with hCards">Articles with hCards</a></li><li><a href="/wiki/Category:Articles_to_be_expanded_from_January_2023" title="Category:Articles to be expanded from January 2023">Articles to be expanded from January 2023</a></li><li><a href="/wiki/Category:All_articles_to_be_expanded" title="Category:All articles to be expanded">All articles to be expanded</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> This page was last edited on 5 November 2024, at 05:17<span class="anonymous-show"> (UTC)</span>.</li> <li id="footer-info-copyright">Text is available under the <a href="/wiki/Wikipedia:Text_of_the_Creative_Commons_Attribution-ShareAlike_4.0_International_License" title="Wikipedia:Text of the Creative Commons Attribution-ShareAlike 4.0 International License">Creative Commons Attribution-ShareAlike 4.0 License</a>; additional terms may apply. By using this site, you agree to the <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use" class="extiw" title="foundation:Special:MyLanguage/Policy:Terms of Use">Terms of Use</a> and <a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy" class="extiw" title="foundation:Special:MyLanguage/Policy:Privacy policy">Privacy Policy</a>. Wikipedia® is a registered trademark of the <a rel="nofollow" class="external text" href="https://wikimediafoundation.org/">Wikimedia Foundation, Inc.</a>, a non-profit organization.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privacy policy</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:About">About Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:General_disclaimer">Disclaimers</a></li> <li id="footer-places-contact"><a href="//en.wikipedia.org/wiki/Wikipedia:Contact_us">Contact Wikipedia</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code of Conduct</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Developers</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/en.wikipedia.org">Statistics</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Cookie statement</a></li> <li id="footer-places-mobileview"><a href="//en.m.wikipedia.org/w/index.php?title=Alonzo_Church&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobile view</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-688fc9465-zfglf","wgBackendResponseTime":169,"wgPageParseReport":{"limitreport":{"cputime":"0.705","walltime":"0.938","ppvisitednodes":{"value":4964,"limit":1000000},"postexpandincludesize":{"value":106426,"limit":2097152},"templateargumentsize":{"value":7174,"limit":2097152},"expansiondepth":{"value":14,"limit":100},"expensivefunctioncount":{"value":6,"limit":500},"unstrip-depth":{"value":1,"limit":20},"unstrip-size":{"value":146244,"limit":5000000},"entityaccesscount":{"value":1,"limit":400},"timingprofile":["100.00% 856.429 1 -total"," 29.21% 250.158 1 Template:Reflist"," 20.09% 172.025 1 Template:Infobox_scientist"," 13.08% 111.982 1 Template:Alonzo_Church"," 10.64% 91.125 1 Template:Navbox"," 10.09% 86.387 7 Template:Cite_book"," 8.98% 76.922 1 Template:Short_description"," 6.53% 55.901 17 Template:Cite_web"," 5.96% 51.071 1 Template:Birth_date"," 5.68% 48.610 1 Template:Expand_section"]},"scribunto":{"limitreport-timeusage":{"value":"0.489","limit":"10.000"},"limitreport-memusage":{"value":9301880,"limit":52428800},"limitreport-logs":"anchor_id_list = table#1 {\n [\"CITEREFAnderson1998\"] = 1,\n [\"CITEREFArmstrong_*14\"] = 1,\n [\"CITEREFBowen2019\"] = 1,\n [\"CITEREFBundy1902\"] = 1,\n [\"CITEREFBurgeEnderton2019\"] = 1,\n [\"CITEREFChurch1924\"] = 1,\n [\"CITEREFChurch1936\"] = 1,\n [\"CITEREFChurch1940\"] = 1,\n [\"CITEREFChurch1950\"] = 1,\n [\"CITEREFChurch1962\"] = 1,\n [\"CITEREFChurch1996\"] = 1,\n [\"CITEREFCooper2012\"] = 1,\n [\"CITEREFCoulter1928\"] = 1,\n [\"CITEREFDeutschMarshall2022\"] = 1,\n [\"CITEREFFrink_Jr.,_Orrin1944\"] = 1,\n [\"CITEREFHenkin,_Leon1957\"] = 1,\n [\"CITEREFLúcioRahmanChengMavin2017\"] = 1,\n [\"CITEREFNicholas_Wade1995\"] = 1,\n}\ntemplate_list = table#1 {\n [\"About\"] = 1,\n [\"Alonzo Church\"] = 1,\n [\"Authority control\"] = 1,\n [\"Birth date\"] = 1,\n [\"Blockquote\"] = 1,\n [\"Citation\"] = 1,\n [\"Cite book\"] = 7,\n [\"Cite journal\"] = 8,\n [\"Cite news\"] = 1,\n [\"Cite web\"] = 17,\n [\"DEFAULTSORT:Church, Alonzo\"] = 1,\n [\"Death date and age\"] = 1,\n [\"Expand section\"] = 1,\n [\"Find a Grave\"] = 1,\n [\"Harv\"] = 1,\n [\"ISBN\"] = 1,\n [\"Infobox scientist\"] = 1,\n [\"Isbn\"] = 3,\n [\"MacTutor Biography\"] = 1,\n [\"Portal\"] = 1,\n [\"Reflist\"] = 1,\n [\"Short description\"] = 1,\n}\narticle_whitelist = table#1 {\n}\n"},"cachereport":{"origin":"mw-web.codfw.main-6b7f745dd4-2qqf8","timestamp":"20241125133845","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Alonzo Church","url":"https:\/\/en.wikipedia.org\/wiki\/Alonzo_Church","sameAs":"http:\/\/www.wikidata.org\/entity\/Q92741","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q92741","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2002-04-19T20:23:00Z","dateModified":"2024-11-05T05:17:15Z","image":"https:\/\/upload.wikimedia.org\/wikipedia\/en\/a\/a6\/Alonzo_Church.jpg","headline":"American mathematician and logician (1903\u20131995)"}</script> </body> </html>