La lettre de la Preuve

ISSN 1292-8763

WG 2: Argumentation and proof
CERME 6

Lyon
27 January - 1 February 2009

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).
Papers had to be submitted electronically until the 15th September 2008 to the chair and to the CERME organisation.
Deadline:
November, 20 Resolutions to papers, posters and financial support sent.
November, 25 Reduced fee registration deadline

To know more ...

Notices is the world's most widely read magazine aimed at professional mathematicians. A special issue is devoted to formal proof:
Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such
proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects.
- Formal Proof (Thomas C. Hales)
- Formal Proof—The Four-Color Theorem
(Georges Gonthier)
- Formal Proof—Theory and Practice
(John Harrison)
- Formal Proof—Getting Started
(Freek Wiedijk)

Soutenance de thèse:

Etude épistémologique et didactique de la preuve en mathématiques et de son enseignement. Une ingénierie de formation

Michèle GANDIT

Grenoble, 28 octobre 2008

L’étude réalisée met en évidence un décalage important entre la preuve en mathématiques et la preuve telle qu'elle vit en classe, notamment au collège : actuellement la transposition didactique dénature son sens, réduisant l’apprentissage de la preuve à celui de savoir faire des exercices d’écriture formelle. Un changement s’avère ainsi nécessaire dans les pratiques des enseignants, pour que la preuve soit abordée en classe, de manière plus satisfaisante sur les plans épistémologique et didactique.

Pour en savoir plus ...

This thesis aims to describe how students encounter proof in a community of mathematical practice at a mathematics department and how they are drawn to share mathematicians'views and knowledge of proof. Considering the department as a community of practice where the joint enterprise is learning mathematics in a broad sense made it possible to perceive the newcomers as active participants in the practice.The combination of a socio-cultural perspective, Lave and Wenger's social practice theories and theories about proof offers a fresh framework in understanding and describing the diversity of the culture involving such a complex notion as proof.