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

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

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

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

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

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