Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Gregory Chaitin — Carmelics
    Thinkers/Gregory Chaitin
    GC

    Gregory Chaitin

    contemporaryAlgorithmic Information Theory / Philosophy of Mathematics

    b. 1947

    Gregory Chaitin is an Argentine-American mathematician and computer scientist known for his foundational contributions to algorithmic information theory. He is best known for discovering Chaitin's constant (Omega), a real number that encodes the halting probability of a universal Turing machine, and for extending Gödel's incompleteness theorems into the domain of information theory.

    WWikipedia

    Notable Achievements

    1

    Co-founded algorithmic information theory (independently with Kolmogorov and Solomonoff)

    2

    Discovered Chaitin's constant (Omega), the halting probability

    3

    Proved information-theoretic versions of Gödel's incompleteness theorems

    4

    Authored 'Meta Math!' and 'The Unknowable', popularizing randomness in mathematics

    5

    Developed the concept of algorithmic randomness and its implications for formal systems

    Positions & Arguments(1)

    Philosophy of Language

    claim

    The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.

    Truth & Knowledge

    claim

    The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.

    At a Glance

    Ideas

    1

    Topics

    2

    Era

    contemporary

    Tradition

    Algorithmic Information Theory / Philosophy of Mathematics

    Topic Influence

    Truth & Knowledge1
    Philosophy of Language1

    Related Thinkers

    Immanuel Kant2 sharedDavid Lewis2 sharedBertrand Russell2 sharedBrian Skyrms2 sharedDavid Hume2 sharedStathis Psillos2 sharedAristotle2 sharedBas van Fraassen2 shared

    Dive Deeper

    Explore Truth & Knowledge→See Philosophy of Language→