<?xml version="1.0" encoding="utf-8" standalone="yes"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title type="main" level="a">Random sequences, incompleteness and information</title>
        <author>
          <persName n="1" ref="https://orcid.org/0000-0001-9441-7226" type="ORCID">
            <forename>Duccio</forename>
            <surname>Pianigiani</surname>
            <placeName type="affiliation">University of Siena, Italy</placeName>
          </persName>
        </author>
        <respStmt>
          <resp>This is a section of <title>Lectures in Proof Theory and Complexity</title>(DOI: <idno type="DOI">10.36253/979-12-215-0778-2</idno>) by </resp>
          <name>Duccio Pianigiani</name>
        </respStmt>
      </titleStmt>
      <publicationStmt>
        <publisher>Firenze University Press, USiena Press</publisher>
        <pubPlace>Florence</pubPlace>
        <date when="2025">2025</date>
        <idno type="DOI">https://doi.org/10.36253/979-12-215-0778-2.13</idno>
        <availability>
          <p>Available for academic research purposes</p>
          <p>Open Access</p>
          <p>Copyright Author(s)</p>
          <licence source="text" target="https://creativecommons.org/licenses/by-sa/4.0/legalcode">
            <p>Content licence CC BY-SA 4.0</p>
          </licence>
          <licence source="metadata" target="https://creativecommons.org/publicdomain/zero/1.0/legalcode">
            <p>Metadata licence CC0 1.0</p>
          </licence>
        </availability>
      </publicationStmt>
      <sourceDesc>
        <p>This is original content, published for academic research purposes</p>
      </sourceDesc>
    </fileDesc>
    <encodingDesc>
      <appInfo>
        <application version="2.2" ident="Booksflow">
          <desc>Digital edition XML powered by Booksflow</desc>
        </application>
      </appInfo>
    </encodingDesc>
    <profileDesc>
      <abstract xml:lang="en">
        <p>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.</p>
      </abstract>
      <textClass>
        <keywords>
          <list>
            <item>Kolmogorov-Solomonoff complexity</item>
            <item>Martin Loef test</item>
            <item>algorithmic randomness</item>
          </list>
        </keywords>
      </textClass>
    </profileDesc>
  </teiHeader>
  <text>
    <body>
      <p>It is available online at https://doi.org/10.36253/979-12-215-0778-2.13<ref target="https://doi.org/10.36253/979-12-215-0778-2.13" /></p>
      <div>
        <listBibl>
          <head>References</head>
          <bibl n="207488">
            <bibl>Bailly, Francis and Longo, Giuseppe. 2007. “Randomness and determinism in the interplay
between the continuum and the discrete” . Mathematical Structures in Computer Science
17: 289-305.</bibl>
            <idno type="DOI">10.1017/S0960129507006007</idno>
          </bibl>
          <bibl n="207471">Bailly, Francis and Longo, Giuseppe. 2008. “Phenomenology of Incompleteness: from Formal
Deductions to Mathematics and Physics” . In R. Lupacchini (editor) Deduction, Computa-
tion, Experiment Berlin: Springer.</bibl>
          <bibl n="207537">
            <bibl>Barmpalias, George and Lewis-Pye, Andrew. 2018. “Optimal redundancy in computations
from random oracles” . Journal of Computer and System Sciences 92: 1-8.</bibl>
            <idno type="DOI">10.1016/j.jcss.2017.06.009</idno>
          </bibl>
          <bibl n="207504">Barzdins, Janis. 1968. “Complexity of programs to determine whether natural numbers not
greater than n belong to a recursively enumerable set”. Soviet Math. Dokl. 9: 1251-54.</bibl>
          <bibl n="207560">Borel, &amp;#201;mile. 1909. “Les probabilit&amp;#233;s d&amp;#233;nombrables et leurs applications arithm&amp;#233;tiques” .
Rendiconti del Circolo Matematico di Palermo 27: 247-271.</bibl>
          <bibl n="207691">Calude, Cristian ed. 2007. Randomness and Complexity, from Leibniz to Chaitin. Singapore:
World Scientific.</bibl>
          <bibl n="207500">Calude, Claude. 1994. “Borel normality and algorithmic randomness” . In G. Rozenberg, A.
Salomaa (editors) Developments in Language Theory 113-129. Singapore: World Scientific.</bibl>
          <bibl n="207576">
            <bibl>Calude, Cristian S. and J&amp;#252;rgensen, Helmut. 2005. “Is complexity a source of incompleteness?”.
Advances in Applied Mathematics 35 (1): 1-15.</bibl>
            <idno type="DOI">10.1016/j.aam.2004.10.003</idno>
          </bibl>
          <bibl n="207555">
            <bibl>Calude, Christian S. and Stay, Michael. 2007. “From Heisenberg to G&amp;#246;del via Chaitin”.
International Journal of Theoretical Physics 46 (8): 1053-1065.</bibl>
            <idno type="DOI">10.1007/s10773-006-9296-8</idno>
          </bibl>
          <bibl n="207658">
            <bibl>Chaitin, Gregory J. 1974. “Information-theoretic limitations of formal systems” Journal of
the ACM 21 (3): 403-424.</bibl>
            <idno type="DOI">10.1145/321832.321839</idno>
          </bibl>
          <bibl n="207678">Chaitin, Gregory. 1977. “Algorithmic Information Theory”. IBM Journal of Research and
Development 21 (4): 50-35</bibl>
          <bibl n="207662">
            <bibl>Chaitin, Gregory. 1982. “G&amp;#246;del’s theorem and information” . International Journal of Theoret.
Physics 22: 941-954.</bibl>
            <idno type="DOI">10.1007/BF02084159</idno>
          </bibl>
          <bibl n="207538">Chaitin, Gregory. 1990. Information, Randomness and Incompleteness, Papers on Algorithmic
Information Theory (second edition). Singapore: World Scientific.</bibl>
          <bibl n="207634">Chaitin, Gregory. 2003. Conversations with a Mathematician. Math, Art, Science and the
Limits of Reason. Berlin: Springer.</bibl>
          <bibl n="207764">
            <bibl>Chaitin, Gregory. 2007. Thinking of G&amp;#246;del and Turing. Singapore: World Scientific.</bibl>
            <idno type="DOI">10.1142/6536</idno>
          </bibl>
          <bibl n="207639">
            <bibl>Church, Alonzo. 1940. “On the concept of a random sequence” . Bulletin of the American
Mathematical Society 46: 130-135.</bibl>
            <idno type="DOI">10.2307/2266178</idno>
          </bibl>
          <bibl n="207517">
            <bibl>Da Costa, Newton and Doria, Francisco A. 1991. “Undecidability and Incompleteness in
Classical Mechanics” . International Journal of Theoretical Physics 30: 1041-1073.</bibl>
            <idno type="DOI">10.1007/BF00671484</idno>
          </bibl>
          <bibl n="207547">Demuth, Osvald. 1982. “Some classes of arithmetical real numbers ” (in Russian). Commen-
tationes Mathematicae Universitatis Carolinae. 23 (3): 453-465.</bibl>
          <bibl n="207721">Downey, Rod and Hirschfeldt, Denis. 2010. Algorithmic Randomness and Complexity. Berlin:
Springer.</bibl>
          <bibl n="207589">
            <bibl>Downey, Rod and Hirschfeldt, Denis. 2019. “Computability and Randomness” Notices of the
American Mathematical Society. 66: 1001-1012.</bibl>
            <idno type="DOI">10.1090/noti1905</idno>
          </bibl>
          <bibl n="207610">
            <bibl>Endrullis, J&amp;#246;rg and Klop, Jan and Overbeek, Roy. 2021. “Star Games and Hydras.”Logical Methods in Computer Science 17 (2):1-32.</bibl>
            <idno type="DOI">10.1016/S0304-3975(02)00040-3</idno>
          </bibl>
          <bibl n="207505">
            <bibl>Ferbus-Zanda, Marie and Grigorieff, Serge. 2008. “Is Randomness Native to Computer Science?”
Bulletin of The European Association for Theoretical Computer Science 74: 78-118.</bibl>
            <idno type="DOI">10.1142/9789812562494_0046</idno>
          </bibl>
          <bibl n="207432">Ferbus-Zanda, Marie and Grigorieff, Serge. 2014.“Kolmogorov Complexity in Perspective Part
I: Information Theory and Randomness”. In Constructivity and Computability in Historical
and Philosophical Perspective. Logic, Epistemology, and the Unity of Science 34, edited by
J. Dubucs and M. Bourdeau 57-94. Dordrecht: Springer Netherland.</bibl>
          <bibl n="207653">
            <bibl>Franzen, Torkel. 2005. G&amp;#246;del’s theorem: an incomplete guide to its use and abuse (1st ed.).
Wellesley: A. K. Peters.</bibl>
            <idno type="DOI">10.1201/9780429295225</idno>
          </bibl>
          <bibl n="207683">
            <bibl>G&amp;#225;cs, Peter. 1986. “Every sequence is reducible to a random one” . Information and Control
70 (2–3): 186-192.</bibl>
            <idno type="DOI">10.1016/S0019-9958(86)80004-3</idno>
          </bibl>
          <bibl n="207467">
            <bibl>Hammer, Daniel and Romashchenko, Andrei and Shen, Alexander and Vereshchagin, Niko-
lay. 2000. “Inequalities for Shannon entropies and Kolmogorov complexities”. Journal of
Computer and System Sciences 60 (2): 442-464.</bibl>
            <idno type="DOI">10.1109/CCC.1997.612296</idno>
          </bibl>
          <bibl n="207784">
            <bibl>Jech, Thomas. 1978. Set theory. Cambridge M.: Academic Press.</bibl>
            <idno type="DOI">10.2307/2273242</idno>
          </bibl>
          <bibl n="207435">
            <bibl>Lafitte, Gr&amp;#233;gory. 2002. “On Randomness and Infinity”. In Foundations of Information Tech-
nology in the Era of Network and Mobile Computing. IFIP-The International Federation
for Information Processing, edited by R. Baeza-Yates, U. Montanari, M. Santoro, 267-279.
Boston: Springer US</bibl>
            <idno type="DOI">https://doi.org/10.1007/978-0-387-35608-2_23</idno>
          </bibl>
          <bibl n="207702">Levin, Leonid. 1973. “Universal search problems” . Problems of Information Transmission 9
(3): 115-116.</bibl>
          <bibl n="207554">Kamke, Erich. 1932. “&amp;#220;ber neuere Begriindungen der Wahrscheinlichkeitsrechnung” . Jahres-
bericht der Deutschen Mathematiker- Vereinigung 42: 121-149.</bibl>
          <bibl n="207663">
            <bibl>Katseff, Howard. 1978. “Complexity dips in random infinite binary sequences”. Information
and Control 38: 258-263.</bibl>
            <idno type="DOI">10.1016/S0019-9958(78)90062-1</idno>
          </bibl>
          <bibl n="207577">
            <bibl>Kolmogorov, Andrej N. 1965. “Three Approaches to the quantitive definition of Informa-
tion”. Problems of Information Transmission 1: 1-17.</bibl>
            <idno type="DOI">10.1080/00207166808803030</idno>
          </bibl>
          <bibl n="207730">Kreisel, Georg. 1969. “Two notes on the foundations of set theory. ”, Dialectica 23: pp. 93-114.</bibl>
          <bibl n="207464">Kučera, Antonin. 1985. “Measure, Π 01 -classes and complete extensions of PA.” In Recursion
Theory Week. Lecture Notes in Mathematics 1141, edited by H.D. Ebbinghaus, G.H. M&amp;#252;ller
and G.E. Sacks 245-259. Berlin: Springer.</bibl>
          <bibl n="207728">
            <bibl>Martin-L&amp;#246;f, Per. 1966. “The definition of random sequences” . Information and Control 9:
602-619.</bibl>
            <idno type="DOI">10.1016/S0019-9958(66)90261-9</idno>
          </bibl>
          <bibl n="207611">
            <bibl>Moore, Cristopher. 1990. “Unpredictability and undecidability in dynamical systems.” Physical
review letters 64 (2): 2354-2357.</bibl>
            <idno type="DOI">10.1103/PhysRevLett.64.2354</idno>
          </bibl>
          <bibl n="207767">
            <bibl>Nies, Andr&amp;#233;. 2009. Computability and Randomness. Oxford: Oxford University Press.</bibl>
            <idno type="DOI">10.2178/bsl/1264433798</idno>
          </bibl>
          <bibl n="207630">
            <bibl>Nies, Andr&amp;#233; and Scholz, Volkher B. 2017. “Martin-L&amp;#246;f random quantum states” . Journal of
Mathematical Physics 60 (9): 1-11.</bibl>
            <idno type="DOI">10.1063/1.5094660</idno>
          </bibl>
          <bibl n="207771">
            <bibl>Peres, Asher. 1985. “Einstein, G&amp;#246;del, Bohr” Foundations of Physics 15: 201-205.</bibl>
            <idno type="DOI">10.1007/BF00735292</idno>
          </bibl>
          <bibl n="207616">
            <bibl>Peres, Asher and Zurek, Wojciech H. 1982. “Is quantum theory universally valid?”. American
Journal of Physics 50 (9): 807-810.</bibl>
            <idno type="DOI">10.1119/1.13086</idno>
          </bibl>
          <bibl n="207622">
            <bibl>Raatikainen, Panu. 1998. “On Interpreting Chaitin’s Incompleteness Theorem”. Journal of
Philosophical Logic 27 (6): 569-586.</bibl>
            <idno type="DOI">10.1023/A:1004305315546.</idno>
          </bibl>
          <bibl n="207695">
            <bibl>Raatikainen, Panu. 2000. “Algorithmic information theory and undecidability” . Synthese 123
(2): 217-225.</bibl>
            <idno type="DOI">10.1023/A:1005298819345</idno>
          </bibl>
          <bibl n="207606">
            <bibl>Schnorr, Claus-Peter. 1971. “A unified approach to the definition of random sequences.”.
Mathematical Systems Theory 5: 246-258.</bibl>
            <idno type="DOI">10.1007/BF01694181</idno>
          </bibl>
          <bibl n="207591">
            <bibl>Schnorr, Claus Peter. 1973. “Process complexity and effective random tests”. Journal of
Computer and System Sciences 7 (4,) 376-388.</bibl>
            <idno type="DOI">10.1016/S0022-0000(73)80030-3</idno>
          </bibl>
          <bibl n="207641">
            <bibl>Shannon, Claude. 1984. “A mathematical theory of communication”. Bell System Technical
Journal 27: 379-423 and 623-656.</bibl>
            <idno type="DOI">10.1002/j.1538-7305.1948.tb01338.x</idno>
          </bibl>
          <bibl n="207567">
            <bibl>Solovay, Robert. 1970. “A Model of Set Theory in Which Every Set of Reals is Lebesgue
Measurable”. Annals of Mathematics. Second Series: 1-56.</bibl>
            <idno type="DOI">10.2307/1970696</idno>
          </bibl>
          <bibl n="207473">
            <bibl>Solovay, Robert. 2000. “A Version of Ω for which ZFC can not Predict a Single Bit”. In Finite
Versus Infinite. Contributions to an Eternal Dilemma, edited by C. Calude and G. Paŭn
323-334. Berlin: Springer.</bibl>
            <idno type="DOI">10.1007/s10773-006-9296-8</idno>
          </bibl>
          <bibl n="207713">
            <bibl>Solomonoff, Ray. 1964. “A formal theory of inductive inference. I”. Information and
Control 7: 1-22.</bibl>
            <idno type="DOI">10.1016/S0019-9958(64)90223-2</idno>
          </bibl>
          <bibl n="207700">
            <bibl>Solomonoff, Ray. 1964. “A formal theory of inductive inference. II”. Information and
Control 7: 224-254.</bibl>
            <idno type="DOI">10.1016/S0019-9958(64)90131-7</idno>
          </bibl>
          <bibl n="207468">
            <bibl>Stephan, Frank. 2006. “Martin-L&amp;#246;f random and PA-complete sets” . In Logic Colloquium ’02.
Lecture Notes in Logic, edited by Z. Chatzidakis, P. Koepke and W. Pohlers W. 342-348.
Cambridge: Cambridge University Press.</bibl>
            <idno type="DOI">10.1017/9781316755723.016</idno>
          </bibl>
          <bibl n="207453">
            <bibl>Towsner Henry. 2020. “Algorithmic randomness in ergodic theory”. In Algorithmic Random-
ness: Progress and Prospects. Lecture Notes in Logic, edited by J.N.Y. Franklin and C.P.
Porter 40-57. Cambridge: Cambridge University Press.</bibl>
            <idno type="DOI">10.1017/9781108781718.003</idno>
          </bibl>
          <bibl n="207739">Van Lambalgen, Michiel. I 1987. Random Sequences. Doctoral thesis, University of Amsterdam.</bibl>
          <bibl n="207664">
            <bibl>Van Lambalgen, Michiel. II 1987. “Algorithmic information theory” The Journal of Symbolic
Logic 54 (4): 1389-1400.</bibl>
            <idno type="DOI">10.2307/2274821</idno>
          </bibl>
          <bibl n="207590">
            <bibl>Van Lambalgen, Michiel. 1987. “Von Mises’ Definition of Random Sequences Reconsidered.”
The Journal of Symbolic Logic 52 (3): 725-755</bibl>
            <idno type="DOI">10.2307/2274360</idno>
          </bibl>
          <bibl n="207670">
            <bibl>Van Lambalgen, Michiel. 1990. “The axiomatization of randomness” The Journal of Symbolic
Logic 55 (3): 1143-1167.</bibl>
            <idno type="DOI">10.2307/2274480</idno>
          </bibl>
          <bibl n="207597">
            <bibl>Van Lambalgen, Michiel. 1992. “Independence, randomness and the axiom of Choice” . The
Journal of Symbolic Logic 57 (4): 1274-1304.</bibl>
            <idno type="DOI">10.2307/2275368</idno>
          </bibl>
          <bibl n="207696">
            <bibl>V’yugin, Vladimir. 2022. “Ergodic theorems for algorithmically random points”.
10.48550/arXiv.2202.13465.</bibl>
            <idno type="DOI">10.48550/arXiv.2202.13465</idno>
          </bibl>
          <bibl n="207484">
            <bibl>Zaffora Blando, Francesca. 2024. “From Wald to Schnorr: Von Mises’ definition of randomness
in the aftermath of Ville’s Theorem.”. Studies in History and Philosophy of Science 106:
196-207.</bibl>
            <idno type="DOI">10.1071/HR18014</idno>
          </bibl>
        </listBibl>
      </div>
    </body>
  </text>
</TEI>