Instituts de recherche sur l’enseignement des mathématiques
Accueil > Publications > La démonstration mathématique dans l’histoire
 
CII Epistémologie et Histoire des mathématiques

La démonstration mathématique dans l’histoire

CHEVALARIAS Nathalie, mardi 21 août 1990

Cet ouvrage de 496 pages, édité par l'IREM de Lyon (ISBN : 2-906943-20-7) est issu des travaux du 7e colloque inter-IREM d'épistémologie et d'histoire des mathématiques qui s'est tenu à Besançon du 12 au 13 mai 1989.

Table des matières

  • Avant propos, par M. HENRY, p. 4
  • Présentation de l’ouvrage, par E BARBIN, p. 5
  • A - OBJET DE LA DÉMONSTRATION MATHÉMATIQUE
    • Présentation, par E. BARBIN, p. 7
    • Prouver : amener à l’évidence ou contrôler les implications ?, par N. ROUCHE, p. 9
    • Arrière-plans philosophiques de la démonstration, par J. GUICHARD, p. 39
    • A propos d’une référence "classique" au Ménon de Platon et de plusieurs lectures possibles, par J. GUICHARD, p. 53
    • Trois démonstrations pour un théorème élémentaire de géométrie. Sens de la démonstration et objet de la géométrie, par E. BARBIN, p. 57
    • Argumentation et démonstration : A quoi sert la démonstration de la "Loi des grands nombres" de Jacques Bernoulli (1654-1705), par N. MEUSNIER, p. 81
    • Bolzano et la démonstration du théorème des valeurs intermédiaires, par M. GUILLEMOT, p. 99
    • Quelques remarques sur la démonstration (Autour de la philosophie de Gonseth), par R. BKOUCHE, p. 115
  • B - FORMES DE LA DÉMONSTRATION MATHÉMATIQUE
    • Présentation, par E. BARBIN, p. 129
    • Quelques exemples de démonstrations en mathématiques chinoises, par J.C. MARTZLOFF, p. 131
    • Différentes formes de démonstrations dans les mathématiques grecques, par M. LELOUARD, C. MIRA, J.M. NICOLLE, p. 155
    • Intuition et démonstration chez Archimède, par B. BETTINELLI, p. 181
    • De la méthode dite d’exhaustion : Grégoire de Saint-Vincent (1584-1667), par J.P. LE GOFF, p. 197
    • Euler, l’infini, et les nombres imaginaires, par C. MERKER, p. 221
    • Mathématiques constructives : hier et demain , par H. LOMBARDI, p. 233
    • Démonstration automatique en géométrie : une approche par l’algèbre M.F COSTE-ROY, p. 251
  • C . VARIATIONS ET CONTROVERSES AUTOUR DE DÉMONSTRATIONS
    • Présentation, par E. BARBIN, p. 261
    • Les porismes d’Euclide : démonstration ou divination ?, par D. LANIER, p. 263
    • Sur l’histoire des démonstrations de la règle des variations de signe de Descartes, par J. BOROWCZYK, p. 275
    • La courbe brachystochrone : l’histoire d’un problème (analogies, erreurs et incertitudes), par J.L. CHABERT, p. 313
    • Les démonstrations de la formule du binôme au XVIIIème siècle, par M. PENSIVY, p. 325
    • Arbogast ou la formule oubliée, par J.P. FRIEDELMEYER, p. 339
    • Paradoxe de Condorcet et procédures d’agrégation, par G. FERREOL, p. 355
    • Introduction à l’axiome du choix, par M. GUILLEMOT, p. 367
    • Autour de l’axiome du choix, par M. SERFATI, p. 377
  • D . HISTOIRE DE LA DÉMONSTRATION ET ENSEIGNEMENT DES MATHÉMATIQUES
    • Présentation, par E. BARBIN, p. 387
    • Sur la démonstration de l’irrationalité chez les grecs, par D. DAUMAS, p. 389
    • Périmètre et surface du cercle dans les manuels français de la fin du 18ème siècle : Bézout, Peyrard, Legendre et Lacroix, par P. LAMANDE, p. 425
    • Le mystère de la pyramide, par M. GREGOIRE, p. 441
    • L’enseignant, la démonstration et l’Histoire, par G. ITARD, p. 479
  • RÉFÉRENCES DES AUTEURS ET ADRESSES, p. 491
  • PRÉSENTATION DU COLLOQUE, p. 492
  • PROGRAMME DU COLLOQUE, p. 493
  • LISTE DES PARTICIPANTS, p. 494

IREM de Lyon, Villeurbanne, 1990, Format : A5, 496 p. , ISBN : 2-906943-20-7

Fiche Publimath


 
ADIREM

L’assemblée des directeurs d’IREM (ADIREM) donne son nom au réseau des IREM/IREMI/IRES de France, elle élit un président pour un mandant de deux ans renouvelable. Contact : (...)

Comité scientifique

Le rôle de cette instance s’ordonne autour de 3 axes : Veille et incitation, suivi des réalisations des IREM et accompagnement des actions de l’ADIREM. Le comité scientifique des IREM est (...)

Commissions Inter-IREM

Les commissions inter-IREM (CII) sont des groupes de travail constitués de membres de différents IREM centrées sur un cycle d’études, un thème, une activité, une actualité. (...)

IREM - Instituts de recherche sur l’enseignement des mathématiques - 1977-2023 -