Fiche du document
Auteur
Date
4 janvier 2011
Type de document
Périmètre
Langue
Identifiants
- ISIDORE Id: 10670/1.16ca49...
- 1502
- oai:sips.univ-fcomte.fr:1502
- isbn: 2-13-0446140-0
- issn: 0035-3833
Organisation
Mots-clés
Mathématiques Formalisme Infini Intuitionnisme Mathematics Formalism Infinite IntuitionismCiter ce document
Jean LARGEAULT, « Brève note sur l’intuitionnisme de Brouwer », Système d'information en philosophie des sciences, ID : 10670/1.16ca49...
Métriques
Partage / Export
Résumé
Sur les controverses entre intuitionnisme et formalisme (1920-1930), qui diffèrent par la conception de l’infini. Dans la doctrine formaliste (Hilbert), les propositions sur le transfini sont considérées comme des propositions idéales sans contenu ontologique. L’intuitionnisme, qui ne donne pas lieu à une mathématique du second ordre, se tient strictement, dans les mathématiques, à l’infini potentiel.
