Akihori Kanamori (Guest editor) (1997) Proof and Progress in Mathematics. Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science, vol III, 2, May 1997. Dordrecht: Kluwer Academic Publishers. ISSN 0039-7857, pp. 131-210.

L'affermissement des démonstrations en géométrie élémentaire au tournant du XXème siècle par Michel Guillerault

Vers la fin du XIXème siècle et au début du XXème siècle, dès M. Pasch et surtout après D. Hilbert (Grundlagen der Geometrie, 1899), on se préoccupe d'établir la géométrie élémentaire sur des bases solides, ne faisant plus implicitement référence aux cas de figures particuliers qui peuvent se présenter.     On présente ici la contribution à ce débat d'un relativement modeste professeur de classes préparatoires aux Grandes Écoles françaises, semble-t-il fort oublié de nos jours, Louis Gérard, professeur à Lyon puis à Paris, spécialiste de géométrie non-euclidienne (Thèse, 1892) et fort soucieux de présenter les théorèmes de géométrie élémentaire de la manière la plus rigoureuse possible. Rédacteur du Bulletin de Sciences mathématiques et physiques, il y a publié de très nombreuses notes à ce sujet et il est l'auteur (à l'exception d'une seule) de toutes les citations qui vont suivre. En particulier , il est le promoteur infatigable de la notion d'angles orientés de droites, notion qui permet de donner à de nombreuses propositions de géométrie un caractère absolument général, indépendant du cas de figure considéré...   Pour continuer

Soutenance de thèse La démonstration en géométrie dans l'enseignement secondaire tunisien par Hanène Abrougui-Hattab Equipe EIAH Laboratoire Leibniz, Grenoble	The Pure and the Applied: Bourbakism Comes to Mathematical Economics by E. Roy Weintraub and Philip Mirowski
Cette thèse a pour objectif d'étudier les problèmes d'enseignement de la démonstration, en Tunisie. L'étude est organisée autour de quatre pôles : la formulation mathématique, le dessin, l'explication de la règle de substitution et la strucuture de l'enchaînement de la solution. Trois axes de recherche sont présentés : étude de choix curriculaires, analyse des exigences des enseignants, étude des types d'explication proposées par les élèves à propos du passage d'une hypothèse à une conclusion dans un pas de démonstration. Soutenance le 4 septembre 1998, 15 h. Salle François Jaeger Laboratoire Leibniz 44 avenue Félix Viallet, Grenoble Renseignements : Colette Laborde	This paper appeared in a slightly different  form  in Science in Context in volume 7, number 2, 1994, pages 245-272. That journal is published by The Cambridge University Press, which is the copyright holder of record. Abstract : In the minds of many, the Bourbakist trend in mathematics was characterized by pursuit of rigor to the detriment of concern for applications or didactic concessions to the non- mathematician, which would seem to render the concept of a Bourbakist incursion into a field of applied mathematics an oxymoron. We argue that such a conjuncture did in fact happen in postwar mathematical economics, and describe the career of Gerard Debreu in order to illustrate how it happened. Using the work of Leo Corry on the fate of the Bourbakist program in mathematics, we demonstrate that many of the same problems of the search for a formal structure with which to ground mathematical practice also happened in the case of Debreu. We view this case study as an alternative exemplar to conventional discussions concerning the "unreasonable effectiveness" of mathematics in science.
On the nature of mathematical concepts by Verena Huber-Dyson
This on-line paper may provide the reader a   new view on a classical question which is at the core of research on mathematics education.	An Interactive Proof of Pythagoras' theorem
The title could have been, On the nature of mathematical truth, a permanent question for the reader of the proof newsletter... This paper was also my starting point for the discovery of the Edge Third Culture website. I recommend it to the reader. (NB)	Click on "Web" and discover a Java applet  presenting an interactive proof of Pythagoras theorem. This Java applet was written by Jim Morey, it won grand prize in Sun Microsystem's Java programming contest in the Summer of 1995. An interactive proof can also be experienced in the mai/juin 1997 Proof Newsletter

FIRST ANNOUNCEMENT   The National Organizing Committee for the 9th International Congress on Mathematical Education (ICME9) on behalf of the International Commission on Mathematical Instruction (ICMI), is pleased to announce that ICME9 will be held in Tokyo/Makuhari, Japan, from July 31 to August 6, 2000. Makuhari is located between the center of Tokyo and Tokyo International Airport (Narita). E-mail: icme9@ma.kagu.sut.ac.jp URL: http://www.ma.kagu.sut.ac.jp/~icme9/

In the programme preview one will notice a Topic Study Group (TSG) on proof : TSG 12: Proof and Proving in Mathematics Education be ready... pre-register ! Send the following information to the ICME9 secretariat : Prof./Dr./Mr./Ms. Female/Male Name (family name) (first name) (middle name) Affiliation Mailing Address Postal Code Country Telephone number Fax number E-mail address

Tigre	What is a calculation? by O. Bradley Bassler
Tigre est un logiciel d'aide à l'apprentissage de la démonstration en géométrie, au niveau collège, développé par Dominique Py. Il comprend: un logiciel élève (Tigre), un logiciel professeur (TigreP), une base de théorèmes et une base d'exercices.    Cliquer sur le Tigre pour en savoir plus... Tigre peut être librement diffusé, recopié et utilisé à des fins d'enseignement et de recherche, en dehors de toute exploitation commerciale.	This is the text of a talk to a MESA  (Mathematics Education Student Association) colloquium at the University of Georgia (Department of Mathematics Education) on November 12, 1997.   In this paper the author suggests "an alternative view of calculation which would not be restricted to 'effective' or 'mechanical' calculation, but which may or may not encompass all varieties of 'machine calculation'." More information about MESA colloquium, visit Jim Wilson site
from THE MATH FORUM INTERNET NEWS 31 August 1998, Vol.3, No.35   The Kepler Conjecture by Thomas C. Hales, Samuel P. Ferguson
In a booklet published in 1611, J. Kepler described the arrangement of equal spheres into the familiar cannonball arrangement. He asserted that "The packing will be the tightest possible, so that in no other arrangement could more pellets be stuffed into the same container." Thomas Hales and Samuel Ferguson claim to have proved the Kepler Conjecture, that no packing of equal-sized spheres in space can have greater density than that of the face-centered-cubic packing.   The full proof is included in postscript format, as well as some background, history, popular and   academic articles, a link to the "serious stuff" for discrete geometers who wish to check the technical details of the solution, and links to the software used.

La bibliographie Outil de recherche Cours en ligne Questions et réponses A propos du site The bibliography Search tool Online course Questions and answers About the site La bibliografia Herramienta de busqueda Curso electronico Preguntas y repuestas Con respecto a este servidor Adresser suggestions et remarques à... Send remarks and suggestions to... Enviar comentarios y sugerencias a ...  The newsletter editor 1415 [98 07/08] [98 05/06] [98 03/04] [98 01/02] 1629 [97 11/12] [97 09/10] [97 07/08] [97 05/06] [97 03/04] [97 01/02] Laboratoire Leibniz      Projet Cabri-géomètre Editeur : Nicolas Balacheff English Editor : Virginia Warfield, Editor en Castellano : Patricio Herbst Comité scientifique : Daniel Chazan, Raymond Duval, Gila Hanna, Guershon Harel, Celia Hoyles, Maria-Alessandra Mariotti, Michael Otte, Michael de Villiers