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

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

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

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

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

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