Die intuitionistische Grundlegung der Mathematik

Abstract

Fil: Heyting, Arend. Het Stedelijk Lyceum; Países Bajos.El objetivo que el matemático intuicionista se propone es el siguiente: practicar matemática como una función natural del intelecto, como una libre, vital actividad del pensamiento. Para él la matemática es un producto de la mente humana. Utiliza el lenguaje, tanto el común como el formalizado, sólo para la comunicación, esto es, para inducir a los demás o a sí mismo la contemplación de sus ideas matemáticas. Tal acompañamiento lingüístico no es una representación de la matemática ni, menos, la matemática mism