The Scope of Gödel’s First Incompleteness Theorem

2014/11/28 by Bernd Buldt · 1 citation
Computer Science · #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge

paper · doi:10.1007/s11787-014-0107-3

crossref issued 2014/11/28 · crossref published 2014/11/28 · crossref published-online 2014/11/28 · openalex publication_date 2014/11/28 · crossref published-print 2014/12/01 · crossref created 2014/12/02 · crossref deposited 2024/06/05 · openalex created_date 2025/10/10 · crossref indexed 2026/06/09 · openalex updated_date 2026/07/29

Citations

• The logic of paradox
• Introduction to computability logic
• Fuzzy logic, neural networks, and soft computing
• On the independence of axioms in BL and MTL
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• Provability Logic
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• Systems of Logic Based on Ordinals †

Cited by

• Gödel's incompleteness theorems [wikipedia]