Intuicionismo


Intuicionismo

En filosofía de las matemáticas, Intuicionismo o Neointuicionismo (contrario a preintuicionismo), es una aproximación a las matemáticas a partir de una vista mental constructiva humana.

Todo objeto matemático es considerado producto de la mente humana, y, por ende, la existencia de un objeto es equivalente a la posibilidad de su construcción. Esto contrasta con el enfoque clásico, que formula que la existencia de un objeto puede ser demostrada refutando su falsedad. Para los Intuicionistas esto no es válido; la refutación de la falsedad de un objeto matemático no significa que es posible hallar una prueba constructiva de su existencia. Por consiguiente, el Intuicionismo es una variedad del Constructivismo matemático, aunque no son el mismo concepto.

Para el Intuicionismo la validez de un enunciado matemático es equivalente a haber sido probado, pues, ¿qué otro criterio (un intuicionista diría) puede ser válido si los objetos son meras construcciones mentales?.

Esto significa que un enunciado matemático no tiene el mismo significado para un Intuicionista que para un Matemático clásico.

Por ejemplo, decir A o B, para un Intuicionista significa que A o B pueden ser probados. En particular la Ley de Tercero Excluido o Principio de Bivalencia, A o A negada, no es valida por el hecho de que no se puede probar La declaración A o su negación (véase Lógica Intuicionista):

El Intuicionismo también rechaza la abstracción del infinito; no considera asignarles a algún conjunto dado entidades infinitas como el campo de los números naturales, o una secuencia arbitraria de números racionales.

Esto requiere la reconstrucción de los fundamentos de la Teoría de Conjuntos y el Cálculo como la Teoría Constructivista de Conjuntos y El Análisis Constructivo respectivamente.

Contribuyentes al Intuicionismo


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • intuicionismo — sustantivo masculino 1. (no contable) Área: filosofía Doctrina filosófica que atribuye a la intuición un papel principal en el conocimiento humano …   Diccionario Salamanca de la Lengua Española

  • intuicionismo — m. Fil. Teoría que atribuye un papel esencial a la intuición en el conocimiento …   Diccionario de la lengua española

  • Intuicionismo — ► sustantivo masculino 1 FILOSOFÍA Doctrina que defiende la prioridad de la intuición sobre otras formas de conocimiento racional. 2 LÓGICA, MATEMÁTICAS Teoría lógica que defiende que sólo deben considerarse las entidades matemáticas que se… …   Enciclopedia Universal

  • intuicionismo — {{#}}{{LM I22510}}{{〓}} {{[}}intuicionismo{{]}} ‹in·tui·cio·nis·mo› {{《}}▍ s.m.{{》}} Doctrina filosófica que basa el conocimiento de la realidad en la intuición: • El filósofo francés Bergson propone el intuicionismo como único procedimiento… …   Diccionario de uso del español actual con sinónimos y antónimos

  • Filosofía de la matemática — Saltar a navegación, búsqueda La filosofía de las matemáticas es una rama de la filosofía. Según Michael Dummett puede considerarse que hay cuatro preguntas fundamentales sobre el contenido de la filosofía de las matemáticas: ¿Cómo sabemos que… …   Wikipedia Español

  • Fundamentos de la matemática — Los fundamentos de las matemáticas es un término a veces usado para ciertos campos de las matemáticas, como la lógica matemática, teoría de conjuntos axiomática, teoría de prueba, teoría de modelos y la teoría de recursividad. La búsqueda de… …   Wikipedia Español

  • Hermann Weyl — Hermann Klaus Hugo Weyl Hermann Weyl (izquierda) y Ernst Peschl (derecha) Nacimiento 9 de noviembre 1885 Elmshorn …   Wikipedia Español

  • Luitzen Egbertus Jan Brouwer — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar …   Wikipedia Español

  • Lenguaje formalizado — El lenguaje formalizado es un lenguaje sometido a unas «reglas fijas de formación de expresiones y significados». Es una de las características esenciales del lenguaje científico. Incluso hay autores que llegan a opinar que la ciencia en sí misma …   Wikipedia Español

  • Constructivismo (matemáticas) — En la filosofía de las matemáticas, la escuela constructivista o el constructivismo requiere para la prueba de la existencia de un objeto matemático, que él mismo pueda ser encontrado o construído . Para esta escuela no es suficiente la prueba… …   Wikipedia Español


Compartir el artículo y extractos

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.