Actions sur le document
La prédominance de la preuve mathématique
Montpellier, 5 mars 2008
Jean-Jacques Szczecinarz est professeur de philosophie à l'Université Paris 7 Diderot
Mercredi 5 mars à 14h
Bât. 7, salle des Actes
Université Montpellier II
Cette conférence est la troisième d'un cycle de conférences proposé par l'IREM de Montpellier, l'IUFM de Montpellier et l'APMEP.
Résumé : Toute pensée est-elle un calcul ? Peut-on prouver en dehors du formalisme mathématique ? Si la preuve est partout à l'oeuvre dans les activités pratiques mais aussi théoriques, elle reste très difficile à définir, ses formes sont très variées. La preuve est l'expression de la persévérance de l'être que Spinoza a mise à la base de sa philosophie.
On présentera des réflexions sur la démonstration mathématique en essayant de produire des distinctions entre démonstration formelle et démonstration informelle, question qui est différente, bien entendu, de celle de la validité du raisonnement. Quelques analyses encore partielles de l'existence de plusieurs démonstrations devenant objet, nous examinerons qulques exemples de théorie de la preuve.
