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
    Samson Abramsky — Carmelics
    Thinkers/Samson Abramsky
    Samson Abramsky

    Samson Abramsky

    contemporaryMathematical Logic / Game Semantics

    b. 1953

    Samson Abramsky is a British computer scientist and mathematician known for his pioneering work in the semantics of programming languages, domain theory, and the application of category theory and game semantics to computer science and logic. He has made significant contributions to connecting mathematical structures with computational and logical foundations.

    WWikipedia

    Notable Achievements

    1

    Developed game semantics for programming language theory with Radha Jagadeesan and Pasquale Malacaria

    2

    Pioneered the domain theory in logical form framework

    3

    Awarded the Royal Society Wolfson Research Merit Award

    4

    Christopher Strachey Professor of Computing at the University of Oxford

    5

    Fellow of the Royal Society for contributions to computer science

    Positions & Arguments

    (1)

    Skepticism

    claim

    Plausibility updates in sequential games during actual play differ in interpretation from plausibility updates used in pregame deliberation for Backward Induction.

    Truth & Knowledge

    claim

    Plausibility updates in sequential games during actual play differ in interpretation from plausibility updates used in pregame deliberation for Backward Induction.

    At a Glance

    Ideas

    1

    Topics

    2

    Era

    contemporary

    Tradition

    Mathematical Logic / Game Semantics

    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→