You are on page 1of 45

EPISTEMOLOGÍA DE LA MATEMÁTICA

Y DE LA EDUCACIÓN MATEMÁTICA

EXPERENCIA MATEMÁTICA
PHILIP J. DAVIS & REUBEN HERSH
Capítulos VII - VIII

Por: Mauricio Penagos


Estudiante de Doctorado en Educación
Matemática

UNIVERSIDAD ANTONIO NARIÑO


ABRIL 07 de 2017
Ch. VII DE LA CERTEZA A LA FALIBIDAD
 PLATONISMO, FORMALISMO Y CONSTRUCTIVISMO
 EL SOLEMNE COMPROMISO FILOSÓFICO DEL MATEMÁTICO
 EL MITO DE EUCLIDES
 FUNDAMENTOS PERDIDOS Y VUELTOS A HALLAR
 LA FILOSOFÍA FORMALISTA DE LAS MATEMÁTICAS
 LAKATOS Y LA FILOSOFÍA DE LA DUBITABILIDAD

Ch VIII LA REALIDAD MATEMÁTICA


 LA HIPÓTESIS DE RIEMANN
 𝝅y 𝝅ෝ (PI Y PI-FLEJO)
 MODELOSMATEMÁTICOS, MÁQUINAS COMPUTADORAS Y PLATONISMO
 ¿POR QUÉ HE DE CREERLE A UN ORDENADOR?
 LA CLASIFICACIÓN DE LOS GRUPOS FINITOS SIMPLE S
 INTUICIÓN
 INTUICIÓN TETRADISMENSIONAL
 HECHOS VERDADEROS A CERCA DE OBJETOS IMAGINARIOS
.

Ch. VII DE LA CERTEZA A LA FALIBIDAD


Certeza (http://dle.rae.es/?id=HXPbTds)
1. Conocimiento seguro y claro de algo.
2. Firme adhesión de la mente a algo conocible, sin temor de errar.

Falibilidad (http://dle.rae.es/?id=HXPbTds)
1. Riesgo o posibilidad de engañarse o errar una persona y, por extensión, una entidad o
una cosa abstracta. La falibilidad de la justicia. La falibilidad de los juicios humanos

Falibilidad: que se puede o es posible engañar, faltar o fallar. El riesgo, eventualidad o la


susceptibilidad de errar, engañar o mentir una persona y por extensión cualquier cosa
abstracta. (https://definiciona.com/falibilidad/)
Experiencia matemática. Describir la práctica de la matemática desde un punto de vista histórico y filosófico al
igual que la experiencia de ser matemático y los desarrollos de la disciplina contra un telón de fondo de una
historia y filosofía turbulentas. Se centra, sin entrar en detalles, en el concepto de prueba, dando ejemplos de
algunas demostraciones famosas; al mismo tiempo explicando algunos de los problemas matemáticos
excitantes (como la conjetura de Riemann) para especular acerca del verdadero significado de demostración
matemática, en relación con la verdad. También relaciona la matemática en la educación y hace algunas
consideraciones (relevantes, a pesar que tempranas) sobre la implementación de las computadores en la
matemática. https://es.wikipedia.org/wiki/Experiencia_matem%C3%A1tica
PLATONISMO, FORMALISMO Y CONSTRUCTIVISMO
PLATONISMO: (René Thom, Kurt Gôdel )
Los objetos matemáticos son reales, y su existencia es independiente
del conocimiento que de ellos tengamos, se halla fuera del espacio y
del tiempo de existencia física. Son inmutables; no fueron creados y
no pueden cambiar ni desaparecer.
Los matemáticos son científicos empiristas, nada pueden inventar;
todo cuanto pueden hacer es descubrir.
FORMALISMO: (David Hilbert)
• No existen los objetos matemáticos.
• La matemática: términos no definidos, axiomas, definiciones y teoremas. Hay
reglas mediante las cuales se pueden deducir fórmulas (ristras de símbolos),
unas a partir de otras. Las fórmulas que reciben interpretación física adquieren
un significado (V o F). Las fórmulas puramente matemáticas no tiene significado
y tampoco se les asigna un valor de verdad.
• Las matemáticas, desde la aritmética en adelante no son más que un juego de
deducciones lógicas
• La matemática es la ciencia de la demostración rigurosa (se tiene demostración
o no se tiene nada). La matemática es un juego formal, desprovisto de
significado; preocupación por las cuestiones de consistencia.
• En otros campos, una teoría puede ser defendible a causa de su plausibilidad o
con el fundamento de la experiencia. Pero en matemáticas, dice el formalista, o
se tiene demostración o no se tiene nada.
Puntos de Vista
Hipótesis del Continuo (Cantor): No hay números cardinales infinitos que sean mayores
que ℵ0 (cardinalidad de los números enteros) y menores que 𝐶 (cardinalidad de los
números reales, 𝐶 = 2ℵ0 )
K. Gôdel y P. J. Cohen demostraron que a partir de la teoría formalizada de conjuntos no
es posible demostrar esta hipótesis como tampoco refutarla.
Platónicos: Los axiomas son un sistema incompleto para describir a ℝ (conjunto
compuesto por objetos matemáticos que siempre han existido) La H.C. tiene que ser V ó
F. No comprendemos lo suficiente a ℝ para hallar la respuesta.
Formalistas: Los platónicos están equivocados ya que ℝ no existe, excepto en la medida
en que decidamos crearlo estableciendo los axiomas que lo describan. Somos libres de
cambiar estos axiomas (por conveniencia, por utilidad o por otro criterio que sea) si lo
deseamos.
Platónicos y formalistas se encuentran en bandos opuestos en lo referente a existencia y
realidad.
CONSTRUCTIVISTAS (Kant, Kronecker, Brouwer, Heyting, Weyl):
• La verdadera matemática es la que se puede hacer mediante construcciones finitas.
• ℝ, ni ningún otro conjunto infinito puede ser obtenido constructivamente: la hipótesis
del continuo “es mero parloteo sin sentido”; su validez o no, carece de sentido.

• A mediados del S. XX, el formalismo se convirtió en la actitud filosófica predominante en


los libros de texto y demás escritos oficiales. El grupo Bourbaki es el grupo formalista de
mayor influencia a nivel mundial (1950-1970). Produjeron obras de T. de Conjuntos,
Álgebra y Análisis destinadas a lectores con sólida formación. Sus principios calaron
todos los niveles educativos incluso hasta los jardines infantiles (educación preescolar)
con el nombre de Matemática Moderna; en USA se inventó el juego WFF para enseñar a
los niños de escuela a reconocer fórmulas bien formadas según la lógica formal.

• El constructivismo quedó convertido a una herejía a la que sólo se adherían unos pocos.

• J.D. Monk: El mundo matemático está poblado por un 65% de platónicos, un 30% de
formalistas y un 5% de constructivistas.
EL SOLEMNE COMPROMISO FILOSÓFICO
DEL MATEMÁTICO
• El matemático activo, es platónico entre semana y formalista los domingos. Mientras está
haciendo matemáticas está convencido de tratar con una realidad objetiva, cuyas
propiedades se esfuerza por determinar. Pero cuando se le desafía a que dé una
descripción filosófica de tal realidad, le resulta más fácil fingir que no cree en ella para
nada.
• El matemático típico es simultáneamente platónico y formalista, un platónico en secreto
que se pone la máscara formalista cuando la ocasión lo exige. Los constructivistas son una
especie rara, cuyo status parece ser de herejes, tolerados por los miembros de una
comunidad “eclesial” sólidamente establecida, que los rodea
• El platonismo han sido la fe de (casi) todos los matemáticos, pero al igual que todas las
religiones ocultas, la observación de tal fe se ejercita en privado y es raramente
mencionada en público.

Realidad objetiva está relacionada a objetos o sujetos que tienen existencia, más allá de lo que un sujeto conozca o sepa de
ellos. Se llama Realidad objetiva en el sentido que no es subjetiva ni física. Es una realidad ideal (no física) que es
objetiva (externa a la consciencia de cada persona).
EL MITO DE EUCLIDES
Grecia: Cuna de las matemáticas y de la filosofía de las matemáticas. Matemática
significaba geometría. La filosofía de las matemáticas de Platón o Aristóteles es la
misma filosofía de la geometría-
El mito: Los libros de Euclides contienen verdades claras e indubitables relativas al
universo. A partir de verdades autoevidentes y mediante demostraciones
rigurosas, Euclides llega a un conocimiento cierto, objetivo y eterno. Tal mito tuvo
validez hasta mediados del S. XIX.
• El Fundacionismo fue durante un tiempo la tendencia predominante en la
filosofía de la matemática. Tres escuelas: logicismo, formalismo e intuicionismo,
disputando unas con otras sobre los fundamentos de las matemáticas.
Finalmente ninguna de las tres escuelas logró tal objetivo
• La filosofía de las matemáticas se identifica con el estudio de sus fundamentos,
dejando de lado las matemáticas en sí mismas.
Platón:
• Su punto central es llegar a conocer la verdad. La misión de la filosofía es
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 verdades
universales, necesarias y eternas son las verdades matemáticas.
• Hace una analogía en la cual la verdad corresponde al bien.
• Conocemos las verdades de la geometría que no hemos
aprendido ni por enseñanza ni por experiencia.
• Este conocimiento es ejemplo de las verdades universales e
invariables que podemos percibir y conocer
• En consecuencia Tiene que existir, un reino de verdad
invariable y absoluta, fuente y fundamento de nuestro
conocimiento de lo Bueno (mundo de las ideas puras)
Racionalismo (Spinoza, Descartes, Leibniz)
• La razón es un rasgo innato de la mente humana, mediante la cual podemos percibir
verdades a priori (independientes de la experiencia). La razón es la Facultad que permite
al hombre conocer lo bueno y conocer lo divino.
• Entender el mundo mediante un uso cuidadoso de la razón, garantiza la indubitabilidad
de nuestro conocimiento (puede haber dudas sobre su contenido práctico)
• Las matemáticas y la religión son los ejemplos más preeminentes del conocimiento
alcanzado mediante la razón: Bondad (Platón) ⇒ Conocimiento de Dios (racionalismo
renacentista)
• Triunfo sobre la escolástica medieval: Prestó a la ciencia el servicio de negar la
supremacía de la autoridad (religiosa), a la vez que sostenía la verdad de la religión, lo
que le permitió a la ciencia crecer sin amenazas: La ciencia era el estudio de Dios.
• Newton y Leibniz, cristianos, creían en la existencia de una mente divina. La existencia
de objetos matemáticos (ideales) no es problema.
• El racionalismo sucumbió ante el empirismo (Hobbes Y Locke en Inglaterra) y el
materialismo (los enciclopedistas franceses)
Empirismo: (David Hume, John Locke)
• El conocimiento está basado firmemente en la experiencia; así se asegura el
contenido práctico (aunque estamos asegurados de muy poco). La razón está
supeditada a la información que le proporcionan los sentidos y la experiencia
(nuestras percepciones).
• La realidad fundamental es el universo material; los únicos medios legítimos
de adquisición de conocimiento son el experimento y la observación.
• Todo conocimiento, excepto el matemático, es fruto de la observación. Las
matemáticas eran un engorroso contraejemplo que era forzoso dejar de lado o
explicar.
• Elempirismo es inadecuado para explicar la totalidad del conocimiento
humano.
• Emmanuel Kant:
Culminación de la filosofía clásica (finales del S. XVII). Mediante su platonismo escéptico
(búsqueda de certidumbre e intemporalidad en el conocimiento humano) buscó unificar
las propuestas contrarias de racionalismo y empirismo.
Trazó una distinción entre los nóumenos (intuición intelectual, no sensible) y los
fenómenos. Su preocupación principal era garantizar la existencia del conocimiento a
priori, un conocimiento intemporal e independiente de la experiencia.
Dos tipos de conocimiento a priori, inherentes a la mente humana:
• Analíticos a priori: verdades universales y necesarios (los cuerpos son extensos),
• Sintéticos a priori: independientes de la experiencia y conducentes a nuevos
conocimientos (ej.: nuestras intuiciones a cerca del tiempo y el espacio). Nuestro
conocimiento del tiempo se sistematiza en la aritmética (intuición de sucesión) y
nuestro conocimiento del espacio se sistematiza en la geometría (la euclidiana)
• Las verdades de la geometría y la aritmética nos son impuestas por el funcionamiento
mismo de nuestras mentes, lo cual explica por qué son ciertas para todos e
independientes de la experiencia; son válidas para todas las mentes humanas.
Creencias de los científicos actuales:
• En lo referente a la ontología son las del Materialismo : el mundo es todo él de
una misma cosa que llamamos materia, de cuyo estudio se encarga la física.
Cuando la materia se organiza en configuraciones complicadas, pasa a ser
objeto de ciencias mas especiales, con metodología propia como la química, la
geología y la biología.
• En la epistemología las del Empirismo . Aprendemos sobre el mundo
observándolo y reflexionando sobre lo que vemos. En tanto no miremos, nada
tendremos que reflexionar.
• Sin embargo, tenemos en las matemáticas conocimiento de cosas que jamás
hemos visto y que nunca podremos observar.
FUNDAMENTOS PERDIDOS Y VUELTOS A HALLAR
En el S. XIX se produjeron varios desastres:
El desarrollo de las geometrías no euclidianas
Un desarrollo del análisis que dejó rezagada la intuición geométrica, como curvas
capaces de llenar un espacio y otras continuas pero no diferenciables en ninguno de sus
puntos
La pérdida de certidumbre en la geometría era filosóficamente intolerable: pérdida de la
confianza en el conocimiento humano (lograda desde tiempos de Platón).
Lo anterior suscitó la llamada “Crisis de los Fundamentos”, de lo cual aparecieron tres
propuestas filosóficas de la matemática:
• La Escuela Logicista (Frege y Russell): Fundar la matemática sobre las bases de la
lógica. Proponía establecer una reformulación de la teoría de conjuntos que evitara la
paradoja de Russell. La aparición de antinomias hizo que la propuesta de que las
matemáticas no son mas que una inmensa tautología se derrumbara.
• LEER NOTA DE PÁGINA 244. SOBRE RUSSELL
Escuela Constructivista (Intuicionista): Brouwer: las matemáticas han de partir de lo
intuitivamente dado ℕ , lo finito y tienen que contener solamente lo obtenido de forma
constructiva. Intuición significaba la intuición de contar. Muchas demostraciones típicas
matemáticas son consideradas inválidas por los constructivistas, p.e. a Ley de Tricotomía.
Escuela Formalista (D. Hilbert)
• Demostrar de la consistencia de las matemáticas clásicas mediante argumentos de tipo
combinatorio y puramente finitistas:
1. Introducir un lenguaje formal y reglas de inferencia
2. Metamatemática: teoría de las propiedades combinatorias del lenguaje formal, con el fin de
justificar las matemáticas en lo infinito
3. Demostrar mediante razonamientos finitos que en el sistema no se presentan contradicciones.
• Se sacrificó el significado, anteponiendo a esto la consistencia: las matemáticas un juego
desprovisto de significado.
• Una teoría falsa que no se detiene por una contradicción, no por ello es menos falsa
• En 1930 el Teorema de Incompletitud de Gôdel: Todo sistema formal capaz de describir los ℕ y
la aritmética, no puede ser capaz de demostrar su propia consistencia. Derrumbó el programa
formalista de Hilbert.
• Formalistasy constructivistas aceptan la intuición geométrica como básica y
fundamental; contario a sus propuestas sobre la aritmética
• Para Brouwer como para Hilbert, el cisma entre su ejercicio matemático ordinario
y sus teorías sobre fundamentos no parecían requerir explicación ni apología. Se
dice que en los últimos años Brouwer estaba dispuesto a sacrificar sus
investigaciones en topología a sus dogma intuicionista.
LA FILOSOFÍA FORMALISTA DE LA MATEMÁTICA
• El formalismo no tiene validez es plausible desde la experiencia matemática ordinaria.
Los maestros de la escuela elemental nos hablan de “hechos de la aritmética” o “hechos
de la geometría”; mas tarde nos enseñan los teoremas, como hechos verdaderos
relativos a las figuras o a los números enteros. Desde el formalismo, toda alusión a
hechos o verdades es incorrecta, esto en respuesta al destronamiento de la geometría
euclídea.
• Los esfuerzos por demostrar el 5º postulado de Euclides condujo al nacimiento de las
geometrías no euclídeas, en las cuales el postulado de las paralelas es falso.
• Para el formalista, tal postulado es verdadero para las rectas euclídeas y falso para las no
euclídeas. Ambas geometrías entran en conflicto si consideramos un espacio objetivo
que obedece un único sistema de leyes, al que ambas geometrías deben describir.
• No hacemos matemáticas mientras no hayamos formulado algunas hipótesis e iniciado
una demostración. La medida de cuanto hayamos conseguido en un curso es reflejo de
cuanto hayamos demostrado. La medida de cuanto aprendido y comprendido es “harina
de otro costal”, no matemático.
• El formalismo se mantuvo gracias al positivismo lógico (1940-1960), o escuela de
Viena, que abogaba por una ciencia unificada, fundada en un cálculo lógico formal y
con un único método deductivo (método científico).
• La formalización es el objetivo a lograr en todas las ciencias: elegir un vocabulario de
términos básicos, enunciar las leyes fundamentales mediante tales términos y
desarrollar una teoría por medio de la lógica. En el positivismo de las ciencias, las
matemáticas desempeñan un papel instrumental: el de formular y desarrollar la teoría.
Las fórmulas fundamentales son fórmulas matemáticas.
• El positivismo lógico en la filosofía de la matemática conduce al formalismo en la
filosofía de la matemática
• El formalismo en general no es compatible con el modo de pensar de quienes trabajan
en matemáticas. Esto no era problema para los filósofos positivistas, cuya inspiración
primordial provenía de la física teórica y podían contemplar las matemáticas como una
herramienta y no como una disciplina viva y en crecimiento.
• Problema actual de la matemática: cómo dar una descripción filosófica del desarrollo
de las matemáticas en la realidad, de las matemáticas preformales, las matemáticas
del aula, descripción que ha de incluir un análisis de cómo se relacionan estas
matemáticas con la formalización, y en que medida son aceptadas por ella.
• PÁGINA 251. LEER NOTA
LAKATOS Y LA FILOSOFÍA DE LA DUBITABILIDAD

• El fundacionismo: Establecer una base para la indubitabilidad matemática, dominó la


filosofía de las matemáticas del S. XX.
• Karl Popper (Viena 1902-Londres 1994): Maestro de Lakatos. En la ciencia, la búsqueda
de fundamentos lleva al problema tradicional de la lógica inductiva. “No es ni posible ni
necesario justificar las leyes de la ciencia mediante razonamiento inductivo”. Las teorías
científicas no son inductivamente inferidas a partir de hechos; son inventadas como
hipótesis, especulaciones o conjeturas y son después sometidas a ensayos
experimentales, mediante las cuales tratan los críticos de refutarlas.
• Una teoría tiene derecho a ser considerada ciencia cuando, al menos en principio, puede
ser puesta a prueba y expuesta a quedar refutada. Cuando una teoría sobrevive a tales
pruebas puede ser considerada provisionalmente establecida; pero nunca demostrada.
Es posible que una teoría científica sea objetivamente verdadera, pero nunca se tiene la
certeza de que lo es.
• La propuesta de Popper produjo transformaciones significativas en la filosofía de la
ciencia, no así en la filosofía de la matemática que permanecía estancada padeciendo las
secuelas de las grandes controversias fundacionistas
Imre Lakatos (Hungría 1922-Inglaterra 1974): (Leer Pág 252)
• En el S. XX los escritos filosóficos sobre matemáticas tienen fuerte influencia de las
escuelas fundacionistas. Estos “modelos dogmáticos” han evidenciado falencias que han
repercutido en el ejercicio profesional de los matemáticos.
• “Pruebas y Refutaciones”, en una alternativa opuesta al fundacionismo. Lakatos aplica su
análisis epistemológico no a las matemáticas formalizadas, sino a las matemáticas
informales: las matemáticas en proceso de crecimiento y descubrimiento.
• En la matemática informal, “demostración” no significa un procedimiento mecánico que
lleve a la verdad desde las hipótesis a las conclusiones en irrompible encadenamiento. Por
el contrario, significa explicaciones, justificaciones, elaboraciones que hacen la conjetura
más plausible, más convincente, al tiempo que va adquiriendo mayor detalle y precisión
bajo la presión de los contraejemplos.
• En lugar de presentar símbolos y reglas de combinación, Lakatos presenta a seres humanos:
un profesor y sus alumnos. En lugar de presentar un sistema construido a partir de primeros
principios, ofrece un choque de opiniones, razonamientos y refutaciones. En lugar de una
matemática “esqueletizada y fosilizada” presenta el desarrollo de una idea matemática a
partir de un problema (matemática informal) y una conjetura, que en el calor del debate y
el desacuerdo va adquiriendo forma de teoría. La duda va cediendo el paso a la certeza, y la
certeza a la duda renovada.
Las matemáticas, lo mismo que las ciencias naturales, son falibles y no indubitables; crecen
gracias a la crítica y a la corrección, nunca están libres de ambigüedades (es posible el error o
la omisión). Se parte de un problema o una conjetura, y se buscan siempre simultáneamente
demostraciones y contraejemplos. Las nuevas demostraciones explican los contraejemplos
viejos; los contraejemplos nuevos minan y socavan las demostraciones anteriores
Cada paso de la demostración puede ser criticable, crítica que puede ser mero escepticismo o
en la producción de un contraejemplo a un razonamiento particular.
Contraejemplos Locales: Ejemplos que ponen en tela de juicio pasos concretos del
razonamiento
Contraejemplos Globales: Ejemplos que contradicen no el razonamiento, sino sus conclusiones
(Leer Página 253: Proofs and Refutations: Resumen)
• las filosofías dogmáticas de las matemáticas son inaceptables. Sí es posible (aunque no
lleva a cabo el proceso de reconstrucción) una filosofía de las matemáticas fundada en una
epistemología falibilista (no dogmática) acorde a la propuesta de Popper.
• Las matemáticas informales se desarrollan a través de un proceso de crítica y sucesivo
refinamiento de las teorías y del avance de teorías nuevas que compiten entre si (y no
mediante las pautas deductivas de las matemáticas formalizadas) (Pág. 255-56)
Críticas a la propuesta de Lakatos
• Worrall, J. y Zahar, E. (1976), editores: Lakatos subestima los logros de los rigoristas
matemáticos. El objetivo de las demostraciones rigurosas y correctas es alcanzable.
No hay ningún sentido serio que tales demostraciones sean falibles. …”Una
demostración deductiva moderna es infalible, por lo cual la única fuente de duda sobre
la verdad de las conclusiones, es la duda acerca de la verdad de las premisas… los
logros de la lógica de primer orden hacen su veracidad indubitable. Es en esta medida
el falibilismo de Lakatos incorrecto.
• Solomon Feferman: El esquema de Lakatos, a base de demostraciones y refutaciones
no es adecuado para explicar el crecimiento de todas las ramas de las matemáticas.
Aprecia el logro de Lakatos en lo referente a la enseñanza o la historia de las
matemáticas; “…su propósito fue el de mostrar lo inadecuado del formalismo,
presentando una imagen distinta, el retrato de una matemática viva y en crecimiento,
no fosilizada en axiomas formales… Es un programa que cuadra bien con la disposición
de ánimo progresivamente más crítico y autoritario de los tiempos actuales.
Personalmente, he encontrado mucho donde coincido con él, tanto en su enfoque
general como en su análisis en detalle.

Solomon Feferman (1928-2016) filósofo y matemático estadounidense cuyo mayor trabajo ha sido en lógica matemática, en
particular en teoría de la demostración. Recibió su Ph.D. en 1957 de la Universidad de California, Berkeley bajo la dirección
de Alfred Tarski. Profesor emérito de la Universidad de Stanford. https://es.wikipedia.org/wiki/Solomon_Feferman
CAPÍTULO VIII: LA REALIDAD MATEMÁTICA
• Verdades matemáticas: Métodos Heurísticos vs Métodos Rigurosos. Los primeros
pueden ser sumamente convincentes; los rigurosos pueden dejarnos con dudas
• Distribución de los números primos: (Gauss 1792; C. de la Vallée Poussin & Jacques Hadamard 1896)
𝜋 𝑛 = cantidad de números primos que son menores o iguales que un número 𝑛
𝑛
𝜋(𝑛) ≈ comportamiento comprobado por métodos computacionales para 𝑛 < 1010
ln 𝑛
Se formula una conjetura osada, muy precisa
e informativa, poco probable que se verifique
por casualidad .
La conjetura es puesta a prueba, no mediante
experimentos físicos, sin mediante cálculos
Numéricos.
Los ensayos fracasan al tratar de refutar la
conjetura . La conjetura sale de la prueba
grandemente forzada, “demostrada”
experimentalmente, aunque no, en sentido
matemático y deductivo
La Hipótesis de Riemann
• Función “zeta” de Riemann: 𝜁 𝑧 = 1 +
1
2𝑧
+
1
3𝑧
+
1
4𝑧
+⋯
• La hipótesis de Riemann se refiere a las raíces de la Función “zeta” , es decir, a los 𝑧 ∈ ℂ
1
para los cuales 𝜁 𝑧 = 0. Según Riemann: 𝑟𝑒 𝑧 = para cada 𝑧 ∈ ℂ
2
• En el año 2004 Xavier Gourdon verificó la conjetura de Riemann numéricamente
considerando los primeros 1018 ceros no triviales de la función. Esto no es estrictamente
una demostración, numéricamente es más interesante encontrar un contraejemplo, es
1
decir un valor de cero que no cumpla con que 𝑟𝑒 𝑧 = , esto refutaría la validez de la
2
conjetura.
• ZetaGrid, fue un proyecto de computación con la capacidad de verificar billones de ceros
por día. El proyecto acabó en diciembre de 2005, sin obtener un contraejemplo de la
hipótesis de Riemann. https://es.wikipedia.org/wiki/Hip%C3%B3tesis_de_Riemann
• Las pruebas de carácter heurístico nos adhieren a la filosofía platónica. Afirmamos que la
realidad que ha sido predicha y confirmada no es ilusoria, hay en ella algo que obedece una
ley, una regularidad
• Para hacer investigación con éxito hay que tener confianza en el buen orden, en la
racionalidad del sistema numérico. Esta es la fe que el físico necesita para creer que puede
comprender el universo, también la necesita el matemático, que se esfuerza por
comprender su universo de números y formas
• Los resultados de los ejemplos anteriores sería reprobados por constructivistas
y formalistas. Para los primeros, la Hipótesis de Riemann será V o F,
únicamente cuando se de una demostración constructiva de una cosa o la otra;
para los formalistas, la hipótesis de Riemann carece de sentido, excepto como
conjetura de que su enunciado puede ser deducido de ciertos axiomas
• ¿Por qué seguimos sintiendo que es necesaria una demostración, por extensa
que esta sea? Aún estamos convencidos de que las propiedades matemáticas
son deducibles de un conjunto de axiomas, y que si un hecho es verdadero
pero somos incapaces de deducirlo de éste único modo, ello revela insuficiente
comprensión de nuestra parte.
• Una demostración nos hará comprender por qué es cierta o no la Conjetura de
Riemann; por encima de la veracidad que puedan ofrecernos razonamientos
heurísticos, por convincentes que sean.
En la teoría de números el computador sirve fundamentalmente para generar datos. Estudiando estos datos
(números) es posible formular una conjetura (como con el Teorema sobre los números primos). La máquina presta
asistencia heurística que ayuda a decidir qué creer e incluso cuánta fe debemos prestar a esa creencia, pero que
sigue sin afectar lo que se demuestra
ෝ)
Pi y Pi-flejo (𝝅 𝒚 𝝅
• Brouwer aporta un contraejemplo a la ley de Tricotomía de los números reales: Da un
número real que afirma que no es ni positivo, ni negativo ni cero.
Partimos de 𝜋 y utilizamos su desarrollo decimal para definir a 𝜋ො :
𝑃 ≡ en el desarrollo decimal de 𝜋 aparecen 100 ceros consecutivos
𝑃ത ≡ en el desarrollo decimal de 𝜋 jamás aparecen 100 ceros consecutivos
¿es bien 𝑃 o 𝑃ത un enunciado verdadero? Desde el constructivismo no se puede decidir: la
ley del tercero excluido, no es aplicable.
Desarrollemos a 𝜋 hasta encontrar una serie de 100 ceros consecutivos (hasta haber
superado la decisión deseada de 𝜋)
• Hasta la primera tanda de 100 ceros, el desarrollo decimal de 𝜋ො es idéntico a 𝜋, es decir,
𝜋 = 𝜋.ො Supongamos ahora que los primeros 100 ceros consecutivos comienzan en el n-
ésimo dígito de 𝜋.
• Si n es impar, 𝜋ො termina en su n-ésima cifra; en tal caso 𝜋ො < 𝜋
• Si n es par ponemos un 1 a 𝜋ො en su 𝑛 + 1 n-ésima cifra; en tal caso 𝜋 < 𝜋ො
Hasta ahora no sabemos (y probablemente no sabremos) si tal 𝑛 existe o no, sin embargo
la receta para construir a 𝜋ො está perfectamente definida
Modelos matemáticos, máquinas
computadoras y Platonismo
Un caso de matemática aplicada
• Un matemático está interesado en la solución de una E.D. Sabe que la solución 𝑢(𝑡)
existe, para cada 𝑡 ≥ 0, porque los teoremas de existencia de soluciones de las E.D. cubren
el problema en cuestión. Procede a tabular la función 𝑢(𝑡) lo mas exactamente que
pueda: trata de hallar valores 𝑡 → 0, valores “intermedios de 𝑡, como valores 𝑡 → ∞.
• 𝑡 → 0: convergencia de series de Taylor: razonamiento plausible
• 0 < 𝑡 < 𝑀: Método de recurrencia apoyado en computadoras. Software “avanzados y
confiables” masivamente utilizado en los laboratorios del mundo para resolver E.D.
¿Qué del algoritmo de cómputo? ¿ y del Hardware (máquina de cómputo: sus transistores,
su memoria, conexiones, etc.), y el software (compiladores, programación: no únicamente
el algoritmo sino todo el complejo de programas internos de la máquina )?
Se confía en que la máquina funciona perfectamente, que los programas fueron creados por
personas idóneas y que éstos se han utilizado por muchos años.
Razonamiento Plausible: Es un razonamiento de tipo conjetural. Permite elaborar hipótesis y conjeturas que nos
parecen acertadas, examinar su validez, contrastarlas y reformularlas para obtener nuevas hipótesis susceptibles de ser
puestas a prueba. Se puede considerar objeto matemático dado que es un tipo de razonamiento que se pone en juego
en la actividad matemática.
• 𝑡 → ∞: en los cómputos recursivos de una máquina, podemos llegar hasta un valor
grande de 𝑡, que por grande que sea, nunca dejará de ser finito. Es posible utilizar
“métodos numéricos o métodos asintóticos” escogidos por la experiencia o por
recomendaciones.
• Posición Formalista: todo lo anterior le parece absurdo. No hay axiomas ni teoremas, solo
cálculos a ciegas, basados en la experiencia y fragmentos de razonamientos. Formalismo
la reducción de las matemáticas a deducciones formales a partir de los axiomas, sin
prestar atención al significado.
• Filosóficamente el matemático aplicado es un platonista acrítico: da por supuesta la
solución 𝑢(𝑡) y no duda en utilizar cualquier método que se le ocurra para hallarla….
Quedaría perplejo si se le preguntara en qué lugar existe, o de qué modo existe. Sabe s.e.
que lo que está haciendo tiene sentido. Tiene coherencia interna, y está relacionando
muchos aspectos de la matemática y la ingeniería.
• Para desarrollar una teoría el físico selecciona las “variables de estado” y se vale de ellas
para representar el objeto físico, infinitamente complejo. Así crea el Modelo Físico
(simplificación de la realidad física), el cual ha de obedecer ciertas leyes matemáticas

Un modelo matemático de un fenómeno real es cualquier esquema simplificado e idealizado


del mismo, constituido por símbolos y operaciones (relaciones) matemáticas. Es un caso de
formalización que emplea diversos instrumentos producidos en la ciencia matemática​.
Modelo Físico Modelo Matemático
• No se corresponde con ningún objeto físico real.  Intrincadas ecuaciones que deben ofrecer
Es una idealización o una simplificación. confianza para explicar y el sistema físico en los
• Por lo general parte de una teoría física (más casos normales y además poder predecir casos
elemental) previamente justificada “límite o extremos” . También forman parte de
• Obedece leyes matemáticas (ecuaciones) que él las soluciones de las ecuaciones matemáticas.
se especifican mediante objetos matemáticos  Se estudian utilizando matemáticas “rigurosas”
(incluyendo números). hasta donde es posible, con matemáticas
• Su estudio puede realizarse en un laboratorio si formales o no rigurosas hasta donde se puede
se dan las condiciones o directamente en la  También se estudia con muchos tipos de cálculo
naturaleza. por medio de simulaciones: computador,
• En ocasiones pueden ser simulados en un truncamientos, discretizaciones
computador

La presunción platónica de que el


modelo matemático es un objeto bien
definido es esencial para que el proyecto
entero de la Matemática Aplicada tenga
sentido.
En M.A. el ordenador sirve para calcular
soluciones aproximadas cuando la teoría
no permite dar una solución exacta
¿Por qué he de creerle a un ordenador?
• Teorema de los cuatro colores: demostrar que todo mapa
trazado sobre una superficie plana o esférica puede ser coloreado
sin utilizar más de cuatro colores distintos. Condiciones: dos
regiones adyacentes (que tienen una frontera en común) no
tengan el mismo color; dos regiones que se tocan en un único
punto pueden colorearse del mismo color. Las regiones pueden
tener cualquier forma, pero ésta debe ser conexa
• En1976 el Teorema fue demostrado por Kenneth Appel y
Wolfgang Haken. La parte esencial de la prueba se hizo utilizando
computadora
• En 1852, Francis Guthrie quería colorear el mapa de Inglaterra utilizando la menor
cantidad de colores posibles e intentó hacerlo con sólo cuatro colores sin
conseguirlo. Le contó a su hermano Frederick, quien había estudiado con De
Morgan; éste tampoco supo solucionar el problema. De Morgan le envió una
carta a Hamilton quien no abordó el problema .
• El problema empezó a adquirir fama y en 1878 Arthur Cayley lo propuso
oficialmente a la London Mathematical Society. Un año después Arthur Bray
Kempe propuso una demostración, basándose en el método de reducción al absurdo
y utilizando una serie de configuraciones que llamó “mapas normales”.
• Un mapa es normal cuando nunca se encuentran en un punto más de tres regiones y
ninguna de las regiones envuelve completamente a las demás. Kempe demostró que
en todo mapa normal hay al menos una región que contiene como máximo cinco
vecinas (conjunto de configuraciones inevitable).
• La demostración fue, en principio, aceptada y le dio mucha fama a Kempe, hasta
que Heawood descubrió en 1890, que la demostración de Kempe tenía un
error, Heawood siguió trabajando en el problema pero no lo solucionó, sin embargo
consiguió probar que con cinco colores si se podía colorear cualquier mapa.
• Desde entonces y hasta 1976 la conjetura de los cuatro colores fue uno de los
problemas más sobresalientes sin solución.
• La demostración computacional de Appel y Haken utilizó también la idea de un
conjunto inevitable de configuraciones reducibles, miles de ellas y la única forma de
probar la reducibilidad era con la ayuda de un computador.
• La demostración fue presentada como completa, definitiva y rigurosa. Solo queda
aceptar la exactitud del programa, del compilador y del computador en el cual se
ejecutó la prueba.
• Objeciones: El proceso de cómputo, es decir los pasos internos del ordenador no podían
seguirse ni comprobarse; y para verificarlos "a mano", eran tantos, que hace falta toda
una vida para realizarlos. Algunos matemáticos han tenido muchas reservas con
respecto a esta demostración.
• En 1979, Stephen Tymoczko en el Journal of Philosophy: si aceptamos tal
“demostración”, nos veremos obligados a cambiar el sentido de la palabra “teorema”, o
mas exactamente a cambiar el sentido de la noción subyacente de “demostración”. La
aceptación del Teorema de Haken-Appel comporta un acto de fe
• Para el filósofo, la computadora como parte esencial de la demostración, significa
debilitar las normas de la demostración matemática. Proporciona bases al escepticismo
contradiciendo la antigua creencia de que la demostración conducía a conclusiones
indubitables, que no daba lugar al escepticismo en ninguna de sus fases. Existe una
diferencia absoluta entre una demostración que depende de la fiabilidad de una
máquina y una demostración que sólo depende de la razón humana ( Leer pág. 275 y 276)
La clasificación de los Grupos Finitos Simples
• Los grupos simples equivalen a los números primos. El objetivo fundamental de los
grupos finitos simples dar una clasificación completa de los GFS.
• Cada grupo finito puede ser “factorizado”: representado como el producto de un
subgrupo normal por un grupo cociente. Se pueden construir grupos finitos arbitrarios a
partir de grupos simples, es decir, grupos que no tienen subgrupos normales distintos a los
triviales (𝐺 𝑜 𝐺 = 𝑒𝐺 ). Walter Feit y John Thompson (1963): “Todo grupo finito simple, o
bien es cíclico o bien es de orden par”
• El Teorema Enorme: Clasificación de los grupos finitos simples. Michael Aschbacher,
matemático estadounidense obtuvo el premio Rolf Schock de Matemáticas en 2011 por la
prueba del teorema.
• La demostración completa del “enormous theorem” ocupa 15000 páginas
(aproximadamente), y es el resultado de las contribuciones de más de 100 matemáticos
expertos, desde 1955 hasta 2004, año en el que Aschbacher le dio la puntilla a la
clasificación.
El Premio Rolf Schock (Alemania 1933- USA 1986) se entrega cada tres años en cuatro modalidades: Lógica y Filosofía,
Matemáticas, Artes visuales y Artes Musicales es entregado por la Real Academia Sueca de Ciencias. Fue fundado a partir del
testamento de Rolf Schock, quien especificó en él que la mitad de sus bienes deberían destinarse para financiar estos cuatro
premios. Schock murió en 1986y los premios comenzaron a entregarse en 1993.
¿Qué dice exactamente el teorema?
Todo grupo finito simple es isomorfo a uno de los siguientes grupos:
• Un grupo cíclico cuyo orden es un número primo.
• Un grupo alternado de grado mayor o igual que 5.
• Un grupo de Lie simple, pudiendo ser: los grupos de Lie clásicos,
• los grupos de Chevalley y los grupos de Steinberg, incluyendo los grupos Tits (por Jacques
Tits) que no son grupos de Lie.
• Uno de los 26 grupos esporádicos (el primero de éstos fue descubierto por Z. Janko y tiene
175560 elementos; el mayor de estos se denomina “The Monster” y tiene aproximadamente
8 ∗ 1053 elementos.
• En los 80´s Michael Aschbacher y Stephen Smith terminan la prueba agregando los quasithin
groups que publicaron en dos volúmenes de mas 1200 páginas. Matemáticos como Jean
Pierre Serre mantienen cierto escepticismo, ya que piensan que esta clasificación podría
tener más vacíos por lo extenso de la prueba.

• ¿Cuál es la diferencia entre aceptar una demostración de este tipo y una como la del teorema
de los cuatro colores hecha con ayuda del computador? Esta confianza (mutua) es
plenamente razonable y adecuada; sin embargo no hay duda que infringe la noción de la
verdad matemática como verdad indubitable.
Intuición

1. Habilidad para conocer, comprender o percibir algo de manera clara e inmediata, sin la intervención de la razón.
(Fuente: Diccionario de Google)
2. Facultad de comprender las cosas instantáneamente, sin necesidad de razonamiento. Fil. Percepción íntima e
instantánea de una idea o una verdad que aparece como evidente a quien la tiene. (Fuente: RAE)
3. Del latín intuitio «mirar hacia dentro» o «contemplar». Concepto de la Teoría del conocimiento aplicado también en la
epistemología que describe el que es directo e inmediato, sin intervención de la deducción o del razonamiento, siendo
considerado como evidente.2 Se cree que la percepción sensible ofrece un conocimiento intuitivo de la realidad. De la
misma forma, el entendimiento tenía una "intuición intelectual" capaz de conocer la esencia de las cosas y sus diversas
formas mediante los conceptos. 3 Desde las teorías psicológicas, la intuición es el conocimiento que no sigue un camino
racional para su construcción y formulación, y por lo tanto no puede explicarse o, incluso, verbalizarse. En el lenguaje
popular suele significar con frecuencia presentimiento . https://es.wikipedia.org/wiki/Intuici%C3%B3n
Algunos significados (acepciones) desde la matemática: (Leer pág. 279-280 )
1. Intuitivo es opuesto a riguroso
2. Intuitivo significa visual
3. Intuitivo significa plausible o convincente, aún sin demostración. S.e. “Intuitivamente plausible”
significa que es conjetura razonable, e.d. candidata a la demostración
4. Intuitivo significa incompleto
5. Intuitivo significa inspirado en un modelo físico o en algunos ejemplos importantes (casi lo mismo
que heurístico)
6. Intuitivo significa holístico o integrador (contrario a detallado, riguroso o analítico)
• La intuición es un elemento extraño e inensencial. Se trata de algo optativo (como el aderezo en
la ensalada). Para entender el trabajo de otros matemáticos, la intuición es fundamental e
inevitable
Las concepciones filosóficas (escuelas) de la matemática (constructivismo, platonismo o
realismo y formalismo), se fundamentan en alguna cierta noción de intuición, s.e. Ninguna de
ellas explica la naturaleza y significado de la intuición que postulan.
• Constructivismo: la base fundamental del edificio matemático es ℕ. (intuición universal e
inconfundible)
• Platonismo: No construimos los objetos matemáticos ellos existen de forma ideal e intemporal.
Solamente descubrimos lo que ya existe. ¿De qué modo establece contacto la mente con ellos?
• Formalismo: Lo único que cuenta son las reglas de juego, las de inferencia, mediante las cuales
son transformadas unas fórmulas en otras. Todo significado que se le quiera atribuir a tales
fórmulas es “no matemático” y por lo tanto improcedente. Formalización inconsciente
(subconsciente): símbolos, operaciones y reglas
⇛La intuición debería ser uno de los fundamentos de la epistemología de la matemática. ⇛
Explicar el fenómeno del conocimiento intuitivo en matemáticas. Explicar qué sabemos y de qué
modo sabemos.
La intuición es una facultad mental, capaz de la percepción directa de una realidad ideal, de igual
manera que nuestros sentidos alcanzan percibir la realidad física
• ¿Como se adquiere intuición matemática?,
• ¿Con ayuda de qué o de quién?
• ¿De acuerdo con qué criterios puede uno entrenar y desarrollar la intuición?
• Desde la docencia podemos formularnos las preguntas: ¿Qué enseñamos ,y cómo lo
enseñamos?. Tratamos de enseñar conceptos matemáticos, no formalmente sino
intuitivamente, a través de ejemplos, problemas: de manera intuitiva. Así, la intuición es el
efecto que provoca en la mente la experiencia de ciertas actividades de manipulación de
objetos concretos
• En el domino de las ideas, de los objetos mentales, las ideas cuyas propiedades son
reproducibles, se llaman objetos matemáticos, y el estudio de éstos se llama matemática. La
intuición es la facultad gracias a la cual podemos considerar o examinar estos objetos (internos,
mentales). La dificultad en ver qué es la intuición reside en la exigencia de que las matemáticas
son infalibles
Intuición Tetradimensional

Para obtener un hipercubo o Teseracto, tomamos 2 cubos de 1cm


de lado, situados paralelamente a 1cm de distancia y unimos los
vértices homólogos
Dimensión Objeto 𝟎 Caras 1 Cara 2 Caras 3 Caras 4 Caras
(Vértices) (Aristas) (Caras)
0 Punto 1 0
1 Segmento 2 1
2 Cuadrado 4 4 1
3 Cubo 8 12 6 1
4 Hipercubo 8+8=16 12+12+8=32 24 8 1
• Los objetos matemáticos de la geometría 2D o 3D son imaginarios o ficticios pero cercanos a la
realidad material. El hipercubo es un ejemplo de existencia matemática. Aunque es un objeto
ficticio o inexistente, podemos hablar de sus características (ver tabla anterior)
• Los razonamientos matemáticos fundados en modelos o figuras, sean reales o imágenes
mentales corresponden a razonamientos intuitivos (contrariamente al razonamiento formal o
riguroso)
• La captación intuitiva de figuras 4D es posible: en la Brown University el matemático Thomas y el
ingeniero informático Chales Strauss diseñaron una película en computador (ganó el premio de
la Récherche Fundamentale del Festival de Bruxelles de 1979) que muestra lo que veríamos si un
hipercubo entrara y saliera de nuestro espacio 3D formando diferentes ángulos.
• Es posible partir de una comprensión abstracta o algebraica para diseñar un sistema informático
capaz de simular una figura Tetradimensional como el hipercubo que permita a otras personas
experimentar experiencias de manipulación, movimiento y visión que nos proporciona nuestra
intuición tridimensional. La existencia de tal posibilidad abre nuevas perspectivas para la
investigación relativa a la intuición matemática.
HECHOS VERDADEROS ACERCA DE
OBJETOS IMAGINARIOS
• La presunción tácita de las tres concepciones filosóficas fundacionistas de es que
las matemáticas tiene que ser una verdad indubitable.
• La experiencia real de todos los matemáticos y la nuestra propia es que la verdad
matemática (al igual que otros tipos de verdad) es falible y corregible.
• Es posible proponer una nueva tarea para la filosofía de la matemática: no la
búsqueda de verdad indubitable, sino de que facilite una descripción del
conocimiento matemático tal cual verdaderamente es: falible, corregible,
provisional, evolutivo, al igual que cualquier otro tipo de conocimiento humano.
Dos hechos verdaderos a partir de la experiencia matemática:
1. Las matemáticas son creación nuestra; tratan de ideas que se encuentran en
nuestras mentes
2. Las matemáticas son una realidad objetiva: los objetos matemáticos tienen
propiedades definidas, que podemos o no ser capaces de descubrir.
• Realidad objetiva en el sentido que no es subjetiva ni física. Es una realidad ideal (no
física) que es objetiva (externa a la consciencia de cada persona). Por esto, no deben
truncarse las matemáticas para hacerlas encajar en una filosofía demasiado reducida
para darles acomodo, sino, por el contrario , que las categorías filosóficas deben ser
ampliadas para aceptar en su totalidad a la experiencia matemática
• Popper propone tres (3) niveles o mundos distintos de la realidad:
Mundo 1: De la física. la masa, la energía, de las estrellas y las piedras; objetos materiales.
Mundo 2: mundo de la consciencia. Pensamientos, emociones y son realidades
inmateriales. Su existencia es inherente al organismo vivo; emerge del mundo material en
el devenir de la evolución biológica.
Mundo 3: La consciencia social, las tradiciones, el lenguaje, las teorías, la política, la
cultura no material de la humanidad. Su existencia es inseparable de la consciencia
individual de los miembros de la sociedad. Es aquí donde reside la matemática

Experiencia matemática. Describir la práctica de la matemática desde un punto de vista histórico y filosófico al igual que la experiencia de ser
matemático y los desarrollos de la disciplina contra un telón de fondo de una historia y filosofía turbulentas. Se centra, sin entrar en muchos detalles,
en el concepto de prueba, dando ejemplos de algunas demostraciones famosas; al mismo tiempo explicando algunos de los problemas matemáticos
excitantes (p.e: la conjetura de Riemann) para especular acerca del verdadero significado de demostración matemática, en relación a la verdad.
También relaciona la matemática en la educación y hace algunas consideraciones (todavía relevantes, a pesar que tempranas) acerca de la aplicación
de computadores en la matemática. https://es.wikipedia.org/wiki/Experiencia_matem%C3%A1tica
• Las matemáticas son una disciplina humana (una de las humanidades), capaz de
alcanzar un consenso cuasi-científico, capaz de establecer resultados reproducibles.
Trata de los modos de razonar y argumentar sobre ideas que son concluyentes y
compulsivas, que no pueden ser objeto de controversia una vez comprendidos (aceptados).
• El significado de las matemáticas ha de buscarse en la comprensión compartida de
seres humanos. Las matemáticas se asemejan a una ideología, a una religión, a una
forma artística; tratan de significados humanos, y solamente son comprensibles en el
contexto de una cultura.
• La característica que distingue a las matemáticas de las otras humanidades es su
cualidad científica. Sus conclusiones se nos imponen, no son productos de opinión y no
están sujetas a disensión permanente, como las ideas de crítica literaria.
• Como matemáticos, sabemos que inventamos objetos ideales y tratamos después de
descubrir los hechos relacionados con ellos. Cualquier filosofía que sea incapaz de
acomodarse a este conocimiento es demasiado reducida.
• Los trabajos de Lakatos y Popper muestran que la filosofía moderna permite aceptar la
veracidad de la experiencia matemática, que permite verlas tal como son: falibles,
correctibles y provistas de significado
GRACIAS POR SU ATENCION