2000

	Aczel J. C. (2000) The Evaluation of a Computer Program for Learning Logic: The Role of Students' Formal Reasoning Strategies in Visualising Proofs. CALRG Technical report 192. Computers and Learning Research Group, Institute of Educational Technology, The Open University, Milton Keynes, UK
	Burton L., Morgan C. (2000) Mathematicians writing. Journal for Research in Mathematics Education 31(4) 429-452
	Caferra R., Peltier N., Puitg F. (2000) Emphasizing human technics in geometry automated theorem proving: a practical realization. In: Proceedings of the Third International Workshop on Automated Deduction in Geometry. Zurich, Switzerland, September 25-27, 2000.
	Font Moll V. (2000). Representaciones ostensivas que pueden ser activadas en el cálculo de f'(x). El caso de la función seno. UNO, 25, 21-40.
	Healy L., Hoyles C. (2000) A study of proof conception in algebra. Journal for Research in Mathematics Education 31(4) 396-428
	Hoyles C., Healy L. (2000) Relacionando la argumentación informal con la demostración formal mediante experimentos pedagógicos computacionales. UNO, 25, 9-20.
	Krummheuer G. (2000) Mathematics learning in narrative classroom cultures: studies of argumentation in primary mathematics education [1]. For the Learning of Mathematics. 20(1) 22-32
	Mancuso P. (2000) Mathematical explanation. In Grosholz E., Breger H. (eds.) The Growth of Mathematical Knowledge. Dordrecht: Kluwer Academic Publishers.
	Rodd M. M. (2000) On mathematical warrants: Proof does not always warrant, and a warrant may be other than proof. Mathematical Thinking and Learning 2(3) 221-244.
	Sfard A. (2000) Steering discourse between metaphors and rigor: using focal analysis to investigate the emergence of mathematical objects. Journal for Research in Mathematics Education 31(3) 296-327

 

1999

 

Bornat R., Sufrin B.A. (1999) Animating formal proof at the surface: the Jape proof calculator. The Computer Journal, 43(3), 177-192

  

Raccouris dans les démonstrations par Jean-Paul Delahaye

La concision risquée des preuves humaines contraste avec le bavardage impraticable des preuves formelles : comment savoir si une démonstration est juste ? Cette article évoque les difficultés rencontrées pour écrire des démonstrations formelles mécaniquement vérifiables. Ces difficultés ne signifient pas que les systèmes codifiés pour l'écriture des démonstrations sont inutiles ou insatisfaisants &endash; personne n'envisage aujourd'hui de s'en passer, et c'est à tort qu'on évoque les théorèmes d'incomplétude de Gödel comme arguments contre les formalismes. Les difficultés signifient simplement que l'utilisation des formalismes logiques est beaucoup plus délicate qu'il n'y paraît et que le monde des mathématiques déborde d'une complexité qu'on ne sait pas, en pratique, enfermer dans les boîtes aseptisées que sont les systèmes formels des logiciens.       Pour en savoir plus...

L'axiomatique de Bachmann mise ne mouvement par Cabri-géomètre par Yves Martin	La preuve, langue et culure Prueba, lingua y cultura Proof, language and culture
L'axiomatique de Bachmann ? Le Nec plus ultra dans  l'approche algébrique de la géométrie. Depuis Félix Klein, une géométrie est la donnée d'un ensemble E (de points) et d'un groupe G opérant sur cet ensemble, définissant par là même les isométries, et donc la géométrie. Une approche axiomatique classique définit, à partir d'un ensemble de points et d'un ensemble de droites donnés à priori, une relation d'incidence et (pour les plans métriques) une relation d'orthogonalité. Bachmann propose de s'affranchir ... de l'ensemble des points ... et de l'ensemble des droites, en identifiant celles-ci aux générateurs du groupe qui définira sa géométrie. Pour cela il faut quelques conditions, redéfinir ce qu'est un point, ce qu'est l'incidence. Si la démarche est conceptuellement claire et lumineuse, la voir avec des illustrations Cabri lui donne en plus une esthétique graphique certaine.
	A part of the proof website is now devoted to a repository of material which could help to inform research about the state of the teaching of proof in mathematics in different countries. All contributions are welcome... See also La lettre de la Preuve, septembre/octobre 1999, concerning issues related to proof and culture.

La bibliographie Outil de recherche Cours en ligne A propos du site The bibliography Search tool Online course About the site La bibliografia Herramienta de busqueda Curso electronico Con respecto a este servidor Adresser suggestions et remarques à... Send remarks and suggestions to... Enviar comentarios y sugerencias a ...  The Newsletter Webmaster 2000 4077 [00 0708] [00 0506] [00 0304] [00 0102] 1999 4253 [99 1112] [99 0910] [99 0708] [99 0506] [99 0304] [99 0102] 1998 2559 [98 1112] [98 0910] [98 0708] [98 0506] [98 0304] [98 0102] 1997 1629 [97 1112] [97 0910] [97 0708] [97 0506] [97 0304] [97 0102] Laboratoire Leibniz How to publish Cabri figures on the Web? Cabri Java Project Projet Cabri-géomètre Editeur : Nicolas Balacheff English Editor : Virginia Warfield, Editor en Castellano : Patricio Herbst Advisory Board : Paolo Boero, Daniel Chazan, Raymond Duval, Gila Hanna, Guershon Harel, Celia Hoyles, Maria-Alessandra Mariotti, Michael Otte, Yasuhiro Sekiguchi, Michael de Villiers La lettre de la Preuve         ISSN 1292-8763