La lettre de la Preuve

       

ISSN 1292-8763

Septembre/Octobre 2000
  

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