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
    Home/Original/inverse
    See Original
    Inverse View

    It is not the case that Constructibility requirements, as Blum's axioms show, are not purely formal but encode substantive constraints on what counts as a legitimate resource measure.

    ?Set your confidence on the premises below to see your aggregate.

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Blum's axioms are derivable from minimal assumptions about measure-theoretic structure, not substantive philosophical commitments about resources.
      ?

      Think about whether this reason is strong or weak

    • 2.Constraints can be mathematically formal yet still constrain what's measurable—formality and substantivity are independent properties, not opposed.
      ?

      Think about whether this reason is strong or weak

    • 3.The distinction between 'purely formal' and 'substantive' constraints is itself philosophically contested and may not carve nature at its joints.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Blum's axioms (linearity, symmetry, monotonicity) presuppose philosophical commitments about what makes computation 'fair' or 'meaningful.'
      ?

      Think about whether this reason is strong or weak

    • 2.Different resource measures (time, space, reversible operations) cannot be purely formally equivalent; choosing between them reflects value judgments.
      ?

      Think about whether this reason is strong or weak

    • 3.Axiom systems that claim formality always embed implicit assumptions about legitimate vs. illegitimate computational idealizations.
      ?

      Think about whether this reason is strong or weak

    Next step

    Based on where you are in your exploration

    Strongest counterpoint
    Explore the most compelling reason on the other side.