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
    The claim conflates 'not fully relativizing' with 'truly ... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The relativization barrier shows diagonalization alone fails, but does not preclude non-relativizing techniques like arithmetization used in IP=PSPACE.

    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).

    ?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

    Barriers(in mathematics and computer science)
    Fundamental obstacles or limitations that prevent a certain approach or method from working, no matter how hard you try.
    Natural proofs(as a blocked approach to P≠NP)
    A proof technique that uses straightforward, intuitive logical reasoning rather than unusual or clever tricks.
    Razborov-Rudich(their names are attached to the 'naturalproof barriers')
    Two mathematicians (Alexander Razborov and Steven Rudich) who discovered important limitations on how we can prove certain mathematical facts.
    Relativizing(as the method applied to semantics)
    Making something dependent on or changeable based on different backgrounds or contexts, rather than treating it as absolute or universal.
    complexity

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    (Second decision point in the Explanatory Filter, applied to contingent phenomena)
    A property of phenomena that go beyond mere breakdown or disorder; used in the Explanatory Filter to distinguish chance from design among contingent events

    Connections

    1 linked claim

    The relativization barrier shows diagonalization alone fails, but does not precl...

    Related

    The relativization barrier shows diagonalization alone fails, but does not precl...

    Details

    Type
    premise
    Perspectives
    0 (0 for, 0 against)

    Open for perspectives

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

    Share the first perspective