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 theorem's guarantee of uniqueness is therefore condit... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The Church–Rosser theorem guarantees that the final result of a series of reductions on a term is unique, independently of the order of reduction steps

    The theorem's guarantee of uniqueness is therefore conditional on facts about termination that are undecidable in general, undermining any unconditional epistemic confidence in unique results.

    ?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

    Epistemic confidence(as used in epistemology (the study of knowledge))
    How certain or sure you can be about knowing something; your level of trust in your own knowledge.
    Termination(logic and computation)
    The guarantee that a process will eventually finish and stop, rather than running forever in an infinite loop.
    Theorem
    A theorem is a statement that has been proven to be true through logical reasoning and evidence. It's a fact that mathematicians or scientists have carefully verified using step-by-step arguments, starting from things already known to be true. Once proven, theorems become reliable building blocks that others can use to prove even more complex ideas.
    Uniqueness(Violated if there are infinitely many forms of oneness, since that entails more than one form corresponds to the property of being one.)
    The principle that there is at most one form corresponding to any given property.

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    conditional(no-truth-value account of conditionals)
    A statement of the form 'if A, B' that involves the supposition that A and tells us nothing about what happens if A is false
    unconditional(Contrasted with the conditional, which is finite and determinate.)
    That which is omnipresent, omnitemporal, and indeterminate.
    undecidable(Derrida's second aporia of justice)
    Not mere oscillation between two significations, but the experience of what, though foreign to the calculable and the rule, is still obligated; the moment in which a singular case does not fit established codes so that a decision seems impossible yet remains required

    Connections

    2 topics

    Truth & Knowledge1 linkedPhilosophy of Language1 linked

    Related

    The Church–Rosser theorem guarantees that the final result of a series of reduct...

    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