Church From the beginning of the twentieth century questions concerning the decidability of logical and mathematical theories have held a special interest for logicians, mathematicians, and philosophers. A number of important concepts and far-reaching...

Church, Alonzo(1903–1995) Alonzo Church, an American logician and philosopher, was born in Washington, D.C. He received his PhD from Princeton in 1927, having written his dissertation under Oswald Veblen on alternatives to the axiom of choice....

1903-1995 American Mathematician Like his more famous pupil Alan Turing (1912-1954), Alonzo Church contributed significantly to the foundations of computer science. He is credited, along with Turing, with formulating a key principle concerning computer...

(born June 14, 1903, Washington, D.C., U.S.—died Aug. 11, 1995, Hudson, Ohio) U.S. mathematician. He earned a Ph.D. from Princeton University. His contributions to number theory and the theories of algorithms and computability laid the...

Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who was responsible for some of the foundations of theoretical computer science. Born in Washington, DC, he received a bachelor's degree from Princeton...