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

    Hamkins

    contemporaryAnalytic Philosophy of Mathematics

    b. 1966

    Joel David Hamkins is an American mathematician and philosopher of mathematics, best known for his work in mathematical logic, set theory, and the philosophy of set theory. He is a leading proponent of the set-theoretic multiverse view, which holds that there is no single privileged universe of sets but rather a plurality of legitimate set-theoretic universes.

    WWikipedia

    Notable Achievements

    1

    Developed the set-theoretic multiverse philosophy

    2

    Contributed foundational work on infinitary computability and infinite-time Turing machines

    3

    Proved significant results on forcing, large cardinals, and modal logic of forcing

    4

    Authored 'Lectures on the Philosophy of Mathematics' (MIT Press, 2021)

    5

    Holds the Sir Peter Strawson Fellowship in Philosophy at University College, Oxford

    Positions & Arguments

    (1)

    Philosophy of Language

    claim

    The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.

    Truth & Knowledge

    claim

    The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.

    At a Glance

    Ideas

    1

    Topics

    2

    Era

    contemporary

    Tradition

    Analytic Philosophy of Mathematics

    Topic Influence

    Truth & Knowledge1
    Philosophy of Language1

    Related Thinkers

    Immanuel Kant2 sharedDavid Lewis2 sharedBertrand Russell2 sharedBrian Skyrms2 sharedDavid Hume2 sharedStathis Psillos2 sharedAristotle2 sharedBas van Fraassen2 shared

    Dive Deeper

    Explore Truth & Knowledge→See Philosophy of Language→