Alonzo Church (June 14, 1903 – August 11, 1995) was an American computer scientist, mathematician, 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...

in every structure. Such an algorithm was proven to be impossible by Alonzo Church and Alan Turing in 1936. By the completeness theorem of first-order...

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...

"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...

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...

player Alonzo Babers (b. 1961), American sprinter Alonzo L. Best (1854–1923), American politician Alonzo Bodden, American comedian Alonzo Church (1903–1995)...

introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. In 1936, Church found a formulation which...

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...

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...

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...

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

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...

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...

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

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...

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

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

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...

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

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

that year". Between the springs of 1935 and 1936, at the same time as Alonzo Church, Turing worked on the decidability of problems, starting from Gödel's...

1956 Alonzo Church wrote: "Like any branch of mathematics, theoretical syntax may, and ultimately must, be studied by the axiomatic method". Church was...

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

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...

logic", Report No. 15 (2009/2010) of the Mittag-Leffler Institute. Alonzo Church, A formulation of the simple theory of types, The Journal of Symbolic...

Alonzo Church Croom (December 1, 1845 – February 7, 1912) was an American politician who served as Comptroller of Florida from 1901 until 1912. His father...

Unsolvability, was supervised by American mathematician and computer scientist Alonzo Church. During a research instructorship at the University of Illinois at Urbana-Champaign...

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

the Summer Institute of Symbolic Logic at Cornell University in 1957, Alonzo Church defined the problem to synthesize a circuit from mathematical requirements...