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
    Because NFL theorems are conditional on a specific probab... — Carmelics
    Home
    HistoryEditSee Inverse

    Part of a larger discussion

    Challenges→The No-Free-Lunch theorems are versions of the argument in Hume's first fork

    Because NFL theorems are conditional on a specific probability measure over problem spaces, they yield a weaker, measure-dependent impossibility rather than Hume's unconditional logical gap between experience and necessity.

    ?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

    Hume(as the main philosopher discussed in this statement)
    David Hume was an 18th-century Scottish philosopher who argued that human knowledge comes from experience and observation rather than pure reasoning alone.
    NFL theorems(as used in theoretical computer science and philosophy of learning)
    A set of mathematical theorems (proven rules) that show certain learning algorithms can't be universally good at solving all possible problems—they work well on some but not others.
    Probability measure(what the Mentaculus fails to provide for the Future Hypothesis)
    A mathematical tool that assigns probabilities to different possible outcomes in a consistent way, so they add up correctly and follow the rules of probability.
    experience and necessity(as used in Hume's philosophy of knowledge)
    The difference between what actually happens to us (experience) and what logically has to be true in all cases (necessity).

    Next step

    Based on where you are in your exploration

    Explore a random proposition
    Start fresh with something unrelated.
    impossibility(Leibniz's logical-metaphysical framework)
    A proposition that can be demonstrated to generate a contradiction in its analysis.
    measure-dependent(as used in mathematics and logic)
    Something that changes or depends on which specific probability system or framework you choose to use.
    problem spaces(as used in computer science and artificial intelligence)
    All the possible questions or challenges a system (like an AI or human) might face, along with all their possible solutions.
    unconditional logical gap(as used in epistemology (the study of knowledge))
    A fundamental, unavoidable disconnect between what we experience (like seeing the sun rise) and what we can logically prove must be true (that it will always rise).

    Connections

    2 topics

    Truth & Knowledge1 linkedSkepticism1 linked

    Related

    The No-Free-Lunch theorems are versions of the argument in Hume's first fork

    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