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
    Ketan Mulmuley — Carmelics
    Thinkers/Ketan Mulmuley
    KM

    Ketan Mulmuley

    contemporaryTheoretical Computer Science / Philosophy of Computation

    b. 1956

    Ketan Mulmuley is an Indian-American theoretical computer scientist at the University of Chicago, best known for developing Geometric Complexity Theory (GCT), an ambitious program that applies algebraic geometry and representation theory to attack the P vs NP problem. His work bridges computational complexity, algebraic geometry, and representation theory, and has raised philosophical questions about the nature of mathematical and logical knowledge.

    WWikipedia

    Notable Achievements

    1

    Founded Geometric Complexity Theory (GCT) as an approach to P vs NP

    2

    Developed algebraic-geometric techniques for lower bounds in computational complexity

    3

    Authored foundational papers on GCT with Milind Sohoni

    4

    Contributed to parallel algorithms and computational geometry

    5

    Professor of Computer Science at the University of Chicago

    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

    Theoretical Computer Science / 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→