Intuitionnisme

Intuitionnisme
Page d'aide sur les redirections Pour les autres significations, voir Intuitionnisme (homonymie).

L'intuitionnisme est une philosophie des mathématiques que L.E.J. Brouwer a élaborée au début du XXe siècle. Pour Brouwer les mathématiques sont une libre création de l'esprit humain. L'intuitionnisme a pour conséquence une profonde remise en cause des mathématiques. En particulier l'intuitionnisme n'accepte pas le raisonnement par l'absurde ou le tiers exclu comme des principes universellement valides. La logique intuitionniste, développée par Arend Heyting, élève de Brouwer, formalise les principes logiques sur lesquels s'appuie l'intuitionnisme.

L'intuitionnisme est souvent considéré comme une forme de constructivisme, avec lequel il a beaucoup en commun, mais il s'en écarte quand, comme c'est le cas pour l'intuitionnisme originel de Brouwer, il conduit à des énoncés mathématiques valides qui ne le sont pas classiquement. La logique intuitionniste ne permet, elle, que de démontrer que des énoncés valides en logique classique.

Bibliographie

  • L.E.J. Brouwer, 1923, On the significance of the principle of excluded middle in mathematics, especially in function theory, p. 334
  • Andrei Nikolaevich Kolmogorov, 1925, On the principle of excluded middle, p. 414
  • L.E.J. Brouwer, 1927, On the domains of definitions of functions, p. 446
  • L.E.J. Brouwer, 1927(2), Intuitionistic reflections on formalism, p. 490
Part I. The foundation of mathematics, Symposium on the foundations of mathematics ; qui débute par les textes compilés de manière non chronologique :
  • Rudolph Carnap, The logicist foundations of mathematics, p. 41
  • Arend Heyting, The intuitionist foundations of mathematics, p. 52
  • Johann von Neumann, The formalist foundations of mathematics, p. 61
  • Arendt Heyting, Disputation, p. 66
  • L.E.J. Brouwer, Intuitionnism and formalism, p. 77
  • L.E.J. Brouwer, Consciousness, philosophy, and mathematics, p. 90



Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Intuitionnisme de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • INTUITIONNISME — Rien a priori de plus opposé au formalisme (cf. théorie de la DÉMONSTRATION; nous supposons que les deux premières parties de cet article sont familières au lecteur) que l’intuitionnisme . Alors que Hilbert met l’accent sur le côté mécanique des… …   Encyclopédie Universelle

  • Intuitionnisme (homonymie) — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. L intuitionnisme peut se référer à : l intuitionnisme en philosophie des mathématiques l intuitionnisme éthique (en) (une théorie méta éthique …   Wikipédia en Français

  • intuitionniste — intuitionnisme [ ɛ̃tɥisjɔnism ] n. m. • 1908; de intuition ♦ Philos. Doctrine attribuant un rôle essentiel à l intuition dans la connaissance. Intuitionnisme bergsonien. ♢ Théorie d après laquelle les mathématiques ont recours à l intuition et… …   Encyclopédie Universelle

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

  • Jules Vuillemin — Pour les articles homonymes, voir Vuillemin. Jules Vuillemin (né le 15 février 1920 à Pierrefontaine les Varans dans le Doubs, décédé le 16 janvier 2001 aux Fourgs dans le Doubs) était un philosophe français, spécialiste de la théorie de la… …   Wikipédia en Français

  • Logique intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… …   Wikipédia en Français

  • Constructivisme (Mathématiques) — Pour les articles homonymes, voir Constructivisme. Dans la philosophie des mathématiques, le constructivisme considère qu il est nécessaire de trouver (ou construire ) un objet mathématique pour prouver qu il existe. Selon les constructivistes,… …   Wikipédia en Français

  • Constructivisme (mathematiques) — Constructivisme (mathématiques) Pour les articles homonymes, voir Constructivisme. Dans la philosophie des mathématiques, le constructivisme considère qu il est nécessaire de trouver (ou construire ) un objet mathématique pour prouver qu il… …   Wikipédia en Français

  • Perfectionnisme (philosophie) —  À ne pas confondre avec Perfectionnisme (psychologie). Le perfectionnisme, au sens philosophique, désigne une théorie morale et politique, d ordre conséquentialiste, cherchant à obtenir la plus grande perfection possible, ou l excellence,… …   Wikipédia en Français

  • INTUITION — Le terme d’intuition désigne la manière d’être d’une connaissance qui comprend directement son objet, par un contact sans médiats avec lui, et sans le secours des signes ou des procédés expérimentaux. À ces caractères d’immédiateté on relie en… …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”