Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician, computer scientist, logician, and philosopher who made major contributions...

a Turing machine. The thesis is named after American mathematician Alonzo Church and the British mathematician Alan Turing. Before the precise definition...

S. comedian Alonzo Church (1903–1995), U.S. mathematician and computer scientist Alonzo Clemons, U.S. autistic savant clay sculptor Alonzo B. Coons (1841–1914)...

whether a given statement is provable using the rules of logic. In 1936, Alonzo Church and Alan Turing published independent papers showing that a general...

"universal" nature was introduced by Alonzo Church. Church's work intertwined with Turing's to form the basis for the Church–Turing thesis. This thesis states...

sequences of additional reductions. The theorem was proved in 1936 by Alonzo Church and J. Barkley Rosser, after whom it is named. The theorem is symbolized...

Alonzo Church (April 9, 1793 – May 18, 1862) was the sixth president of the University of Georgia (UGA). He served in that capacity from 1829 until his...

simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics...

January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others...

the natural numbers using lambda notation. The method is named for Alonzo Church, who first encoded data in the lambda calculus this way. Terms that...

programming languages themselves. The lambda calculus, developed by Alonzo Church and Stephen Cole Kleene in the 1930s, is considered by some to be the...

established, in cooperation with EATCS, EACSL and the Kurt Gödel Society, the Alonzo Church Award for Outstanding Contributions to Logic and Computation. The list...

after Alonzo Church's equivalent proof using his lambda calculus, Turing's approach is considerably more accessible and intuitive than Church's. It also...

theories that have been proposed as foundations are: Typed λ-calculus of Alonzo Church Intuitionistic type theory of Per Martin-Löf Most computerized proof-writing...

refers to the lambda calculus, a mathematical formalism invented by Alonzo Church, with which Lisp is intimately connected, and references the Knights...

Conference on Real Numbers and Computers, Odense University, pp. 91–109 Church, Alonzo (1936). "An Unsolvable Problem of Elementary Number Theory". The American...

calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical use of the untyped lambda...

University in 1959. He is one of many logicians to have studied with Alonzo Church. He was born on May 25, 1919, in Far Rockaway, Queens, New York, to...

for other data types. Anonymous functions originate in the work of Alonzo Church in his invention of the lambda calculus, in which all functions are...

Fraassen Pragmatism Susan Haack Nicholas Rescher Morton White Princeton Alonzo Church Jerry Fodor Kurt Gödel David Lewis Jaegwon Kim Saul Kripke Richard Rorty...

5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church–Rosser theorem in lambda calculus. He also developed...

Van Orman Quine's New Foundations. Alonzo Church and Arnold Oberschelp also published work on such set theories. Church speculated that his theory might...

denotation), name, or concept (sense). The ontology was developed by Alonzo Church based on ideas of Gottlob Frege to resolve some paradoxes. The ontology...

figures in the field include Bertrand Russell, Thoralf Skolem, Emil Post, Alonzo Church, Alan Turing, Stephen Kleene, Willard Quine, Paul Benacerraf, Hilary...

by enumerating states after each possible decision. In April 1936, Alonzo Church published his proof of the undecidability of a problem in the lambda...

L. Popa, and W.-C. Tan) 2017 Foreign Member, Academia Europaea 2020 Alonzo Church Award for Outstanding Contributions to Logic and Computation (Co-Winner)...

theory and computer science, particularly associated with the work of Alonzo Church and Alan Turing. The debate and discovery of the meaning of "computation"...

last_name end;; let alonzo = new person "Alonzo" "Church" in (*Hello there, I am Alonzo Church.*) print_endline alonzo#get_last_name (*Church*) In PHP version...

\not \equiv } , also denoting the negation of equivalence, was used by Alonzo Church in 1944. J {\displaystyle J} (as a prefix operator, J ϕ ψ {\displaystyle...

concepts defined by logicians and mathematicians such as Alonzo Church and Alan Turing. Church first showed the existence of algorithmically unsolvable...