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 University in 1924, completing his Ph.D. there in 1927, under Oswald Veblen. After a postdoc at Göttingen, he taught at Princeton, 1929–1967, and at the University of California, Los Angeles, 1967–1990.

Mathematical work

---

Church is best known for the following accomplishments:

• His proof that Peano arithmetic and first-order logic are undecidable. The latter result is known as Church's theorem.
• His articulation of what has come to be known as Church's thesis.
• He was the founding editor of the Journal of Symbolic Logic, editing its reviews section until 1979.
• His creation of the lambda calculus.

The lambda calculus emerged in his famous 1936 paper showing the existence of an "undecidable problem". This result preempted Alan Turing's famous work on the halting problem which also demonstrated the existence of a problem unsolvable by mechanical means. He and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting problem were equivalent in capabilities, and subsequently demonstrated a variety of alternative "mechanical processes for computation." This resulted in the Church-Turing thesis.

More on [ Alonzo Church ]

Wiley: All New Mathematics & Statistics Titles

Differential Equations with Maple, 3rd Edition
Brian R. Hunt, Ronald L. Lipsman, John E. Osborn, Jonathan M. Rosenberg Mon, 29 Sep 2008 04:00:00 -0000
Read More...
Computational Intelligence and Feature Selection: Rough and Fuzzy Approaches
Richard Jensen, Qiang Shen Mon, 29 Sep 2008 04:00:00 -0000
  Computational Intelligence and Feature Selection provides a high level audience with both the background and fundamental ideas behind feature selection with an emphasis on those techniques based on rough and fuzzy sets, including their hybridizations. It introduces set theory, fuzzy set theory, rough set theory, and fuzzy-rough set theory, and illustrates the power and efficacy of the feature selection described through the use of real-world applications Read More...
Statistical Methods in e-Commerce Research
Wolfgang Jank, Galit Shmueli Mon, 29 Sep 2008 04:00:00 -0000
  This groundbreaking book introduces the application of statistical methodologies to e-Commerce data With the expanding presence of technology in today's economic market, the use of the Internet for buying, selling, and investing is growing more popular and public in nature. Statistical Methods in e-Commerce Research is the first book of its kind to focus on the statistical models and methods that are essential in order to analyze information from Read More...
Fundamentals of Quality Control and Improvement, Student Solutions Manual, 3rd Edition
Amit Mitra Mon, 22 Sep 2008 04:00:00 -0000
  Incorporating modern ideas, methods, and philosophies of quality management, Fundamentals of Quality Control and Improvement, Third Edition presents a quantitative approach to management-oriented techniques and enforces the integration of statistical concepts into quality assurance methods. Utilizing a sound theoretical foundation and illustrating procedural techniques through real-world examples, Read More...
Handbook of Mathematical Relations in Particulate Materials Processing
Randall M. German Tue, 16 Sep 2008 04:00:00 -0000
  Handbook of Mathematical Relations in Particulate Materials Processing goes beyond the traditional barriers of only one material class by covering the major areas in ceramics, cemented carbides, powder metallurgy, and particulate materials. Suited for quick reference with stand alone definitions. It is the perfect complement to existing textbooks since it will simply cut to the key relations. Read More...
Multivariate Methods in Chromatography: A Practical Guide
Tibor Cserhati Tue, 09 Sep 2008 04:00:00 -0000
A comprehensive, compilation and evaluation of the newest results in the field of enumerate evaluation of chromatographic data Aimed at the practicing professional, researchers and advanced students working in this area Special emphasis on practical applications While the principles of chromatography and multivariate mathematical-statistical methods are discussed separately, the book focuses on their interconnection. Read More...

Subscribe to Math RSS feed