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
    Harry Lewis — Carmelics
    Thinkers/Harry Lewis
    Harry Lewis

    Harry Lewis

    contemporaryAnalytic Philosophy of Computation

    b. 1947

    Harry Lewis is an American computer scientist and Gordon McKay Professor of Computer Science at Harvard University, known for his work on theoretical computer science and computability. He co-authored the influential textbook 'Elements of the Theory of Computation' with Christos Papadimitriou and has written on the philosophical and societal implications of computing.

    WWikipedia

    Notable Achievements

    1

    Co-authored 'Elements of the Theory of Computation' with Christos Papadimitriou

    2

    Served as Dean of Harvard College (1995-2003)

    3

    Authored 'Excellence Without a Soul' critiquing modern higher education

    4

    Pioneered research on computational complexity and logic

    5

    Mentored figures including Bill Gates and Mark Zuckerberg at Harvard

    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→