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
    Michel Kervaire — Carmelics
    Thinkers/Michel Kervaire
    MK

    Michel Kervaire

    contemporaryMathematical Logic and Topology

    1927 – 2007

    Michel Kervaire (1927–2007) was a French mathematician known for foundational contributions to differential topology and algebraic topology. He discovered the first example of a manifold that admits no differentiable structure and introduced the Kervaire invariant, a central object in the study of exotic spheres and framed cobordism.

    WWikipedia

    Notable Achievements

    1

    Discovered the first topological manifold with no differentiable structure (the Kervaire manifold)

    2

    Introduced the Kervaire invariant in framed cobordism theory

    3

    Co-authored with John Milnor foundational work on groups of homotopy spheres

    4

    Contributed to knot theory, including results on higher-dimensional knots

    5

    Held a long professorship at the University of Geneva shaping European topology

    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

    Mathematical Logic and Topology

    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→