Penser les mathématiques. Mathématique constructive. p. 58-72.

English Title : Constructive mathematics.

Résumé

Dans cet exposé en deux parties, l’auteur montre que la conception constructive ne rejette rien de la mathématique classique :
1. Les principales philosophie des mathématiques : Le platonisme mathématique (Bolzano, Frege, Cantor, Russell) ; Le formalisme, conçu par Hilbert et poussé à l’extrême par Bourbaki ; Le mathématicien idéal selon le constructivisme ; Mathématique et durée.
2. Quelques outils et concepts des mathématiques constructives : Nombres naturels ; Suite de nombres ; Logique constructive ; Le continu constructif ; Nombres irrationnels et transcendants.

Notes

Texte de conférence paru dans l’ouvrage Penser les mathématiques. Il est reproduit à la suite d’un article de Repères-IREM n° 107.
C’est une version modifiée et abrégée d’un texte de même titre paru dans une brochure de la collection Séminaire de Philosophie et Mathématiques.

Une version texte intégral est en téléchargement sur le site https://hal.science/hal-01522168

Données de publication

Éditeur Editions du Seuil Paris , 1982 Collection Points. Série Sciences Num. S29 Format 11 cm x 18 cm, p. 58-72 Index Notes bibliogr.

ISBN 2-02-006061-2 EAN 9782020060615 ISSN 0337-8160

Public visé élève ou étudiant, enseignant, tout public Niveau licence Âge 18, 19, 20

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