Sciences, normes, décision - Representation and Axiomatization : Power and limits - Workshop Philmath

Sciences, normes, décision

Accueil > Activités > Colloques et bourses > 2015

Representation and Axiomatization : Power and limits - Workshop Philmath

par Emilio Thalabard - publié le , mis à jour le

[| Jeudi 19 mars 2015 — Samedi 21 mars 2015 Chaque jour : 9h00-18h00 IHPST – Salle de conférence |] [| WORKSHOP du séminaire PhilMath |] [| Representation and Axiomatization : Power and Limits |] Le workshop fait partie des projets HYPOTHESES  et ObMathRe , financés conjointement par l’Agence nationale de la recherche et la Deutsche Forschungsgemeinschaft   The aim of the workshop is to understand whether the formal analysis of mathematical proofs — as it has been developed by the proof-theoretical tradition of Hilbert and Gentzen — is compatible with the use of diagrammatical representations. More precisely, the idea is to investigate the articulation of these two different approaches with respect to two fundamental aspects of the mathematical practice of demonstration : assuming hypotheses and drawing inferences. Since axiomatic reasoning plays a crucial role with respect to these two aspects, the question can be rephrased as the problem of the compatibility of axiomatic thought and reasoning by representation. A particular attention will be given to the ontological import of these two practices. Descriptif du colloque  [>]