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 quasi-inductive argument conflates mathematical tract... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Polynomial time computability captures the boundary of feasible computability (quasi-inductive argument for CET).

    The quasi-inductive argument conflates mathematical tractability classes with empirical feasibility, committing a category error Hartmanis and Stearns's original complexity theory never intended.

    ?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

    Category error(as used in logic and philosophy of language)
    A logical mistake where you apply a rule or concept to something it doesn't actually fit, like using a math formula on a poem.
    Complexity theory(where analogous issues might appear)
    A branch of computer science and mathematics that studies how difficult different problems are to solve and how much computational power they require.
    Conflates(in argumentation and logic)
    Treats two different things as if they're the same thing, or mixes them up in a way that causes confusion.
    Empirical feasibility(the other thing being wrongly mixed with mathematical tractability)
    Whether something can actually be done in the real world, based on what we can observe and test in practice.
    Hartmanis and Stearns

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    (as founders of computational complexity theory)
    Two computer scientists who developed an important framework for understanding how much computational effort (time or memory) different types of problems require to solve.
    Mathematical tractability classes(one of the two different things being wrongly mixed together)
    Categories in computer science that group problems based on how difficult they are to solve mathematically—some problems are easy to solve, others are computationally hard.
    Quasi-inductive argument(as used in logic and philosophy of mind)
    A type of reasoning that isn't quite a traditional inductive argument (where you draw general conclusions from specific examples), but works similarly by building support through multiple pieces of evidence pointing in the same direction.

    Connections

    2 topics

    All sources support it1 linkedTruth & Knowledge1 linked

    Related

    Polynomial time computability captures the boundary of feasible computability (q...

    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