Another mathematically significant development in the research around the phenomenon of incompleteness on which we consider it important to focus attention, is that which has led to highlighting the link between this concept and that of randomness and information. Grigory Chaitin, starting in the 1970s, reformulated the incompleteness theorems within the framework of algorithmic theory of information, presenting his results as a “dramatic extension” of the phenomenon already highlighted by Gödel. He claims that high complexity is the alleged reason of the unprovability of infinitely many true sentences: a true statement that can be expressed in the language of a theory is unprovable because its information content is greater than that of the axioms of that theory itself; or in other words, in a formal system no number can be proved random unless its complexity is less than that of the formal system itself. At the heart of Chaitin’s work, therefore, is the concept of the complexity of an object and the measure of the difficulty of describing it. The mathematical concept of randomness is an attempt to give an idealized model of randomness, as the recursive functions do in the case of computability.
University of Siena, Italy - ORCID: 0000-0001-9441-7226
Chapter Title
Random sequences, incompleteness and information
Authors
Duccio Pianigiani
Language
English
DOI
10.36253/979-12-215-0778-2.13
Peer Reviewed
Publication Year
2025
Copyright Information
© 2025 Author(s)
Content License
Metadata License
Book Title
Lectures in Proof Theory and Complexity
Authors
Duccio Pianigiani
Peer Reviewed
Publication Year
2025
Copyright Information
© 2025 Author(s)
Content License
Metadata License
Publisher Name
Firenze University Press, USiena Press
DOI
10.36253/979-12-215-0778-2
eISBN (pdf)
979-12-215-0778-2
eISBN (xml)
979-12-215-0779-9
Series Title
UNIverSI. Ricerca e Didattica all’Università di Siena
Series ISSN
3035-5915
Series E-ISSN
3035-5931