Página inicialCycle de conférences en philosophie des mathématiques

Página inicialCycle de conférences en philosophie des mathématiques

*  *  *

Publicado quarta, 29 de abril de 2015

Resumo

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.

Anúncio

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"

Locais

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

Datas

  • terça, 02 de junho de 2015
  • quinta, 04 de junho de 2015
  • terça, 09 de junho de 2015
  • quinta, 11 de junho de 2015
  • terça, 16 de junho de 2015
  • quinta, 18 de junho de 2015
  • terça, 23 de junho de 2015
  • quinta, 25 de junho de 2015

Palavras-chave

  • mathématiques

Contactos

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

Urls de referência

Fonte da informação

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

Licença

CC0-1.0 Este anúncio é licenciado sob os termos Creative Commons CC0 1.0 Universal.

Para citar este anúncio

« Cycle de conférences en philosophie des mathématiques », Ciclo de conferências, Calenda, Publicado quarta, 29 de abril de 2015, https://doi.org/10.58079/sk5

Arquivar este anúncio

  • Google Agenda
  • iCal
Pesquisar OpenEdition Search

Você sera redirecionado para OpenEdition Search