FINITISME ET ULTRAFINITISME, mathématique
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
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 ;
