Professional Documents
Culture Documents
Y DE LA EDUCACIÓN MATEMÁTICA
EXPERENCIA MATEMÁTICA
PHILIP J. DAVIS & REUBEN HERSH
Capítulos VII - VIII
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
• 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
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
• ¿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
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