EL MITO DE EUCLIDES (COPIA DE HISTORIA)

• El problema de la filosofía de las matemáticas, es fragmentaria por que no se

evidencia en los libros, se dice que es consecuencia de las contradicciones de
la teoría de conjuntos de Cantor. (Crisis de fundamentos)
• La historia del problema concluyo, cuando whitehead y rusell abandonaron el
logicismo, estando derrotado el formalismo de Hilbert por el teorema de
Godel ( teorema de incompletitud), y Brouwer aislado predicando el
constructivismo.
• El fundacionismo fue la tendencia predominante en la filosofía de las
matematicas. Hablamos de fundacionismo como un periodo en el cual
distinguidos matemáticos se ocuparon abiertamente de cuestiones filosóficas
y avivaron la controversia publica, se dice fundacionista de aquello en lo que
se trabajan los fundamentos y creencias, que justifican un determinado
conocimiento o creencia.
• La filosofía de las matemáticas, fue un campo activo solo durante un tiempo
por las contradicciones de la teoría de conjuntos, y al cabo de poco tiempo se
inactivo.
• Son dos hebras que se mostraron en el trenzado histórico, una la filosofía de
las matematicas, y la otra en las matematicas propiamente dichas.
• El ideal tradicional de las matematicas, al que llamaron el “mito de Euclides”,
y la realidad de las matemáticas, el ejercicio verdadero de las matemáticas.
• El obispo Berkeley, escribió el libro The Analyst en 1734; decía en el subtitulo,
Discurso dirigido a un matemático infiel, en el cual se examina si los objetos,
principios e inferencias del análisis moderno estan mas distintamente
concebidos o deducidos con mayor evidencia que los misterios religiosos y las
tesis de la fe. (El infiel era Edmund Halley)
• ¿En que consiste este mito de euclides? En la creencia de que los libros de
Euclides contienen verdades clara e indubitables relativas al universo. No fue
hasta mitades del siglo XIX tal mito no hubo, de afrontar reto ni objeción
alguna.
• La filosofía metafísica buscaba establecer certezas apriorísticas sobre la
naturaleza del universo. (el principal respaldo de ella fue el “mito del
Euclides”)
• Las raíces de la filosofía de las matemáticas y de las matemáticas en si era en
Grecia clásica. Para los griegos, las matemáticas significaban Geometría, y la
filosofía de las matematicas que encontramos en platon y aristoteles es la
filosofía de las matematicas.
• Para platón, la misión de la filosofía era descubrir el verdadero conocimiento
que se oculta tras el velo de la opinión y la apariencia, del cambio y la ilusión
del mundo temporal. Las matematicas desempeñaban muy bien esta tarea,
pues el conocimiento matemático es independiente de la experiencia
sensorial, verdades necesaria y eternas.
• Platon toma el ejemplo (en su obra el Menon) de cuando socrates interroga a
un niño esclavo y le lleva a descubrir y le lleva a descubrir el problema de la
duplicidad del área del cuadrado; para justificar su teoría del conocimiento de
lo eterno (o conocimiento verdadero) platon argumento que:
o Conocemos verdades de la geometría que no hemos aprendido ni por
enseñanza ni por experiencia.
o Este conocimiento es ejemplo de las verdades universales e invariables
que efectivamente podemos percibir y reconocer.
o Tiene que existir, en consecuencia, un reino de verdad invariable y
absoluta, que es fuente y fundamento de nuestro conocimiento de lo
Bueno.
• Los racionalistas, como ya hiciera platon, consideraban que la facultad de la
razón es un rasgo innato de la mente humana, mediante la cual podemos
podemos percibir verdades a priori, independientemente de la observación.
• La razón era la facultad que permitía al hombre conocer lo bueno y lo divino,
las matematicas parten de verdades evidentes para proceder a descubrir
verdades ocultas, a merced de procedimientos cuidadosos. Las verdades de la
geometría trataban de formas ideales, palmables a la mente, y juzgar esto
hubiera sido signo de ignorancia o de locura.
• En la disputa entre racionalismo y empirismo, fueron los avances de la ciencia
de la ciencia natural fundada en el método experimental los que dieron al
empirismo su victoria decisiva. La sabiduría convencional de la ciencia paso a
ser el credo de que la realidad fundamental es el universo material y de que
 los únicos métodos legitimos de adquicision de conocimiento son el
experimento y la observación.
• John Stuar Mill, propuso teoría empirista del conocimiento matemático, en la
que decía que las matematicas son una ciencia natural. Por ejemplo sabemos
que 3+4 =7, entonces lo que hizo fue relacionar las cantidades con objetos
concretos. Mas sin embargo tuvo un rechazo y burla por Frege en su libro
“Fundamentos de la aritmética”.
• Las matematicas son el mejor ejemplo de los relacionistas para confirmar y
visualizar su visión del mundo. Siendo para los empiritas un engorroso
contraejemplo de toda su teoría, y que era forzoso dejar de lado o explicar.
• El empirismo es inadecuado para explicar la totalidad del conocimiento
humano. Esta e suna situación embarazosa que persiste, aparte de ser una
causa de las dificultades que hay en la filosofía de las matematicas.
• Las matematicas han ocupado una posición especial en la batalla entre
racionalismo y empirismo. Porque tenemos en matematicas conocimiento de
cosas que jamas hemos visto ni veremos.
• La culminación de la filosofía clasica se alcanzo con Kant, a finales del siglo
XVIII. La obra de Kant trato de unificar las dos tradiciones contrapuestas de
racionalismo y empirismo.
• Metafisica kantiana (herencia de platon), de la búsqueda de certidumbre e
intemporalidad en el concocimiento humano.
o Noumenos: a un objeto no fenoménico es decir que no pertenece a una
intuición sensible, sino intelectual o suprasensible. No se puede llegar
por lo sensible
o Fenomenos: podemos percibirlos a través de nuestros sentidos y
podemos ver cosas e ellas
o Escepticismo: Doctrina filosófica que considera que no hay ningún saber
firme, ni puede encontrarse ninguna opinión segura. O falta de confianza
en la verdad
• La preocupación de Kant, era el conocimiento a priori, un conocimiento
intemporal e independiente de la experiencia.
• Kant distinguia dos tipos de conocimiento apriorístico:
 o Analitico a priori: Es lo que sabemos verdadero por análisis lógico, por el
significado mismo de los términos que estan siendo utilizados.
o Sintetico a priori: son intuiciones propias de la mente humana e
independientes de la experiencia.
• Nuestro conocimiento del tiempo se sistematiza en la aritmética, que se basa
en la intuición de sucesión. Nuestro conocimiento del espacio se sistematiza
en la geometría.
• Las verdades de la geometría y la aritmética nos son impuestas por el
funcionamiento mismo de nuestras mentes, lo cual explica por que son ciertas
para todos y cada uno e independientes de la experiencia.
• Las intuiciones del tiempo y del espacio en las que se basan la aritmética y la
geometría, son objetivas en el sentido de que son universalmente validas para
todas las mentes humanas.
• El dogma kantiano de lo apriorístico continuo ejerciendo una influencia
dominante en la filosofía de la matemática hasta el s XX.
FUNDAMENTOS PERDIDOS Y VUELTOS A HALLAR
• En el siglo XIX, ocurrio un desastre se encontró que exisitian mas de una
geometría, además luego con otros resultados como el descubrimiento de
curvas capaces de llenar un espacio, y curvas continuas pero no diferenciables
en ninguno de sus puntos. Esto dejo al desnudo lo vulnerable de uno de los
cimientos sobre los cuales descansaba la matemática, a saber la intuición
geométrica.
• Los matemáticos del siglo XIX afrontaron el reto, por dedekind y weiertrass
fueron desde la geometría a la aritmética para fundamentar las matematicas.
Para hacerlo era necesario dar una construcción del continuo lineal, es decir,
del sistema de los números reales, y mostrar de que forma construirlos a partir
de los enteros, dedekind, weirtrass y cantor propusieron tres métodos
distintos para hacerlos. En los tres métodos era preciso utilizar algún conjunto
infinito de números racionales para definir o construir un numero real. Asi
pues en el esfuerzo por reducir la aritmética, el análisis y la geometría resulto
forzoso introducir conjuntos infinitos en los fundamentos de las matemáticas.
•
• La teoría de conjuntos desarrollada por cantor, convertida en una rama
fundamental por derecho propio. Parecía que la nocion de conjunto, era tan
simple y fundamental que podría ser el sillar con el cual contruir la totalidad
de las matematicas. Incluso en la degradación de la geometría, pasando a ser
estructura secundaria, pues Frege mostro que los números naturales podían
ser establecidos mediante dicha teoría.
• Al principio la teoría de conjuntos se definio como muy relacionada con la
lógica, las relaciones de inclusion conjuntista es muy enlazada a la de la lógica,
consecuentemente se pensó que estas dos lógica-teoria de conjuntos pudiera
servir de fundamentación para la totalidad de las matematicas.
• La palabra lógica alude a las leyes fundamentales de la razón, la roca firme
del universo.
• La afirmación de que la totalidad de la matematicas se puede establecer
mediante la lógica, esto se le llamo programa logicista, llevado a cabo por
Whitehead y Russell, en “Principia Mathematica”.
• Dado que la totalidad de las matematicas puede ser reducida a la teoría de
conjuntos, todo cuanto se requiere considerar es la fundamentación de la
teoría de conjuntos . sin embargo fue el propio Russell quien descubrió que la
nocion de conjunto, tan transparente en apariencia, contenia trampas
insospechadas.
• Las problematicas de finales del siglo xix y principios del xx, se causaron por
el descubrimiento de contradicciones en la teoría de conjuntos. A estas
contradicciones se les llamaba “antinomias”, como designación para
llamarlas.
• El mas famoso de los ejemplos de conjunto paradójico fue descubierto por
Russell esto fue una antonomia .
• La pardoja de Russell y las otras antinomias pusieron de manifiesto que la
lógica intuitiva, lejos de ser mas segura que las matematicas clásicas, era en
realidad mucho mas peligrosa, pues podía conducir a contradicciones de un
tipo que jamas se presenta en aritmética y geometría. En esto consistio la
crisis de fundamentos, que fue tema clave de las famosas controversias del
primer cuarto de nuestro siglo.
o 3 fueron los principales remedios propuestos:
 o El programa de la escuela logicista encabezada por Frege y Russell, se
propusieron en hallar una reformulación de la teoría conjuntista capaz
de evitar la paradoja de Russell y asi salvar el proyecto. (frege-russell-
whitehead) de establecer la matemática sobre la lógica.
Los trabajos encaminados en el proyecto perdieron su propósito y al final se
dio por entendido que realmente la matemática no podía establecerse
totalmente por la lógica, a modo de tautología.
• Russel en una carta describió y dijo que el conocimiento matemático no
podía establecerse como indubitable o totalmente certero.
• El constructivismo se origino con el topologo holandés L.E.J Brouwer en
1908
• Brouwer exigia que la totalidad de las matematicas estuvieran fundadas
constructivamente sobre los números naturales
• Muchas de las demostraciones típicas de las amtematicas son consideradas
invalidas por los constructivistas.
• Brouwer, dio un contraejemplo a la ley de la tricotomía, dio un numero real,
el cual no aplicaba en esta ley.
• Kronecker y brouwer creían en que toda la matemática debía reconstruirse
a partir de los números enteros, además de reducir a que todo sea finito,
una finitud.
• Hilbert intento defender las matematicas de las criticas de brouwer,
mediante una demostración matemática de la consistencia de las
matematicas clásicas. Se propuso hacerlo por argumentos de tipo
combinatorio y finitista. Este programa tenia tres pasos:
o Introducir un lenguaje formal y reglas de inferencia, dando una
estructura de las demostraciones correctas.
o Desarrollar una teoría de propiedades combinatorias de este lenguaje
formal.
o Demostrar mediante razonamientos puramente finitos que en dicho
sistema no se puede deducir por contradicción.
• El programa demostrativo teorético entraría en acción solo después de que
las matematicas hubieran sido codificadas en un lenguaje formal y sus
demostraciones escritas de formaverificable.
EL OBJETIVO DE HILBERT CON SUPROGRMA ERA EL DE ESTABLECER LA
CERTIDUMBRE DE LOS METODOS MATEMATICOS, DADO QUE SE ENCONTRABAN
CHOCANDO CON DIFERENTES CONTRADICCIONES PARADOJAS, SI NO SE
ENCUENTRA EN ESTO, EN DONDE SE PODRA ENCONTRAR?.
AL FINAL BROUWER Y HILBERT, SE ACOMODARON AL INTUCIONISMO.