HomeCycle de conférences en philosophie des mathématiques

HomeCycle de conférences en philosophie des mathématiques

*  *  *

Published on Wednesday, April 29, 2015

Abstract

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.

Announcement

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"

Places

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

Date(s)

  • Tuesday, June 02, 2015
  • Thursday, June 04, 2015
  • Tuesday, June 09, 2015
  • Thursday, June 11, 2015
  • Tuesday, June 16, 2015
  • Thursday, June 18, 2015
  • Tuesday, June 23, 2015
  • Thursday, June 25, 2015

Keywords

  • mathématiques

Contact(s)

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

Reference Urls

Information source

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

License

CC0-1.0 This announcement is licensed under the terms of Creative Commons CC0 1.0 Universal.

To cite this announcement

« Cycle de conférences en philosophie des mathématiques », Lecture series, Calenda, Published on Wednesday, April 29, 2015, https://calenda.org/326782

Archive this announcement

  • Google Agenda
  • iCal
Search OpenEdition Search

You will be redirected to OpenEdition Search