The inconsistency of certain formal logics

DOI10.2307/1968646zbMath0012.14602OpenAlexW2319210160WikidataQ55878657 ScholiaQ55878657MaRDI QIDQ2644945

Stephen C. Kleene

Publication date: 1935

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

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

zbMATH Keywords

Foundations, philosophy, logic

Related Items (21)

Recursive Predicates and Quantifiers ⋮ Systems of illative combinatory logic complete for first-order propositional and predicate calculus ⋮ Mengentheoretische Begründung der Logik ⋮ Arithmetic based on the Church numerals in illative combinatory logic ⋮ The Mathematical Work of S.C.Kleene ⋮ Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I ⋮ Step by Recursive Step: Church's Analysis of Effective Calculability ⋮ The Impact of the Lambda Calculus in Logic and Computer Science ⋮ Sixty years after Gödel ⋮ HYPERCOMPUTATION: FANTASY OR REALITY? A POSITION PAPER ⋮ Gödel's reception of Turing's model of computability: the shift of perception in 1934 ⋮ An Introduction to the Lambda Calculus ⋮ On the consistency of Quine's New foundations for mathematical logic ⋮ Why Sets? ⋮ Russell's 1903 - 1905 Anticipation of the Lambda Calculus ⋮ Unnamed Item ⋮ Some consistency proofs and a characterization of inconsistency proofs in illative combinatory logic ⋮ What the Liar taught Achilles ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS ⋮ Mengentheoretische Begründung der Logik.

This page was built for publication: The inconsistency of certain formal logics