La lettre de la Preuve

ISSN 1292-8763

The 6th Conference of the European Society for Research in Mathematics Education (CERME 6) will take place at Lyon (France) on January, 27 - February, 1. The Working sessions of Group 2 offer a stimulating forum for researchers interested in the field of argumentation and proof (argumentation and proof, including epistemological and historical issues, learning issues and classroom situations). Clicking here, you can find the text of the all accepted papers.

To know more ...

This year word is “preuve” (in French).

You will find a call for paper (in French) in the attached file.

Proposal summary of 1000 signs should be addressed by mail to Jacques Baillé or Laurent Lima (mail addresses in the attached file) before the 15th of March 2009.

Pour en savoir plus ...

New computer tools have the potential to revolutionize the practice of mathematics by providing far more-reliable proofs of mathematical results than have ever been possible in the history of humankind. These computer tools, based on the notion of "formal proof", have in recent years been used to provide nearly infallible proofs of many important results in mathematics. A ground-breaking collection of four articles by leading experts, published today in the Notices of the American Mathematical Society, explores new developments in the use of formal proof in mathematics

The 33rd Annual Meeting of the International Group for the Psychology of Mathematics Education will take place in Thessaloniki, Greece from 19 – 24 July, 2009.

The theme of the conference, “In search for theories in Mathematics Education”, has been chosen in the hope that, as Ancient Greece provided the context within which Mathematics advanced theoretically, Modern Greece can become the threshold for enhancing the ongoing debate on this crucial for our field’s scientific maturity and development issue.

New computer tools have the potential to revolutionize the practice of mathematics by providing far more-reliable proofs of mathematical results than have ever been possible in the history of humankind. These computer tools, based on the notion of "formal proof", have in recent years been used to provide nearly infallible proofs of many important results in mathematics. A ground-breaking collection of four articles by leading experts, published today in the Notices of the American Mathematical Society (http://www.ams.org/notices), explores new developments in the use of formal proof in mathematics.

L'Epreuve du tangible. Expériences de l’enquête et surgissements de la preuve

Francis Chateauraynaud
Directeur d'études à l'Ecole des Hautes Etudes en Sciences Sociales

Document the travail, 2004

Que faisons-nous lorsque cous cherchons à élaborer des preuves? La question semble conduire immanquablement vers l'épistémologie. On peut cependant concevoir un autre espace de raisonnement en s'intéressant aux façons dont les protagonistes les plus divers affrontent la problématique de la preuve dans le cours de leurs enquetês ou de leurs expertises. Dans les usages ordinaires, le terme de preuve vaut d'abord comme annonce comme promesse de montrer quelque chose, de la faire "toucher du doigt". La preuve vient combler une attente...

Un numéro spécial de ZDM (2004, volume 36) est consacré aux mathématiques discrètes. Plusieurs articles traitent de l’intégration des mathématiques discrètes dans le curriculum, dans différents pays. Cette branche « jeune » des mathématiques suscite l’intérêt du fait des nouvelles potentialités qu’elle offre. En effet, elle permet d’engager les étudiants dans une
démarche mathématique, offrant ainsi un champ à part entière pour l’apprentissage de la preuve, de la modélisation, mais pas seulement. Certains soulignent même combien l’expérience en mathématiques discrètes peut favoriser le développement de processus heuristiques chez des étudiants ayant des difficultés en mathématiques.