Focaliser sur: 
Retour à l'affichage de la conférence
S'authentifier

Axioms and Definitions in the 19th and 20th Centuries

→ Europe/Paris
Salle Pierre Grisvard (IHP - Bâtiment Borel)

Salle Pierre Grisvard

IHP - Bâtiment Borel
Description

La relation entre les axiomes et les définitions a constitué un tournant décisif dans la transformation contemporaine de la logique, des mathématiques et des sciences, à la suite de la naissance et du développement de l'axiomatique moderne et des changements radicaux dans les définitions des notions fondamentales des mathématiques. La conférence explore la diversité des approches de la pensée axiomatique aux XIXe et XXe siècles, à travers une série de communications sur l’histoire de la logique et des mathématiques, allant de Bolzano aux axiomatisations contemporaines de la géométrie.  La conférence est organisée par le projet ANR « Axiomes et Définitions », qui regroupe le CGGG d’Aix-Marseille, le Laboratoire SPHère et l’IHPST de Paris.

  • jeu. 11 juin
    • 13:30 → 14:00
      Accueil 30m
    • 14:00 → 15:15
      The Evolution of Bolzano’s Views on Definition 1h 15m
      Orateur: Paul Rusnock (University of Ottawa)
    • 15:15 → 15:45
      Pause 30m
    • 15:45 → 17:00
      Axioms and Definitions in Russell 1h 15m
      Orateur: Sébastien Gandon (Université Clermont Auvergne)
    • 17:00 → 17:15
      Pause 15m
    • 17:15 → 18:30
      Conceptual Analysis and the Dialectic of Rigour: Gödel’s Conception of Axiomatics 1h 15m
      Orateur: Gabriella Crocco (Centre Gilles Gaston Granger, Aix-Marseille)
  • ven. 12 juin
    • 09:00 → 09:30
      Accueil 30m
    • 09:30 → 10:45
      Where were the Axioms for the Calculus? 1h 15m
      Orateur: Jeremy Gray (The Open University)
    • 10:45 → 11:15
      Pause 30m
    • 11:15 → 12:30
      TBA 1h 15m
      Orateur: Thomas Ryckman (Stanford University)
    • 12:30 → 14:00
      Pause 1h 30m
    • 14:00 → 15:15
      Axioms and Definitions in Early Set Theory: The Cases of Dedekind and Cantor 1h 15m
      Orateur: José Ferreiros (University of Sevilla)
    • 15:15 → 15:30
      Pause 15m
    • 15:30 → 16:45
      Searching for the Weakest System of Axioms Needed to Prove a Certain Theorem: Reverse Geometry in Modern Times 1h 15m
      Orateur: Victor Pambuccian (Arizona State University)