Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
From MaRDI portal
Publication:4477873
DOI10.1007/BF01700692zbMATH Open0002.00101WikidataQ54006652 ScholiaQ54006652MaRDI QIDQ4477873FDOQ4477873
Authors: Kurt Gödel 
Publication date: 1931
Published in: Monatshefte für Mathematik und Physik (Search for Journal in Brave)
Recommendations
- scientific article; zbMATH DE number 1184435
- Gödel incompleteness theorems and the limits of their applicability. I
- On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
- Truth and provability
- Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
Cited In (only showing first 100 items - show all)
- Measurement-based quantum computation and undecidable logic
- Extensions of the Finitist Point of View
- Uniform self-reference
- Theories of orders on the set of words
- Mass problems associated with effectively closed sets
- The Connes embedding problem: a guided tour
- Mereology and uncertainty
- Some undecidable determined games
- Formalism and intuition in computability
- Title not available (Why is that?)
- Prädikatenlogik mit partiell definierten Funktionen
- Computationalism
- Representing the knowledge of Turing machines
- Truth, reflection and hierarchies
- The concept of truth in a finite universe
- How truthlike can a predicate be? A negative result
- On Constructive Nilpotent Groups
- Rejoinder
- A CALCULUS FOR SELF-REFERENCE
- On the justification of deduction and induction
- REREADING TARSKI ON LOGICAL CONSEQUENCE
- Undecidable classical properties of observers
- On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
- The metamathematics of ergodic theory
- Discussion on the foundation of mathematics
- Gödel incompleteness and the Black hole information paradox
- Application of quantum Darwinism to cosmic inflation: an example of the limits imposed in Aristotelian logic by information-based approach to Gödel's incompleteness
- A classification of mathematical concepts
- Terminal model of Newtonian dynamics
- Intuitionist type theory and foundations
- Collimation processes in quantum mechanics interpreted in quantum real numbers
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
- Irreversibility in thermodynamics
- The origins of combinatorics on words
- Two (or three) notions of finitism
- Undecidability and incompleteness in classical mechanics
- Die Antinomien und die Unvollständigkeit der Mathematik
- Constructive chaos by cellular automata and possible sources of an arrow of time
- Curiosities of arithmetic gases
- Feferman and the Truth
- Aspekte der frege–hilbert-korrespondenz
- The final cut
- Postinstability models in dynamics
- Arbitrary sequence RAMs
- SEMANTICS OF COMPLEX STRUCTURAL SYSTEMS—PRESENTATION AND REPRESENTATION: A SYNCHRONIC VISION OF LANGUAGEL(MT)
- Title not available (Why is that?)
- Hilbert’s Axiomatisches Denken
- Uncertainty, predictability and decidability in chaotic dynamical systems
- Operating system verification---an overview
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
- Alethic reference
- Quelques classes de problèmes extrémaux. II
- On the Concept of Following Logically
- The mathematical universe
- Computability of entropy and information in classical Hamiltonian systems
- HIERARCHIES OF GENERALIZED KOLMOGOROV COMPLEXITIES AND NONENUMERABLE UNIVERSAL MEASURES COMPUTABLE IN THE LIMIT
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
- Key notions of Tarski's methodology of deductive systems
- Nonlinear phenomena in spaces of algorithms
- MECHANISM, INTERROGATION AND INCOMPLETENESS
- What's in a function?
- Characteristic length in a linear acceleration
- Four studies in metamathematics
- Cut as consequence
- Visions of Henkin
- Physics of selective systems: Computation and biology
- The diagnostic process as a statistical-causal analysis
- Tarski on logical consequences
- Computability of String Functions Over Algebraic Structures Armin Hemmerling
- Heterologicality and imcompleteness
- Unpredictability and entanglement in open quantum systems
- The complexity of identifying characteristic formulae
- Symbolic model checking of timed guarded commands using difference decision diagrams
- A story of Hilbert's tenth problem
- Title not available (Why is that?)
- Semantics ofL(MT): a language for ecological modelling
- Undecidable sentences generated by semantic paradoxes
- Accelerating machines: a review
- Irrelevance and relevance of Gödel’s theorems to artificial intelligence
- A manifesto for the computational method
- The Philosophical Impact of the Löwenheim-Skolem Theorem
- Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I
- Sequence encoding without induction
- Inductive learning and defeasible inference
- Über den Begriff der \(\omega\)-Vollständigkeit
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
- Book review of: J. von Plato, The great formal machinery works. Theories of deduction and computation at the origins of the digital age
- Relational quantum mechanics and intuitionistic mathematics
- Scanning the structure of ill‐known spaces: Part 1. Founding principles about mathematical constitution of space
- Remarks on the development of computability
- Lorenzen Between Gentzen and Schütte
- Some diophantine forms of gödel's theorem
- Title not available (Why is that?)
- When is scalar multiplication decidable?
- AUTOLOGY OF TIME*
- A Combinatorial Approach to Complexity Theory via Ordinal Hierarchies
- Things that can be made into themselves
- Towards a scalable proof engine: a performant Prototype rewriting primitive for Coq
- Remarques sur la notion de la perfection
- Sur les formes normales
This page was built for publication: Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4477873)
