Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
Certification IDDN Valid HTML 4.01 Transitional
Auteur(s) : Lombardi Henri

Titre : Mathématiques constructives. Hier et demain. p. 3-14.

Editeur : Presses universitaires de Franche-Comté (PuFC) Besançon, 1994 Collection : Les Publications de l'IREM de Besançon
Format : A4, p. 3-14 ISBN : 2-909963-70-5 EAN : 9782909963709  ISSN : 1629-7040

Type : chapitre d'un ouvrage Langue : Français Support : papier

Public visé : chercheur, enseignant Niveau : licence, master Age : 20, 21, 22

Classification : A60Actes de Colloque, rapports et bilans D10Ouvrages généraux sur l'histoire et épistémologie des mathématiques, de l'informatique, et de leur enseignement. Ouvrages généraux sur la philosophie des mathématiques. Actes de Colloques, recueils d'articles. 

Résumé :

L'auteur présente le point de vue constructif en mathématiques en développant des exemples (en géométrie, en analyse, en arithmétique).

Voici le plan de l'article :
- Introduction
- Trois exemples d'opposition entre les méthodologies cantoriennes et constructives
- Points de repère historiques concernant le débat philosophique. L'infini chez les Grecs. La crise des infinitésimaux. La crise des géométries non euclidiennes. Cantor et l'avènement de l'infini actuel. Les paradoxes de la théorie des ensembles et les avatars de l'hypothèse du continu. Le programme de Hilbert. Le point de vue formaliste. Et demain ?
- Quelques conclusions. Ce que ne sont pas les mathématiques constructives. Ce que sont les mathématiques constructives.

Notes :
Chapitre de l'ouvrage Mathématiques constructives. Ressource en ligne
Il est également paru dans Les démonstrations mathématiques dans l'histoire. Ressource en ligne

Un fac-similé numérique est en téléchargement sur le site " Bibliothèque numérique des IREM et de l'APMEP"

Mots clés :


© ADIREM-APMEP -2003- ISSN 1292-8054 Mise à jour 24/11/2017
Accueil Publimath  Aide à la recherche   Recherche Avancée   Aidez-nous à améliorer cette fiche 
Certification IDDN