FINITISME ET ULTRAFINITISME, mathématique
- Article mis en ligne le
- Modifié le
- Écrit par Jacques-Paul DUBUCS
Bibliographie
R. Blanché & J. Dubucs, La Logique et son histoire, Armand Colin, Paris, 1996
M. Dummett, „Wang's Paradox“, in Truth and Other Enigmas, Harvard University Press, Cambridge, Mass., 1978
K. Gödel, „Über eine noch nicht benützte Erweiterung des finiten Standpunkts“, in Dialectica, 12, pp. 280-287, 1958 (reprise avec une trad. anglaise in Collected Works de K. Gödel, vol. II, pp. 240-251, S. Feferman et al. éd., Oxford University Press, Oxford, 1990
D. Hilbert, „Über das Unendliche“, in Mathematische Annalen, 95, pp. 161-190 (trad. franç. J. Largeault in Intuitionnisme et théorie de la démonsration. Textes de Bernays, Brouwer, Gentzen, Gödel, Hilbert, Kreisel, Weyl, coll. „Mathésis“, Vrin, Paris, 2002).
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jacques-Paul DUBUCS : chargé de recherche au C.N.R.S.
Classification
Pour citer cet article
Jacques-Paul DUBUCS. FINITISME ET ULTRAFINITISME, mathématique [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )
Article mis en ligne le et modifié le 10/02/2009
Autres références
-
CONSTRUCTIVISME, mathématique
- Écrit par Jacques-Paul DUBUCS
- 1 372 mots
– le finitisme de David Hilbert (1862-1943), qui requiert que le raisonnement mathématique s'applique à des assemblages de symboles quasi concrets ;