INTUITIONNISME
Bibliographie
M. Bourdeau dir., L'Intuitionnisme, numéro spécial de la Revue internationale de philosophie, 4, 2004
L. E. J. Brouwer, « Consciousness, Philosophy, and Mathematics », 1948, trad. franç. J. Largeault éd., in Intuitionnisme et théorie de la démonstration, coll. Mathésis, Vrin, Paris, 2002 ; « De onbetrouwbaarheid der logische principes », 1908, trad. franç. J. Bouveresse, « Les Principes logiques ne sont pas sûrs », in F. Rivenc et P. de Rouilhan, dir., Logique et fondements des mathématiques. Anthologie (1850-1914), Payot, Paris, 1992, pp. 379-392
M. Detlefsen, « Brouwerian Intuitionism », in Proof and Knowledge in Mathematics, Routledge, 1992
J. Dubucs, « Logique, effectivité et faisabilité », in Dialogue, 36, pp. 45-68, 1997
M. Dummett, « The Philosophical Basis of Intuitionistic Logic » (1973), trad. franç. F. Pataut, in Philosophie de la logique, Minuit, Paris, 1991
A. Heyting, Intuitionism. An Introduction, North-Holland Publications, Amsterdam, 1956, 3e éd., 1971
J. Largeault, L'Intuitionnisme, P.U.F., Paris, 1992
C. Wright, Realism, Meaning and Truth, Blackwell, 1993.
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
-
BOREL ÉMILE (1871-1956)
- Écrit par Maurice FRÉCHET
- 2 290 mots
...d'articles à la philosophie et à l'histoire des sciences, à la psychologie, à la pédagogie et à l'économie politique. Fervent défenseur de la conception intuitionniste des mathématiques, il a toujours insisté sur la nécessité de ne jamais perdre de vue le « réel » : pour lui, « les mathématiques ne sont... -
BROUWER LUITZEN (1881-1966)
- Écrit par Gabriel SABBAGH
- 117 mots
Logicien et mathématicien hollandais, né à Amsterdam, Brouwer est l'un des fondateurs de la topologie algébrique. Il en a démontré l'un des plus beaux théorèmes, le théorème du point fixe, dont les applications et généralisations, de la théorie des jeux aux équations différentielles, se sont révélées...
-
CONCEPTUALISME, philosophie
- Écrit par Joseph VIDAL-ROSSET
- 1 329 mots
...Contingence (1984), Jules Vuillemin réserve le terme de conceptualisme à ce que l'on a appelé le conceptualisme ontologique, et utilise le terme d'intuitionnisme pour faire référence à une position philosophique qui subordonne la vérité à la méthode par laquelle la raison accède à celle-ci.... -
CONSTRUCTIVISME, mathématique
- Écrit par Jacques-Paul DUBUCS
- 1 372 mots
– l'intuitionnisme de Luitzen Brouwer (1881-1966) et Arend Heyting (1898-1980), qui rejette certains principes de la logique classique, comme celui du tiers-exclu (A ou non A) ; - Afficher les 15 références
