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
    Christos Papadimitriou — Carmelics
    Thinkers/Christos Papadimitriou
    Christos Papadimitriou

    Christos Papadimitriou

    contemporaryAnalytic Philosophy of Computation

    b. 1949

    Christos Papadimitriou is a Greek-American theoretical computer scientist known for foundational contributions to computational complexity theory, algorithmic game theory, and the intersection of computation with economics and biology. He has explored philosophical implications of complexity, including how computational limits bear on questions in epistemology and the philosophy of mind.

    WWikipedia

    Notable Achievements

    1

    Defined the complexity class PPAD and proved Nash equilibrium computation is PPAD-complete

    2

    Authored the influential textbook 'Computational Complexity'

    3

    Pioneered algorithmic game theory as a field

    4

    Developed computational perspectives on the brain and cognition

    5

    Elected to the National Academy of Sciences and recipient of the Knuth Prize and Gödel Prize

    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

    Analytic Philosophy of 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→