Alonzo Church - meaning and definition. What is Alonzo Church
Diclib.com
ChatGPT AI Dictionary
Enter a word or phrase in any language 👆
Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

What (who) is Alonzo Church - definition

AMERICAN MATHEMATICIAN (1903-1995)
Church, A; Church, A.; A. Church; Alonzo Church (Mathematician); Alonso Church

Alonzo Church         
<person> A twentieth century mathematician and logician, and one of the founders of computer science. Church invented the lambda-calculus and posited a version of the {Church-Turing thesis}. (1995-03-25)
Alonzo Sánchez         
SPANISH MISSIONARY
Sánchez, Alonzo; Alonzo Sanchez
Alonso Sánchez (1547 – 27 May 1593) was a Spanish Jesuit missionary, one of the first Jesuits in the Philippines.
Alonzo Morphy         
AMERICAN JUDGE (1798-1856)
Alonzo Michael Morphy; Morphy, Alonzo
Alonzo Michael Morphy (November 23, 1798 – November 22, 1856)The Chess Games of Alonzo Morphy. was a lawyer serving as Attorney General of Louisiana from 1828 to 1830, and a justice of the Louisiana Supreme Court from August 31, 1839 to March 19, 1846.

Wikipedia

Alonzo Church

Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, the Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, the Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language (see e.g. Church 1970). Alongside his doctoral student Alan Turing, Church is considered one of the founders of computer science.