Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
From MaRDI portal
Publication:4477873
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)- The concept of truth in a finite universe
- Rejoinder
- On the justification of deduction and induction
- Physics of selective systems: Computation and biology
- SEMANTICS OF COMPLEX STRUCTURAL SYSTEMS—PRESENTATION AND REPRESENTATION: A SYNCHRONIC VISION OF LANGUAGEL(MT)
- The diagnostic process as a statistical-causal analysis
- On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
- scientific article; zbMATH DE number 2123258 (Why is no real title available?)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006
- Theories of orders on the set of words
- Nonlinear phenomena in spaces of algorithms
- Alethic reference
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
- REREADING TARSKI ON LOGICAL CONSEQUENCE
- Quelques classes de problèmes extrémaux. II
- Mass problems associated with effectively closed sets
- HIERARCHIES OF GENERALIZED KOLMOGOROV COMPLEXITIES AND NONENUMERABLE UNIVERSAL MEASURES COMPUTABLE IN THE LIMIT
- Discussion on the foundation of mathematics
- Die Antinomien und die Unvollständigkeit der Mathematik
- Constructive chaos by cellular automata and possible sources of an arrow of time
- Formalism and intuition in computability
- Tarski on logical consequences
- How truthlike can a predicate be? A negative result
- The Connes embedding problem: a guided tour
- Curiosities of arithmetic gases
- Gödel incompleteness and the Black hole information paradox
- MECHANISM, INTERROGATION AND INCOMPLETENESS
- What's in a function?
- Hilbert’s Axiomatisches Denken
- Characteristic length in a linear acceleration
- Uncertainty, predictability and decidability in chaotic dynamical systems
- Key notions of Tarski's methodology of deductive systems
- On the Concept of Following Logically
- 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
- Irreversibility in thermodynamics
- Feferman and the Truth
- A classification of mathematical concepts
- Representing the knowledge of Turing machines
- scientific article; zbMATH DE number 1184435 (Why is no real title available?)
- Undecidable classical properties of observers
- On Constructive Nilpotent Groups
- Terminal model of Newtonian dynamics
- On formally undecidable propositions of \textit{Principia Mathematica} and related systems. I. With an introductory comment by Sy-David Friedman
- Measurement-based quantum computation and undecidable logic
- Aspekte der frege–hilbert-korrespondenz
- Computability of String Functions Over Algebraic Structures Armin Hemmerling
- Postinstability models in dynamics
- A CALCULUS FOR SELF-REFERENCE
- Computationalism
- Cut as consequence
- Truth, reflection and hierarchies
- Prädikatenlogik mit partiell definierten Funktionen
- The metamathematics of ergodic theory
- The origins of combinatorics on words
- Visions of Henkin
- Intuitionist type theory and foundations
- Some undecidable determined games
- Mereology and uncertainty
- The final cut
- Extensions of the Finitist Point of View
- The mathematical universe
- Computability of entropy and information in classical Hamiltonian systems
- Uniform self-reference
- Collimation processes in quantum mechanics interpreted in quantum real numbers
- Operating system verification---an overview
- Arbitrary sequence RAMs
- Undecidability and incompleteness in classical mechanics
- Two (or three) notions of finitism
- Four studies in metamathematics
- Heterologicality and imcompleteness
- Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthalten.
- Accelerating machines: a review
- Turing‐computability and artificial intelligence: Gödel’s incompleteness results
- Mathematical and technological computability
- Die Antinomien und die Unvollständigkeit der Mathematik.
- Who's afraid of mathematical Platonism? -- An historical perspective
- A Combinatorial Approach to Complexity Theory via Ordinal Hierarchies
- Inductive learning and defeasible inference
- Remarks on the development of computability
- On the Performance of Axiom Systems
- Etchemendy and Bolzano on logical consequence
- Axiom of Choice, Maximal Independent Sets, Argumentation and Dialogue Games
- Lorenzen Between Gentzen and Schütte
- Towards a scalable proof engine: a performant Prototype rewriting primitive for Coq
- Unpredictability and entanglement in open quantum systems
- Über den Begriff der \(\omega\)-Vollständigkeit
- Hilbert's Tenth Problem in Coq
- Measurement of a quantum ensemble by a classical apparatus
- Remarques sur la notion de la perfection
- Sur les formes normales
- GE and semantics
- Life on the Ship of Neurath: Mathematics in the Philosophy of Mathematics
- A metasemantic challenge for mathematical determinacy
- When is scalar multiplication decidable?
- Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I
- Scanning the structure of ill‐known spaces: Part 1. Founding principles about mathematical constitution of space
- Irrelevance and relevance of Gödel’s theorems to artificial intelligence
- The boundedness and zero isolation problems for weighted automata over nonnegative rationals
- The complexity of identifying characteristic formulae
- Predicatively unprovable termination of the Ackermannian Goodstein process
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)
