| Previous | (Chronologically) | Next | Biographies Index |
| Previous | (Alphabetically) | Next | Main
index |
Alonso Church was a student at Princeton receiving his
first degree in 1924, then his doctorate three years later. His doctoral work
was supervised by Veblen,
and he was awarded his doctorate for his dissertation entitled Alternatives
to Zermelo's
Assumption.
Church spent a year at Harvard University then half a
year at Göttingen and half a year at Amsterdam where he worked with Brouwer.
He returned to the USA becoming professor of mathematics at Princeton in 1929, a
post he held until 1967 when he became professor of mathematics and philosophy
at California.
His work is of major importance in mathematical logic,
recursion theory and in theoretical computer science. He created the 
-calculus in the 1930s which today
is an invaluable tool for computer scientists.
He is best remembered for Church's Theorem (1936), which says that there is no decision procedure for the full predicate calculus. It appears in An unsolvable problem in elementary number theory published in the American Journal of Mathematics 58 (1936), 345-363. His work extended that of Gödel.
Church founded the Journal of Symbolic Logic in 1936 and remained an editor until 1979. He wrote the book Introduction to Mathematical Logic in 1956.
He had 31 doctoral students including Turing, Kleene, Kemeny and Smullyan.
Texto original por: J J O'Connor and E F Robertson
Click on this link to see a list of the Glossary entries for this page
| List of References (6 books/articles)
| |
| Mathematicians born in the same country
| |
| Other references in MacTutor | Chronology: 1930 to 1940 |
| Other Web sites |
|
| JOC/EFR December 1996 | School of
Mathematics and Statistics University of St Andrews, Scotland | 
|
| The URL of this page
is: http://www-history.mcs.st-andrews.ac.uk/history/Mathematicians/Church.htm | ||