Skip to main content
The English version of this website is provided through automatic translation.

Quick access

  • Events
  • Audios & videos
  • Chaires
  • FR
  • FR

Navigation principale

  • Public lectures
    • Agenda
    • Audios & vidéos
    • Current chairs
    • Special events
    • Guest lecturers
    • All public lectures
  • Research
  • Libraries
  • Publishing
  • Le Collège de France
    • The Collège and its history
    • The chairs
    • Awards
    • Special events
    • Special initiatives
    • Digital resources
    • La Fondation du Collège de France
    • The Hugo Foundation
    • PSL University
    • Formation doctorale
    • Working at the Collège de France
    • News
    • Visiting the Collège de France

Quick access

  • Events
  • Audios & videos
  • Chaires
Default person image
  • Facebook
  • X (ex-Twitter)
  • Linkedin
  • Copy url
People

Michael Detlefsen

Guest Lecturer

Guest lecturer

Axiomatization, Formalization and Completeness

Michael Detlefsen
10 Oct 2011 → 20 Oct 2011
10 Oct 2011 → 20 Oct 2011
Guest lecturer

Proof, Creation and Freedom

Michael Detlefsen
03 Jun 2009 → 24 Jun 2009
03 Jun 2009 → 24 Jun 2009

Breadcrumb

  1. Home
  2. Michael Detlefsen

Shortcuts

  • Agenda
  • Audio & video
  • News
  • Press & logo kit
  • The Collège in 10 questions
  • Doctoral studies
  • Working at the Collège de France
  • Public procurement
  • Newsletter
  • Visit the Collège de France
  • Patrons and donors

Our websites

  • Intranet
  • Omnia
  • Salamandre
  • Collège de France Foundation
  • PAUSE program
  • Avenir Commun Durable
  • La Vie des idées
  • Campus de l’innovation pour les lycées

Subscribe to our newsletter

Follow us

Donate

Footer menu

  • Location and contact
  • Legal notice
  • Credits
  • Accessibility: not-compliant