Intuitionnisme est une philosophie mathématique qui veut que les mathématiques sont une création purement formelle de l'esprit. Il était originaire de début du vingtième siècle par LEJ mathématicien néerlandais Brouwer. Postule l'intuitionnisme que les mathématiques est une interne, contenu vide processus par lequel les uniformes énoncés mathématiques ne peut être conçu et prouvé que des constructions mentales. En ce sens, l'intuitionnisme en contradiction avec les principes fondamentaux nombreux domaines des mathématiques classiques, qui soutient que les mathématiques sont l'analyse objective de l'existence extérieure.
Intuitionnisme diffère de philosophies classiques des mathématiques, tels que le formalisme et le platonisme, en ce qu'elle ne suppose pas l'existence d'une réalité extérieure mathématiquement cohérente. En outre, il ne suppose pas que les mathématiques sont un langage symbolique qui doit suivre certaines règles fixes. Ainsi, depuis les figures symboliques couramment utilisés en mathématiques sont considérées comme la médiation pure, ils ne sont utilisés que pour transmettre des idées mathématiques de l'esprit d'un mathématicien à l'autre, et ne pas en eux-mêmes suggèrent des preuves plus mathématiques. Les deux seules choses assumées par l'intuitionnisme sont la conscience du temps et de l'existence d'un esprit de création.
Mathématiques intuitionnisme et classique chaque postule des explications différentes de ce que cela signifie pour appeler un énoncé mathématique vrai. Dans l'intuitionnisme, la vérité d'un énoncé n'est pas strictement défini par son seul caractère prouvable, mais plutôt par la capacité d'un mathématicien à l'intuition de la déclaration et le prouver par l'élucidation d'autres encore rationnellement cohérente des constructions mentales.
Intuitionnisme a des conséquences graves qui contredisent certains concepts clés en mathématiques classiques. Peut-être le plus célèbre d'entre eux est le rejet de la loi du tiers exclu. Dans le sens le plus élémentaire, la loi du tiers exclu dit que ce soit "A" ou "non A" peut être vrai, mais les deux ne peuvent pas être vraies en même temps. Intuitionnistes soutiennent qu'il est possible de prouver à la fois "A" et "non A" aussi longtemps que des constructions mentales peuvent être construits qui prouvent chaque constamment. En ce sens, la preuve dans le raisonnement intuitionniste ne se préoccupe pas de prouver si oui ou non «A» existe, mais est définie par le fait que les deux "A" et "non A" peut être cohérente et uniforme construit comme des énoncés mathématiques dans l'esprit.
Bien que l'intuitionnisme n’ait jamais supplanté les mathématiques classiques, il reçoit encore beaucoup d'attention aujourd'hui. L'étude de l'intuitionnisme a été associée à un large degré d'avancement dans l'étude des mathématiques, car il remplace concepts de vérité abstraite avec des concepts sur la justification des constructions mathématiques. Il a également été reçu des traitements dans d'autres branches de la philosophie de sa préoccupation avec un esprit idéalisée et pan-subjective création, qui a été comparé à la conception phénoménologique de Husserl du «sujet transcendantal».