https://wiki.alt-text.eu/index.php?action=history&feed=atom&title=Alonzo_ChurchAlonzo Church - Revision history2026-09-15T06:10:39ZRevision history for this page on the wikiMediaWiki 1.45.3https://wiki.alt-text.eu/index.php?title=Alonzo_Church&diff=138&oldid=previmported>ALT-TEXT: Import: 52 additional AI people glossary entries2026-09-07T20:10:00Z<p>Import: 52 additional AI people glossary entries</p>
<p><b>New page</b></p><div>== Alonzo Church ==<br />
An American logician who created the lambda calculus in the 1930s, a minimal formal system in which everything is a function, and who proved in 1936, independently of and shortly before Turing, that the ''Entscheidungsproblem'' has no general solution. The Church–Turing thesis, which holds that anything effectively calculable is computable by these equivalent means, is named for the two of them; Turing was his doctoral student at Princeton. The lambda calculus became the theoretical basis of functional programming and shaped the design of Lisp, the language of symbolic AI. (See also: [[Alan Turing]], [[John McCarthy]], [[Symbolic AI]])<br />
<br />
[[Category:People]]<br />
[[Category:Artificial Intelligence]]<br />
[[Category:AI Precursors]]<br />
</div>imported>ALT-TEXT