Mathématiques constructives.
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é
Cette brochure rassemble différentes études parues de manière éparse autour du thème des mathématiques constructives :
– Hier et demain : 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 : texte remanié du bulletin IREM de Besançon n° 35 (1987)
– De la difficulté d’être omniscient : texte présenté au colloque inter-IREM « Histoire d’infini » (1982)
– Notes sur le formalisme en mathématiques : texte remanié provenant de la brochure du groupe d’épistémologie de Besançon parue en 1983
– Mathématiques constructives, quelques principes de travail : 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.
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, 100 p. Index Bibliogr. p. 96-96
ISBN 2-909963-70-5 EAN 9782909963709 ISSN 1629-7040
Public visé chercheur, enseignant
Type monographie, polycopié Langue français Support papier
Classification
Mots-clés
- algorithme d'Euclide
- analyse non standard
- approche épistémologique
- arithmétique de Peano
- axiomatique de Zermelo-Fraenkel
- axiomatique formelle
- axiome de détermination
- axiome du choix
- calcul des prédicats
- Cantor Georg
- cardinal d'un ensemble
- concept d'infini
- conjecture de Goldbach
- construction géométrique
- constructivisme – philosophie –
- continuité uniforme
- démonstration mathématique
- dérivabilité
- fonction continue
- fonction récursive
- formalisme mathématique
- géométrie non euclidienne
- Gödel Kurt
- Hilbert David
- histoire des mathématiques
- hypothèse du continu
- infini actuel
- infini potentiel
- langage mathématique
- logique et raisonnement
- logique formelle
- logique intuitionniste
- mathématiques constructives
- méthode de dichotomie
- nature des objets mathématiques
- négation d'une proposition
- paradoxes de la théorie des ensembles
- paradoxes de Zénon
- Peano Giuseppe
- principe du tiers exclu
- programme d'enseignement
- programme de Hilbert
- quantification – logique –
- raisonnement par l'absurde
- théorème d'existence
- théorème des accroissements finis
- théorème des valeurs intermédiaires
- théorèmes d'incomplétude de Gödel
- théorie des classes
- théorie des ensembles
- vérité mathématique