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
    Turing and Chaitin's results on algorithmic information t... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Complex typed information can be coded in single natural numbers.

    Turing and Chaitin's results on algorithmic information theory show that the descriptive complexity of encoding structured data in single integers grows unboundedly, making the claim practically and theoretically vacuous for sufficiently complex types.

    ?Rate how convincing each reason is below to see the overall strength.

    No one has weighed in yet. Be the first to share reasons for or against this statement.

    Sign in or register to share your perspective on this statement.

    Key Terms

    Algorithmic Information Theory(Foundational theory underlying Kolmogorov complexity and universal a priori probability)
    A mathematical framework developed independently by Kolmogorov (1965) and Chaitin (1969) concerning the complexity of information
    Chaitin(namesake in the statement)
    Gregory Chaitin is a mathematician who developed theories about how much information is needed to describe or compress something.
    Structured data(the type of information being discussed)
    Information that is organized and follows a clear pattern or format, rather than being random or disorganized.
    Turing
    # Turing Alan Turing was a British mathematician and scientist (1912-1954) who is considered the father of computer science and artificial intelligence. He invented the "Turing Machine," a theoretical device that helped define what computers could and couldn't do, and created the "Turing Test," a famous challenge to determine whether a machine can exhibit intelligent behavior indistinguishable from a human. His groundbreaking work during World War II on code-breaking, combined with his pioneering ideas about thinking machines, made him one of the most influential thinkers of the 20th century.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Unboundedly(how the complexity grows according to Turing and Chaitin)
    Growing without any limit or cap; there's no maximum point it reaches.
    descriptive complexity(Descriptive complexity theory, contrasted with computational complexity)
    A measure of a problem's complexity in proportion to the logical resources required to describe its instances, defined using formulas that characterize the problem's instances relative to an appropriate background class of finitary structures.
    encoding(Contrasted with exemplification; characterized as 'internal' predication. E.g., the winged horse encodes the property winged without exemplifying it.)
    The mode of predication attributed to non-existent objects, by which such objects bear a property without instantiating it in the ordinary sense.
    vacuous(describing what happens to 'artistic identity' if we blur important differences)
    Empty of meaning or usefulness; a concept becomes vacuous when it loses all real significance or explanatory power.

    Connections

    2 topics

    Truth & Knowledge1 linkedPhilosophy of Language1 linked

    Related

    Complex typed information can be coded in single natural numbers.

    Details

    Type
    claim
    Perspectives
    0 (0 for, 0 against)
    Edits
    1 edit

    Open for perspectives

    This idea is waiting for its first supporting or challenging perspective.

    Share the first perspective