- Stanford Encyclopedia of Philosophy A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z The Church-Turing Thesis There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent ...plato.stanford.edu/entries/church-turing
- Biography of Alonzo Church (1903-1995) ...www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Church.html
- The Need for Abstract Entities Alonzo Church Published in the American Academy of Arts and Sciences Proceedings 80 (1951): pp. 100-113. We distinguish between a logistic system and a formalized language on the basis that the former is an abstractly formulated calculus for which no interpretation is fixed, and thus has a syntax and no semantics; but the latter is a logistic system together with ...www.ditext.com/church/nae.html
- The Bulletin of Symbolic Logic Volume 1, Issue 4, December 1995 Articles Inner models and large cardinals, by Ronald Jensen, pages 393 -- 407. Singular cardinals and the PCF theory, by Thomas Jech, pages 408 -- 424. The complexity of propositional proofs, by Alasdair Urquhart, pages 425 -- 467. Communications Recent advances in ordinal analysis: $\Pi^1-2$ -- CA and related systems, by Michael ...www.math.ucla.edu/~asl/bsl/0104-toc.htm