The scope of Gödel's first incompleteness theorem

DOI10.1007/S11787-014-0107-3zbMATH Open1339.03004OpenAlexW2011972140WikidataQ55969988 ScholiaQ55969988MaRDI QIDQ2254575FDOQ2254575

Bernd Buldt

Publication date: 5 February 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-014-0107-3

zbMATH Keywords

first incompleteness theoremGödel

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Gödel numberings and issues of incompleteness (03F40)

Cites Work

• Fuzzy sets
• The logic of paradox
• On the scheme of induction for bounded arithmetic formulas
• Metamathematics of fuzzy logic
• Introduction to computability logic
• Undecidable theories
• Algorithmic Information Theory
• Reflecting on incompleteness
• A Theory of Program Size Formally Identical to Information Theory
• Extensions of some theorems of Gödel and Church
• Philosophy of mathematics
• The decision problem for exponential diophantine equations
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS
• Finite sets and Gödel's incompleteness theorems
• Minimally inconsistent LP
• Classical recursion theory. The theory of functions and sets of natural numbers
• A Note on Boolos' Proof of the Incompleteness Theorem
• How to Program an Infinite Abacus
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Definability and decision problems in arithmetic
• Self-reference and modal logic
• Harvey Friedman's research on the foundations of mathematics
• On interpreting Chaitin's incompleteness theorem
• Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
• Undecidability without arithmetization
• Transfinite recursive progressions of axiomatic theories
• Universal diophantine equation
• Accessible Independence Results for Peano Arithmetic
• Inconsistent models for relevant arithmetics
• Systems of Logic Based on Ordinals^†
• Inconsistent models of arithmetic. I: Finite models
• A note on Priest's finite inconsistent arithmetics
• Inconsistent models of arithmetic. II: The general case
• Growing commas. A study of sequentiality and concatenation
• On interpretability in the theory of concatenation
• Arithmetic on semigroups
• Variants of Robinson's essentially undecidable theoryR
• On the interpretability of arithmetic in temporal logic
• Is complexity a source of incompleteness?
• Incompleteness along paths in progressions of theories
• An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†
• What is Cantor's Continuum Problem?
• Non-standard models of Peano arithmetic
• Interlude: About the First Theorem
• String theory
• Categories in Context: Historical, Foundational, and Philosophical
• On the independence of axioms in BL and MTL
• On the incompleteness theorems
• Existentially closed structures and Gödel's second incompleteness theorem
• Undefinability of truth. the problem of priority:tarski vs gödel
• Other Proofs of Old Results
• An addition to Rosser's theorem
• The incompleteness theorems after 70 years
• What is the world of mathematics?
• The fuzzification of systems. The genesis of fuzzy set theory and its initial applications. Developments up to the 1970s. Transl. from the German
• Reflections on the Categorical Foundations of Mathematics
• Algorithmic information theory
• Iterated reflection principles and the ω-rule
• On LP-models of arithmetic
• Nonstandard models and Kripke's proof of the Gödel theorem
• Fifty years of self-reference in arithmetic
• A minimal predicative set theory
• A new proof of the fixed-point theorem of provability logic
• A generalization of the concept of ω-consistency
• Theories incomparable with respect to relative interpretability
• SELF-REFERENCE IN ARITHMETIC II
• Transfinite Progressions: A Second Look at Completeness
• Some rapidly growing functions
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• The varieties of arboreal experience
• Whither relevant arithmetic?
• Languages in which self reference is possible
• Foundational studies. Selected works. Vol. I, II
• Inconsistent number systems
• Three universal representations of recursively enumerable sets
• An Absolutely Independent Set of ΣO‐Sentences
• The classical and the ω-complete arithmetic
• A generalization of the incompleteness theorem
• "Flexible" Predicates of Formal Number Theory
• \(\supset\)E is admissible in ``true relevant arithmetic
• HILBERT'S PROGRAMME
• On ω-consistency and related properties
• Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
• Gödel incompleteness theorems and the limits of their applicability. I
• CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS
• On the interpretability of arithmetic in set theory
• The impact of Gödel's incompleteness theorems on mathematics
• My forty years on his shoulders
• Towards metamathematics of weak arithmetics over fuzzy logic
• Incompleteness in a General Setting
• Independent Gödel sentences and independent sets
• On the effective ω‐rule
• Avoiding Self-Referential Statements
• Gödel Theorems for Non-Constructive Logics
• Undecidable sentences generated by semantic paradoxes
• Injecting inconsistencies into models of PA
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Distilling the requirements of Gödel's incompleteness theorems with a proof assistant
• A formally verified abstract account of Gödel's incompleteness theorems
• CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS

This page was built for publication: The scope of Gödel's first incompleteness theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254575)