Intuicionismo

La historia del intuicionismo comienza en 1912, cuando Luitzen Egbertus Jan Brouwer formuló sus fundamentos filosóficos con su crítica a la ley del tercio excluido. En la década de 1920 se produjo la crisis fundamental de las matemáticas mencionada en la introducción entre la escuela formalista de Hilbert y Brouwer, que contaba con el apoyo del alumno de Hilbert, Hermann Weyl. La primera formalización completa de la lógica proposicional y de predicados intuicionista fue presentada por Arend Heyting en 1930. En 1933, Kurt Gödel mostró una posibilidad de traducción de la lógica clásica a la intuicionista. Saul Kripke fue el primero en presentar una semántica para la lógica intuicionista. Otros lógicos y matemáticos que han contribuido al intuicionismo son Andrei Kolmogorov, Stephen Kleene y, en Alemania, Paul Lorenzen.