Alonzo Church - definizione. Che cos'è Alonzo Church
Diclib.com
Dizionario ChatGPT
Inserisci una parola o una frase in qualsiasi lingua 👆
Lingua:

Traduzione e analisi delle parole tramite l'intelligenza artificiale ChatGPT

In questa pagina puoi ottenere un'analisi dettagliata di una parola o frase, prodotta utilizzando la migliore tecnologia di intelligenza artificiale fino ad oggi:

  • come viene usata la parola
  • frequenza di utilizzo
  • è usato più spesso nel discorso orale o scritto
  • opzioni di traduzione delle parole
  • esempi di utilizzo (varie frasi con traduzione)
  • etimologia

Cosa (chi) è Alonzo Church - definizione

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.