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
    Without a relativizing barrier result or algebrizing argu... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→NC is expected to be properly contained in P (NC ≠ P)

    Without a relativizing barrier result or algebrizing argument specifically ruling out NC = P, the conjecture rests on absence of evidence rather than evidence of absence, violating standards of warranted assertibility Dummett defended for mathematical claims.

    ?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

    Absence of evidence vs. evidence of absence(in epistemology/logic)
    The difference between 'we haven't found proof yet' (absence of evidence) and 'we have proven something doesn't exist' (evidence of absence); they're not the same thing.
    Algebrizing argument(in mathematics)
    A mathematical technique or strategy that uses algebraic methods to prove something or show why a certain approach won't work.
    Michael Dummett(as a philosopher referenced for his views on concreteness)
    A 20th-century British philosopher known for work on logic, language, and metaphysics, including theories about what kinds of things exist in the physical world.
    NC = P(as a mathematical conjecture)
    A famous unsolved problem in computer science asking whether two classes of computational problems (nondeterministic polynomial and polynomial) are actually the same; it's one of the biggest open questions in math and CS.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    Relativizing barrier result(in mathematics/computer science)
    A mathematical proof that would show a particular problem (like NC = P) is fundamentally different in important ways, creating a logical obstacle to solving it.
    conjecture(Used to evaluate whether knowledge structures are internally consistent with respect to agent beliefs)
    A possible belief or supposition an agent may hold about what opponents know or believe
    warranted assertibility(Dewey 1938: 9; used as a pragmatist characterization of truth)
    The property of a proposition for which knowledge potentially exists in virtue of scientific inquiry.

    Connections

    2 topics

    Modality & Possibility1 linkedSkepticism1 linked

    Related

    NC is expected to be properly contained in P (NC ≠ P)

    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