A set of postulates for the foundation of logic

DOI10.2307/1968337zbMath0004.14507OpenAlexW2323803659WikidataQ55890017 ScholiaQ55890017MaRDI QIDQ1565537

Alonzo Church

Publication date: 1932

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1968337

zbMATH Keywords

philosophy of mathematics, exact natural sciences

Related Items

Propositional Calculus and Realizability, Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala, What is a categorical model of the differential and the resource λ-calculi?, Recursive Functions and Intuitionistic Number Theory, Hilbert’s Axiomatisches Denken, Systems of illative combinatory logic complete for first-order propositional and predicate calculus, The Lambda Calculus: Practice and Principle, C-system of a module over a \(Jf\)-relative monad, A Vindication of Program Verification, On a higher-order calculus of computational fields, Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I, A Higher-Order Calculus of Computational Fields, Dynamical Systems Theory and Algorithms for NP-hard Problems, Step by Recursive Step: Church's Analysis of Effective Calculability, Sixty years after Gödel, Canonical typing and ∏-conversion in the Barendregt Cube, Classical Call-by-Need and Duality, HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER, Compact numeral representation with combinators, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08, The Operational Penumbra: Some Ontological Aspects, Russell's 1903 - 1905 Anticipation of the Lambda Calculus, Unnamed Item, The lambda-gamma calculus: A language adequate for defining recursive functions, Unnamed Item, Arithmetical Predicates and Function Quantifiers, Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic, A homogeneous system for formal logic, Alonzo Church's Contributions to Philosophy and Intensional Logic, Encoding many-valued logic in $\lambda$-calculus, Computation and Indispensability, The theory of recursive functions, approaching its centennial, Recursive Functions and Intuitionistic Number Theory