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
    Scott Aaronson — Carmelics
    Thinkers/Scott Aaronson
    Scott Aaronson

    Scott Aaronson

    contemporaryPhilosophy of Computation

    b. 1981

    Scott Aaronson is an American theoretical computer scientist and Schlumberger Centennial Chair of Computer Science at the University of Texas at Austin, known for his work on computational complexity theory and quantum computing. He has made significant contributions to the philosophy of computation, exploring the implications of complexity theory for epistemology, the nature of mathematical knowledge, and the foundations of quantum mechanics.

    WWikipedia

    Notable Achievements

    1

    Proved the collision lower bound and developed the algebrization barrier in complexity theory

    2

    Authored 'Quantum Computing Since Democritus', bridging computation, physics, and philosophy

    3

    Pioneered work connecting computational complexity to philosophical questions about knowledge and proof

    4

    Developed foundational results in quantum query complexity and the limits of quantum speedup

    5

    Created the widely-read blog 'Shtetl-Optimized' engaging public discourse on computation and philosophy

    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 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→