AccueilCycle de conférences en philosophie des mathématiques

*  *  *

Publié le mercredi 29 avril 2015 par Céline Guilleux

Résumé

La sixième édition du cycle de conférences en philosophie des mathématiques Philmath Intersem se tiendra du 2 au 25 juin 2015. Le thème cette année est la nature et le(s) rôle(s) des constructions en mathématiques.

Annonce

Présentation

La 6e édition du Philmath Intersem se tiendra du 2 au 25 juin 2015. Le thème cette année est la nature et le(s) rôle(s) des constructions en mathématiques.

Le Philmath Intersem est une collaboration de Notre Dame University, l'Université Paris Diderot, le laboratoire Sphere et l'Université de Lorraine.

Les abstracts, conseils de lectures et informations pratiques sont disponibles sur le site suivant.

Programme

Mardi 2 juin

16h00

  • Göran Sundholm (University of Leiden), "Constructions in Constructive Mathematics and Logic"

Jeudi 4 juin

16h00

  • David Rowe (Johannes Gutenberg University, Mainz), "Reflections on the Role of Construction in Hilbert's Grundlagen der Geometrie"

Mardi 9 juin

16h00

  • Gilles Dowek (INRIA, Deducteam), "A radical view of proofs as algorithms: certifying vs. certified algorithms"

Jeudi 11 juin

Session double.

  • 14h00 - John Bell (University of Western Ontario), "Hermann Weyl and Constructivism"
  • 16h15 - Carl Posy (Hebrew University of Jerusalem), "Intuition and Construction in the Foundations of Mathematics: Three Case Studies"

Mardi 16 juin

Session double.

  • 14h00 - Frédéric Brechenmacher (Université d'Artois; CNRS), "Naturalness and effectiveness  in Kronecker’s arithmetical theory of algebraic magnitudes"
  • 16h15 - Marco Panza (Université Paris 1, Pantheon-Sorbonne, IHPST; CNRS), "What makes Descartes' Geometrical Curves Geometrical and his Mechanical Curves Mechanical?"

Jeudi 18 juin

Session double.

  • 14h00 - Mark van Atten (Université Paris 1, Pantheon-Sorbonne, IHPST; CNRS), "Kripke's Schema, transfinite proofs, and Troelstra's Paradox"
  • 16h15 -  David McCarty (Indiana University-Bloomington), "Why is Intuitionism Constructive Mathematics?"

Mardi 23 juin

16h00.

  •  Nathan Sidoli (Waseda University), "Constructions and Problems in Euclid's Elements"

Jeudi 25 juin

16h00.

  • Orna Harari (Tel Aviv University), "Geometrical Construction: Greek Philosophical Perspectives"

Lieux

  • Bâtiment Condorcet, Salle Klimt (366A) - 4 rue Elsa Morante
    Paris, France (75013)

Dates

  • mardi 02 juin 2015
  • jeudi 04 juin 2015
  • mardi 09 juin 2015
  • jeudi 11 juin 2015
  • mardi 16 juin 2015
  • jeudi 18 juin 2015
  • mardi 23 juin 2015
  • jeudi 25 juin 2015

Mots-clés

  • mathématiques

Contacts

  • Emmylou Haffner
    courriel : emmylou [dot] haffner [at] gmail [dot] com

URLS de référence

Source de l'information

  • Emmylou Haffner
    courriel : emmylou [dot] haffner [at] gmail [dot] com

Pour citer cette annonce

« Cycle de conférences en philosophie des mathématiques », Cycle de conférences, Calenda, Publié le mercredi 29 avril 2015, https://calenda.org/326782

Archiver cette annonce

  • Google Agenda
  • iCal