Summary Of: Alonzo Church

Encyclodia Page On: Alonzo Church

These Are Links To Other Documents

Alonzo S. Church | | talk page | | Washington, D.C. | Hudson, Ohio | United States | Mathematics | Logic | Princeton University | University of California, Los Angeles | Alma mater | Princeton University | Doctoral advisor | Oswald Veblen | C. Anthony Anderson | Peter Andrews | George Alfred Barnard | Martin Davis | Leon Henkin | David Kaplan | John George Kemeny | Stephen Kleene | Michael O. Rabin | Hartley Rogers, Jr | J. Barkley Rosser | Nathan Salmon | Dana Scott | Raymond Smullyan | Alan Turing | Lambda calculus | Church–Turing thesis | Frege–Church ontology | Church–Rosser theorem | American | mathematician | logician | computer science | lambda calculus | Church–Turing thesis | Frege–Church ontology | Church–Rosser theorem | Washington, D.C. | Ridgefield, Connecticut | Princeton University | Lorentz transformation | Ph.D. | Oswald Veblen | University of Chicago | National Research Fellowship | Harvard University | University of Göttingen | University of Amsterdam | University of California, Los Angeles | State University of New York at Buffalo | John Corcoran | Case Western Reserve University | Princeton University | Princeton Cemetery | Peano arithmetic | first-order logic | undecidable | Church's theorem | Church–Turing thesis | Journal of Symbolic Logic | lambda calculus | undecidable problem | Alan Turing | halting problem | Turing machine | LISP programming language | functional programming | Church encoding | C. Anthony Anderson | Peter B. Andrews | George A. Barnard | Martin Davis | Leon Henkin | John G. Kemeny | Stephen C. Kleene | Isaac Malitz | Michael O. Rabin | Nicholas Rescher | Hartley Rogers, Jr. | J. Barkley Rosser | Dana Scott | Raymond Smullyan | Alan Turing | Mathematics Genealogy Project | ISBN 978-0-691-02906-1 | ISBN 978-0-691-08394-0 | ISBN 978-0-8218-0084-3 | ISBN 978-1-4020-0141-3 | Church–Turing–Deutsch principle | Higher-order logic | Universal set | Logic portal | O'Connor, John J. | Robertson, Edmund F. | MacTutor History of Mathematics archive | University of St Andrews | Mathematics Genealogy Project | v | d | Logic | Argumentation theory | Axiology | Critical thinking | Computability theory | Formal semantics | History of logic | Informal logic | Logic in computer science | Mathematical logic | Mathematics | Metalogic | Metamathematics | Model theory | Philosophical logic | Philosophy | Philosophy of logic | Philosophy of mathematics | Proof theory | Set theory | Abduction | Analytic truth | Antinomy | A priori | Deduction | Definition | Description | Entailment | Induction | Inference | Logical consequence | Logical form | Logical implication | Logical truth | Name | Necessity | Meaning | Paradox | Possible world | Presupposition | Probability | Reason | Reasoning | Reference | Semantics | Statement | Syntax | Truth | Truth value | Validity | Philosophical logic | Critical thinking | Informal logic | Analysis | Ambiguity | Belief | Credibility | Evidence | Explanation | Explanatory power | Fact | Fallacy | Inquiry | Opinion | Parsimony | Premise | Propaganda | Prudence | Reasoning | Relevance | Rhetoric | Rigor | Vagueness | Theories of deduction | Constructivism | Dialetheism | Fictionalism | Finitism | Formalism | Intuitionism | Logical atomism | Logicism | Nominalism | Platonic realism | Pragmatism | Realism | Metalogic | Metamathematics | Cantor's theorem | Church's theorem | Church's thesis | Consistency | Effective method | Foundations of mathematics | Gödel's completeness theorem | Gödel's first incompleteness theorem | Gödel's second incompleteness theorem | Soundness | Completeness | Decidability | Interpretation | Löwenheim-Skolem theorem | Metatheorem | Satisfiability | Independence | Type-token distinction | Use–mention distinction | Mathematical logic | Formal language | Formation rule | Formal system | Deductive system | Formal proof | Formal semantics | Well-formed formula | Set | Element | Class | Classical logic | Axiom | Natural deduction | Rule of inference | Relation | Theorem | Logical consequence | Axiomatic system | Type theory | Symbol | Syntax | Theory | Traditional logic | Proposition | Inference | Argument | Validity | Cogency | Syllogism | Square of opposition | Venn diagram | Propositional logic | Boolean logic | Boolean functions | Propositional calculus | Propositional formula | Logical connectives | Quantifiers | Truth tables | Predicate | First-order | Quantifiers | Predicate | Second-order | Monadic predicate calculus | Set theory | Set | Empty set | Enumeration | Extensionality | Finite set | Function | Subset | Power set | Countable set | Decidable set | Domain | Range | Ordered pair | Uncountable set | Model theory | Model | Interpretation | Logical validity | Non-standard model | Normal model | Semantic consequence | Truth value | Proof theory | Formal proof | Deductive system | Formal system | Formal theorem | Syntactic consequence | Syntax | Transformation rules | Computability theory | Recursion | Recursively enumerable set | Decision problem | Church–Turing thesis | Computable function | Primitive recursive function | Non-classical logic | Modal logic | Alethic | Axiologic | Deontic | Doxastic | Epistemic | Temporal | Intuitionism | Intuitionistic logic | Constructive analysis | Heyting arithmetic | Intuitionistic type theory | Constructive set theory | Fuzzy logic | Degree of truth | Fuzzy rule | Fuzzy set | Fuzzy finite element | Fuzzy set operations | Substructural logic | Structural rule | Relevance logic | Linear logic | Paraconsistent logic | Dialetheism | Logicians | Anderson | Aristotle | Averroes | Avicenna | Barwise | Bernays | Boole | Boolos | Cantor | Carnap | Chrysippus | Curry | De Morgan | Frege | Geach | Gentzen | Gödel | Hilbert | Kleene | Kripke | Leibniz | Löwenheim | Peano | Peirce | Putnam | Quine | Russell | Scotus | Skolem | Smullyan | Tarski | Turing | Whitehead | William of Ockham | Wittgenstein | Zermelo | Outline of logic | Index of logic articles | Mathematical logic | Boolean algebra | Set theory | Logicians | Rules of inference | Paradoxes | Fallacies | Logic symbols | Portal | Category | Outline | WikiProject | Talk | Persondata | Washington, DC | United States | Hudson, Ohio | United States | Categories | 1903 births | 1995 deaths | 20th-century mathematicians | American mathematicians | American logicians | Princeton University alumni | Harvard University alumni | Princeton University faculty | University of California, Los Angeles faculty | Burials at Princeton Cemetery | Articles to be expanded from March 2007 | All articles to be expanded |