<history of philosophy, biography> american logician and mathematician (1903- ); author of Introduction to Mathematical Logic (1956). Building on the work of G–del, Church showed that there can be no systematic decision procedure for the theorems of sophisticated formal systems like arithmetic, since such systems characteristically involve non-recursive formulae for which there is no computable algorithm. Recommended Reading: Alonzo Church, A Bibliography of Symbolic Logic (1666-1935) (Association of Symbolic Logic, 1985).
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google