Documentos de Académico
Documentos de Profesional
Documentos de Cultura
VHH
VHH
INTUICIONISMO
· Por intuición no se refiere a algo captado por los sentidos, sino que se refiere a lo inteligible o evidente.
· No se puede demostrar la verdad de una proposición refutando su falsedad, o sea que no se puede
demostrar existencia de un objeto demostrando la imposibilidad de su no existencia.
· Ninguna ciencia, ni siquiera la lógica y la filosofía pueden servir de base para la matemática.
· Deseaban separar a la matemática de la lógica porque decían que la lógica puede conducir a errores.
PRECURSORES:
Immanuel Kant (1724-1804). Filósofo alemán. Habló de la recepción de impresiones, de las cuales el ser
humano no es un receptor pasivo, sino que les impone un orden y una forma, que es la intuición pura. El
ser humano reconoce un objeto por medio de esas representaciones. Habló de juicios sintéticos
(agregan algo nuevo al conocimiento, porque el predicado no está contenido en el sujeto) a priori (son
independientes de la experiencia, provienen de la intuición pura). Este tipo de juicios corresponde a las
verdades matemáticas.
Es famosa su frase "Dios creó los números naturales, el resto es obra del hombre".
Henri Poincaré (1854-1912). Matemático francés. Fue el ultimo “universalista”, luego de Gauss.
Considera que el principio de inducción completa es el verdadero método de la matemática, y en el cual
reside su poder creador, que es distinto de los principios de la lógica. Demostró la consistencia relativa
de las geometrías no euclidianas. No se preocupaba por ser riguroso, una vez que sentía que tenía la
solución de un problema lo dejaba inconcluso. Sentía aversión por la lógica. Se decía que era como una
mariposa que vuela de flor en flor.
Hermann Weyl (1885-1955). Matemático alemán. Trabajó junto con Hilbert pero luego criticó sus ideas.
Arend Heyting (1898-1980). Matemático holandés especializado en lógica. Fue discípulo de Brouwer.
· Realizan un recorte de la matemática. David Hilbert dijo “el intuicionismo representa una mutilación de
la matemática”, y que “deja afuera a todos los tesoros de la matemática”, ya que según el intuicionismo,
quedaría afuera todo lo referente al análisis matemático y por ende a casi toda la matemática moderna.
Según Hilbert “prohibirle a un matemático que utilice el principio del tercer excluso es como prohibirle a
un boxeador que utilice sus puños”.
· Hay un cierto misticismo en la explicación de que ciertas cuestiones son evidentes para los seres
humanos según lo afirma el intuicionismo.
LOGICISMO
PRECURSORES:
Gottfried Wilhelm Leibniz (1646-1716). Matemático, lógico y filósofo alemán. Dijo que la matemática es
la lógica de la imaginación. Intentó crear una lógica simbólica que permitiera demostrar proposiciones
de cualquier rama del saber.
LOGICISTAS:
Gottlob Frege (1848-1925). Matemático, lógico y filósofo alemán. Intentó demostrar que la aritmética es
parte de la lógica (para luego fundamentar toda la matemática en la aritmética) en su obra “Leyes
básicas de la aritmética”. En 1902 recibe una carta de Russell con su paradoja que demuestra la
inconsistencia de su obra.
Bertrand Russell (1872-1970). Matemático, lógico, filósofo y escritor galés. Para salvar las paradojas
como la que él mismo inventó creó la teoría de tipos. Premio Nobel en literatura en 1950.
Alfred North Whitehead (1861-1947). Matemático y filósofo inglés. Escribió junto con Russell la obra
“Principia Mathematica”, obra de tres tomos que continúa las ideas de Frege pero incluye la teoría de
tipos.
CRÍTICAS QUE RECIBIÓ EL LOGICISMO:
FORMALISMO
· No existen conceptos correctos o incorrectos, nosotros los inventamos, el requisito es que no haya
contradicciones en la teoría.
· Sostienen que la matemática es un sistema formal, es decir que las verdades primeras a partir de las
cuales se construye el sistema axiomática son elegidas por su creador.
· Considera que ni la matemática es parte de la lógica ni la lógica es parte de la matemática, pero que se
desarrollaron una junta a la otra y que la matemática utiliza a la lógica en las demostraciones.
FORMALISTAS:
David Hilbert (1862-1943). Matemático alemán nacido en Königsberg. Creó lo que se llamó el Programa
de Hilbert que intentaba fundamentar la aritmética y luego fundamentar a toda la matemática en la
aritmética. También se propuso fundamentar a la física del mismo modo que a la matemática.