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
    Raymond Greenlaw — Carmelics
    Thinkers/Raymond Greenlaw
    RG

    Raymond Greenlaw

    contemporaryAnalytic Philosophy of Computer Science

    b. 1959

    Raymond Greenlaw is an American computer scientist specializing in computational complexity theory, parallel computation, and theoretical computer science. He has authored influential textbooks on the limits of parallel computation and P-completeness, and has held academic leadership positions at institutions including the United States Naval Academy.

    Notable Achievements

    1

    Co-authored 'Limits to Parallel Computation: P-Completeness Theory' (1995), a foundational text in the field

    2

    Contributed to the theory of P-completeness and parallel computation complexity

    3

    Authored multiple textbooks on theoretical computer science and algorithms

    4

    Held endowed chair and academic leadership roles at the US Naval Academy and other institutions

    5

    Explored epistemological tensions between a priori logical knowledge and computational complexity

    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 Computer Science

    Topic Influence

    Truth & Knowledge1
    Skepticism1

    Related Thinkers

    David Lewis2 shared
    Immanuel Kant
    2 shared
    Boyd2 shared
    Brian Skyrms2 shared
    Stathis Psillos2 shared
    Bertrand Russell2 shared
    David Hume2 shared
    Aristotle2 shared

    Dive Deeper

    Explore Truth & Knowledge→See Skepticism→