Abonnez-vous à Universalis pour 1 euro

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écouvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Classification

Autres références

  • BOREL ÉMILE (1871-1956)

    • Écrit par
    • 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
    • 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
    • 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
    • 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