Revisiting Chaitin's incompleteness theorem
type: Item
instance of: scholarly article
title: Revisiting Chaitin's incompleteness theorem
DOI: 10.1215/00294527-2021-0006
author: Christopher P. Porter
published in: Notre Dame Journal of Formal Logic
publication date: 2021-09-07T00:00:00Z
Mathematics Subject Classification ID: 03F40
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03D32
zbMATH DE Number: 7391969
zbMATH Keywords: algorithmic randomness
zbMATH Keywords: incompleteness theorems
zbMATH Keywords: Kolmogorov complexity
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1215/00294527-2021-0006
OpenAlex ID: W3172899346
cites work: The axiomatic power of Kolmogorov complexity
cites work: Is complexity a source of incompleteness?
cites work: Information-Theoretic Limitations of Formal Systems
cites work: Gödel's theorem and information
cites work: Q4259438
cites work: Meta math! The quest for omega
cites work: The Borel-Cantelli lemmas, probability laws and Kolmogorov complexity
cites work: Algorithmic Randomness and Complexity
cites work: Randomness Is Unpredictability
cites work: The Source of Chaitin's Incorrectness
cites work: Q5290924
cites work: Q5466245
cites work: Q3214803
cites work: Algorithms and Randomness
cites work: An introduction to Kolmogorov complexity and its applications
cites work: The definition of random sequences
cites work: Stationary algorithmic probability
cites work: Q3611832
cites work: ON ANALOGUES OF THE CHURCH–TURING THESIS IN ALGORITHMIC RANDOMNESS
cites work: The Equivalence of Definitions of Algorithmic Randomness†
cites work: On interpreting Chaitin's incompleteness theorem
cites work: On explicating the concept `the power of an arithmetical theory'
cites work: Turing Computability
cites work: Algorithmic information theory
Recommended article: On interpreting Chaitin's incompleteness theorem
Recommended article: Q4606020
Recommended article: On the incompleteness theorems
Recommended article: Q5700821
Recommended article: ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM
Recommended article: Remarks on the Incompleteness Proof
Recommended article: The Second Incompleteness Theorem: Reflections and Ruminations
Recommended article: The incompleteness theorems after 70 years
Recommended article: A reformulation of Chichilnisky's impossibility theorem
Recommended article: Q5855497
description: scientific article; zbMATH DE number 7391969