La lettre de la Preuve |
|
ISSN 1292-8763 |
|
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 |
|
|
|
|
L'axiomatique de Bachmann par |
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. |
|