Is independence an exception?

DOI10.1016/0096-3003(94)90158-9zbMath0822.03024OpenAlexW2037240754WikidataQ57001776 ScholiaQ57001776MaRDI QIDQ1805264

Cristian S. Calude, Helmut Jürgensen, Marius Zimand

Publication date: 11 May 1995

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-3003(94)90158-9

zbMATH Keywords

densitytopologyrecursive enumerabilityarithmetical theoryunderivable sentence

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03) Computability and recursion theory (03D99)

Related Items

Invariance and Universality of Complexity, Some Transfinite Generalisations of Gödel’s Incompleteness Theorem, Equilibration of a dissipative quantum oscillator, Is complexity a source of incompleteness?, The solution of the \(n\)-body problem, Effective category and measure in abstract complexity theory, Effective category and measure in abstract complexity theory, Topology on words

Cites Work

• Undecidability and incompleteness in classical mechanics
• Information-theoretic incompleteness
• Theories of computational complexity
• Does Gödel's Theorem Matter to Mathematics?
• Relations on free monoids, their independent sets, and codes¹
• Effectivizing Inseparability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item