Mathématiques constructives. Mathématiques constructives, quelques principes de travail. p. 71-95.

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

Auteur : Lombardi Henri

Résumé

Dans ce chapitre, l’auteur explique sur quels principes de travail se fondent les mathématiques constructives, dans lesquelles tout objet doit pouvoir être clairement défini par une construction.
La discussion, dans cet article, porte sur les problèmes suivants :
– quelles sont les constructions d’objets mathématiques qui sont légitimes ?
– à quels types peuvent appartenir les variables ?
– quelles sont les propriétés qui ont une signification claire ?

Notes

Chapitre de l’ouvrage Mathématiques constructives.

Données de publication

Éditeur Presses universitaires de Franche-Comté (PuFC) Besançon , 1994 Collection Les Publications de l’IREM de Besançon Format A4, p. 71-95

ISBN 2-909963-70-5 EAN 9782909963709 ISSN 1629-7040

Public visé chercheur, enseignant

Type chapitre d’un ouvrage Langue français Support papier

Classification