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
    Skolem's original (1933) construction of non-standard ari... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Non-standard models of F must contain 'infinite' non-natural numbers beyond all natural numbers.

    Skolem's original (1933) construction of non-standard arithmetic was intended to show the indeterminacy of the natural number concept, not to populate models with a new category of object.

    ?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

    Natural numbers(mathematics)
    The counting numbers: 1, 2, 3, 4, and so on (sometimes including 0, depending on context).
    Skolem
    # Skolem Skolem refers to Thoralf Skolem, a Norwegian mathematician (1887-1963) who made important discoveries in logic and the foundations of mathematics. He's best known for the "Löwenheim-Skolem theorem," which essentially states that if a mathematical statement can be true in one infinite structure, it can also be true in a simpler, countably infinite structure—a surprising result that challenged assumptions about the nature of mathematical truth. His work fundamentally shaped modern logic and showed surprising limitations in how precisely mathematical languages can describe reality.
    indeterminacy(Decision-making under uncertainty in political and legal contexts)
    Uncertainty or lack of definite knowledge afflicting one or more conditions of a decision procedure, making it impossible to fully specify choices and their outcomes
    models(models of global democracy)

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    idealized theoretical constructions designed to express the normative qualities of a democratic system as well as its constitutive institutions
    non-standard arithmetic(as the subject of Skolem's construction)
    A mathematical system that follows all the same rules as regular arithmetic (addition, multiplication, etc.) but includes extra numbers that don't exist in the normal number line—kind of like discovering a parallel version of math that works but isn't the one we usually use.
    populate(describing what Skolem was or wasn't doing with his construction)
    To fill or stock with something; in this context, to create or introduce new kinds of objects into a mathematical system.

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    Non-standard models of F must contain 'infinite' non-natural numbers beyond all ...

    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