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

    It is not the case that The relativization barrier shows diagonalization alone fails, but does not preclude non-relativizing techniques like arithmetization used in IP=PSPACE.

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

    Reasons For

    1 perspective
    Reason for
    ?
    • 1.Arithmetization in IP=PSPACE ultimately reduces to properties that *do* relativize: polynomial evaluation and interactive verification still hold under oracle modifications.
      ?

      Think about whether this reason is strong or weak

    • 2.The claim conflates 'not fully relativizing' with 'truly non-relativizing'; natural proofs in complexity also fail to fully relativize yet face independent barriers (Razborov-Rudich).
      ?

      Think about whether this reason is strong or weak

    • 3.No technique has successfully resolved P vs NP despite decades; attributing this only to relativization barriers rather than fundamental problem hardness risks circular reasoning.
      ?

      Think about whether this reason is strong or weak

    Reasons Against

    1 perspective
    Reason against
    ?
    • 1.Relativization barriers demonstrably block diagonalization: Baker-Gill-Solovay showed oracles where P=NP and P≠NP, proving relativizing arguments cannot settle P vs NP.
      ?

      Think about whether this reason is strong or weak

    • 2.IP=PSPACE succeeded using arithmetization (encoding computation as polynomials), a non-relativizing technique that exploits specific algebraic properties unavailable to relativizing proofs.
      ?

      Think about whether this reason is strong or weak

    • 3.The historical record shows non-relativizing techniques solved major open problems; thus barriers to one method don't preclude progress via fundamentally different approaches.
      ?

      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.
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42