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
    Peter Shor — Carmelics
    Thinkers/Peter Shor
    Peter Shor

    Peter Shor

    contemporaryMathematical Computer Science

    b. 1959

    Peter Shor is an American mathematician and computer scientist at MIT, best known for developing Shor's algorithm, which demonstrates that quantum computers can factor large integers in polynomial time. His work has profound implications for computational complexity theory, cryptography, and philosophical questions about the nature of computation and mathematical knowledge.

    WWikipedia

    Notable Achievements

    1

    Developed Shor's algorithm for polynomial-time integer factorization on quantum computers

    2

    Pioneered quantum error-correcting codes enabling fault-tolerant quantum computation

    3

    Awarded the Nevanlinna Prize (1998) and Gödel Prize (1999)

    4

    Demonstrated fundamental connections between quantum mechanics and computational complexity

    5

    Contributed to debates on the computational limits of mathematical and logical reasoning

    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

    Mathematical Computer Science

    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→