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
    Cobham's original characterization of feasibility via lim... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→Feasibility is preserved under limited recursion on notation

    Cobham's original characterization of feasibility via limited recursion on notation tacitly assumes sequential computation, excluding parallel models where the bound fails to generalize.

    ?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

    Cobham
    I don't have a clear, established definition for "Cobham" that would be relevant to a general audience. This most likely refers to Alan Cobham, a British computer scientist who made important contributions to understanding computational complexity and algorithms in the 1960s. He's remembered for proposing what we now call "Cobham's thesis," which suggests that a problem is practically solvable by a computer if and only if it can be solved in polynomial time—essentially defining what counts as an "efficient" computer algorithm. His work helped establish fundamental concepts in computer science that shape how we think about what computers can realistically accomplish.
    Feasibility(as used in logic and computation)
    Whether something is actually possible to do in practice, considering real-world limitations like time and resources—not just theoretically possible.
    Generalize(in logical reasoning)
    To apply a principle or rule that works in one case to other similar cases.
    Limited recursion(as used in mathematical logic)

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    A mathematical or computational rule that allows a process to call itself, but only in restricted ways to avoid infinite loops or complexity.
    Parallel models(as an alternative to sequential computation)
    Ways of running calculations where many instructions are executed simultaneously at the same time, rather than one after another.
    Sequential computation(as the assumed computation model)
    A way of running calculations where the computer performs one instruction after another, one at a time, in order.
    notation(Syntactical and semantic foundation for symbol systems)
    A symbol system in which each symbol corresponds to exactly one item in the realm, and each item in the realm corresponds to exactly one symbol in the system.

    Connections

    2 topics

    Truth & Knowledge1 linkedModality & Possibility1 linked

    Related

    Feasibility is preserved under limited recursion on notation

    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