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
    Jack Edmonds — Carmelics
    Thinkers/Jack Edmonds
    Jack Edmonds

    Jack Edmonds

    contemporaryPhilosophy of Mathematics and Computation

    b. 1934

    Jack Edmonds is a Canadian mathematician and computer scientist known for foundational contributions to combinatorial optimization and complexity theory. He formulated the influential thesis that polynomial-time computability should be the standard for 'efficient' algorithms, work that underpins modern discussions of the P vs NP problem and bears on philosophical debates about the nature of mathematical and logical knowledge.

    WWikipedia

    Notable Achievements

    1

    Formulated the polynomial-time thesis distinguishing tractable from intractable problems

    2

    Developed the Blossom algorithm for maximum matching in general graphs

    3

    Made foundational contributions to matroid theory and polyhedral combinatorics

    4

    Pioneered the concept of 'good characterizations' anticipating the class NP ∩ co-NP

    5

    Advanced the mathematical framework informing the P vs NP question

    Positions & Arguments

    (1)

    Skepticism

    claim

    There is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.

    Truth & Knowledge

    claim

    There is a fundamental tension between treating logical knowledge as a priori and the computational intractability of deciding logical validity.

    At a Glance

    Ideas

    1

    Topics

    2

    Era

    contemporary

    Tradition

    Philosophy of Mathematics and Computation

    Topic Influence

    Truth & Knowledge1
    Skepticism1

    Related Thinkers

    David Lewis2 sharedImmanuel Kant2 sharedBoyd2 sharedBrian Skyrms2 sharedStathis Psillos2 sharedBertrand Russell2 sharedDavid Hume2 sharedAristotle2 shared

    Dive Deeper

    Explore Truth & Knowledge→See Skepticism→