[ATHENA] Michael Detlefsen aux "Grandes conférences des Archives Henri Poincaré" - Mercredi 6 juin 2018

[Laurent ROLLET <laurent.rollet AT univ-lorraine.fr>]

Chères et chers collègues,

La huitième Grande Conférence des Archives Henri-Poincaré (Université de Lorraine et Université de Strasbourg) aura lieu le mercredi 6 juin prochain : 

 

Michael Detlefsen (Université Notre-Dame, département de philosophie) proposera une conférence intitulée :

«  Formalism: Consistency, Rigor and the Observation of Reasoning » 

A central element of modern formalism is its promotion of consistency as a criterion of acceptance for a body of reasoning. What is commonly called the consistency problem for a body of reasoning is the problem of establishing, by appropriate means, its consistency. To solve (and even to formulate) such a problem, requires identification of the "body of reasoning whose consistency is in question”. This raises the question of how bodies of reasoning are to be identified. This is the question that will chiefly concern me in this talk.

Cette conférence s’inscrira dans le cadre de la journée d'études « Formalisme, formalisation, intuition ad Understanding in Mathematics » organisé à la MSH Lorraine à partir de 11 heures. Pour plus de détails : https://poincare.univ-lorraine.fr/fr/manifestations/journee-detudes-ffium 

La conférence aura lieu de 17h à 19 h, à Nancy, à l’Université de Lorraine, dans la salle internationale de la Maison des sciences de l’homme Lorraine, 91 avenue de la Libération, Nancy, (3^e étage, salle 324).  En raison des dispositions Vigipirate il est impératif d'entrer dans le bâtiment de la MSH Lorraine avant 17H00.

Prochaine Grande Conférence :

• 20 juin 2018 : Marc Moyon (Université de Limoges / XLIM - UMR CNRS n°7252) – «  S’approprier les sciences des pays d’Islam : l'exemple des mathématiques médiévales » 

---

Les Grandes conférences sont organisées par les Archives Henri Poincaré (Universités de Nancy et de Strasbourg), le CNRS, le Département de Philosophie de l'Université de Lorraine à Nancy et la Maison des sciences de l'homme Lorraine.

Pour plus de détails sur le programme de l’année : http://u2l.fr/ec5e2i  

Laurent Rollet
–––––––––––––––––––––––––––––––––––––––––––––
Université de Lorraine
Ecole nationale supérieure en génie des systèmes et de l’innovation &
Archives Henri Poincaré – Philosophie et Recherches sur les Sciences et les Technologies (UMR CNRS 7117)
http://poincare.univ-lorraine.fr/fr/membre-titulaire/laurent-rollet

06 63 11 93 64