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.

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

Type : monographie, polycopié Langue : Français Support : papier

Public visé : chercheur, enseignant

Classification : 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. E10Ouvrages généraux sur les fondements des mathématiques et de leur enseignement. Méthodologie de la recherche mathématique 

Résumé :

Cette brochure rassemble différentes études parues de manière éparse autour du thème des mathématiques constructives :
- Hier et demain Ressource en ligne : texte présenté au colloque inter-IREM "Les démonstrations mathématiques dans l'histoire" (1989)
- A propos du théorème des accroissements finis Ressource en ligne : texte remanié du bulletin IREM de Besançon n° 35 (1987)
- De la difficulté d'être omniscient Ressource en ligne : texte présenté au colloque inter-IREM "Histoire d'infini" (1982)
- Notes sur le formalisme en mathématiques Ressource en ligne : texte remanié provenant de la brochure du groupe d'épistémologie de Besançon parue en 1983
- Mathématiques constructives, quelques principes de travail Ressource en ligne : texte paru dans les bulletins IREM de Besançon n° 53 et 54 (1994)

Le point de vue actuellement dominant en mathématiques, celui de l'infini actuel, est soumis à la critique. La question de la signification des énoncés mathématiques occupe une place centrale dans ce débat.

Notes :

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