Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   Science:   Math:   Logic and Foundations:   History:   People:   Church, Alonzo

Sites:

Alonzo Church  - http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html  Biography from the MacTutor History of Mathematics archive.  Church-Turing Thesis  - http://plato.stanford.edu/entries/church-turing/  Article in the Stanford Encyclopedia.  The Need for Abstract Entities  - http://www.ditext.com/church/nae.html  Philosophical paper by Alonzo Church  The Bulletin of Symbolic Logic, December 1995  - http://www.math.ucla.edu/~asl/bsl/0104-toc.htm  Contains obituary by H. B. Enderton.