La Naturaleza de Las Demostraciones Matemáticas

La naturaleza de las
demostraciones matemáticas
Miguel León
Universidad Nacional Mayor de San Marcos
Universidad Peruana del Centro
miguel.leon.u@gmail.com
En la lógica actual
• La demostración es una secuencia finita de líneas (formulas bien
formadas en un lenguaje L), donde cada línea o es un axioma o es
derivada de alguna de las anteriores mediante el empleo de las
reglas de inferencia.
• Es un número finito de líneas.
• Toda línea está justificada.
• No tiene vacíos (gaps).
• La justificación debe darse tanto de los problemas importantes como de
los no tan importantes.
Ejemplo de demostración
¿Para que sirven las demostraciones?
• Nos dicen propiedades de los entes matemáticos.
• De re:
1. son propiedades de un objeto que existe independientemente del entendimiento
matemático.
2. Son descubrimientos.
• De dicto:
1. Los entes u objetos matemáticos no existen sino son parasitarios de los objetos
reales (v.g. mundo físico), y por tanto sus propiedades (demostradas) también son
parasitarias.
2. Son invenciones o construcciones de la razón matemática.
El quinto axioma
• Axioma de las paralelas (Euclides, IV AC).
Sólo una línea recta puede pasar sobre un punto dado que no se interseque
con una línea recta dada. SÓLO UNA PARALELA.
• Axioma de las paralelas (Lobačevskiǐ, 1835).
Por lo menos dos líneas rectas pueden pasar por un punto dado que no esté
en la línea y que no intersequen la línea. INFINITAS PARALELAS.
• Axioma de las paralelas (Riemann, 1854).
Ninguna línea recta puede pasar por un punto dado que no esté en la línea y
que no intersequen la línea. NINGUNA PARALELA.
Crisis del siglo XIX
Fuente: Constantinos
Kyventidis
Axioma
• Una de las ideas más repetidas es que los axiomas son verdades evidentes y
que los conceptos primitivos son definidos indirectamente con los axiomas; y
que tal punto de vista forma la base del método axiomático, tal como se
conoció a principios del siglo XX, de la mano de David Hilbert.
• Sin embargo, Hans Freudenthal (1962) y Roberto Torretti (1998) señalan que
no existe una línea de continuidad conceptual entre la concepción aristotélica
y su desarrollo, en los Elementos de Euclides, con la axiomática como aparece
en la obra de Hilbert. Hilbert adoptó una nueva concepción de axioma y
concepto primitivo formulados por Moritz Pasch, Lecciones sobre geometría
moderna (1882) y Richard Dedekind, ¿Qué son y qué podrían ser los
números? (1888), quienes a diferencia de los clásicos griegos concibieron la
separación entre los axiomas y los conceptos primitivos con el sentido (o
significado) de los mismos, considerando que esto último tiene un marcado
segundo lugar, y hasta accesorio.
Reglas de inferencia
• Frege, 1893: Basic Laws of Arithmetic. Derived Using Concept-
Script. Volumes I & II
“Todos los modos de inferencia y consecuencia que sean utilizados deben
ser listado por anticipado.” De otro modo no podrá asegurarse la exigencia
de probar todo lo que pueda ser probado. Supera a Euclides.
Ejemplo:
Modus Ponens
1. 𝓐→𝓑
2. 𝓐
3. 𝓑
¿Qué es una demostración en Aristóteles?
• “Por demostración entiendo deducción científica. Y por científico
entiendo aquella en virtud de la cual, por medio de ella,
entendemos algo”.
• El entendimiento demostrativo depende de premisas que son
verdaderas, primitivas, inmediatas y previas a la conclusión. Podrá
haber deducción sin estas condiciones, pero no habrá
demostración puesto que no se producirá un entendimiento.
Segundos Analíticos, I, 2.
¿Qué es una demostración?
Juicios kantianos: Sujeto-Predicado (S-P)
Analítico/Sintético, I Analítico/Sintético, II Analítico/Sintético, III

• Analítico:= el concepto • Analítico:= S-P es una • Analítico:= cuando
P “está contenido” en el verdad lógica. negar S-P produce una
concepto S. • ¿“Todos solteros son contradicción.
• “Los solteros no están felices o no”?
casados” • ¿“Todos solteros son
• Sintético:= si no es felices o no”?
• Sintético:= si no es analítico.
analítico. • Sintético:= si no es
analítico.
Juicios kantianos: Sujeto-Predicado (S-P)
• a priori / a posteriori (epistemológico, experiencia)
• a priori:= cuando S-P es “previo a” o “independiente de” la
experiencia.
• Necesidad: sabemos que debe ser así y sabemos que no puede ser de otra manera.
• v.g., Ni si quiera Dios puede hacer que 7+5=13.
• Universalidad: si no tiene excepciones, no es sólo generalidad,
• a posteriori:= cuando S-P no es a priori.
Aritmética de Robinson
Interpretación Axiomas
• Dominio: ℕ. Q1 ∀x ∀y (x≠y ⇒ sx≠sy)
•0 Q2 ∀x 0≠sx
• s. Q3 ∀x (x≠0 ⇒ ∃y x=sy)
• +, ⨉ Q4 ∀x (x+0)=x
Q5 ∀x ∀y (x+sy) =s(x+y)
Q6 ∀x (x⨉0)=0
Q7 ∀x ∀y (x ⨉ sy) =[(x ⨉ y) + x]
2+2=4
1. (ss0+0) = ss0 Q4 Q1 ∀x ∀y (x≠y ⇒ sx≠sy)
2. (ss0+s0) = s(ss0+0) Q5 Q2 ∀x 0≠sx
3. (ss0+ss0) = s(ss0+s0) Q5
Q3 ∀x (x≠0 ⇒ ∃y x=sy)
4. (ss0+ss0) = ss(ss0+0) 2,3
Q4 ∀x (x+0)=x
Q5 ∀x ∀y (x+sy) =s(x+y))
Q6 ∀x (x⨉0)=0
Q7 ∀x ∀y (x ⨉ sy) =[(x ⨉ y) + x]
2+2=4
1. (ss0+0) = ss0 Q4 Q1 ∀x ∀y (x≠y ⇒ sx≠sy)
2. (ss0+s0) = s(ss0+0) Q5 Q2 ∀x 0≠sx
3. (ss0+ss0) = s(ss0+s0) Q5
Q3 ∀x (x≠0 ⇒ ∃y x=sy)
4. (ss0+ss0) = ss(ss0+0) 2,3
Q4 ∀x (x+0)=x
5. (ss0+ss0) = ssss0 1,4
Q5 ∀x ∀y (x+sy) =s(x+y))
Q6 ∀x (x⨉0)=0
Q7 ∀x ∀y (x ⨉ sy) =[(x ⨉ y) + x]
¿7+5=12, juicio analítico a priori?
Kant, CRP, B16
El crecimiento de las matemáticas
• Pollard,
• 1868: cerca de 38 áreas de especialización.
• 1979: unos 3 400.
• A inicios de 1960, un lógico cultivado podía entender cualquier artículo
publicado en la Journal of Symbolic Logic. Ya no era así para mediados de
1970.
• Phillip J. Davis and Reuben
Hersh, The Mathematical
Experience (1981).
• Andersen, 2018: hay gaps (vacíos) aceptables en las
demostraciones matemáticas.
1. Vacíos inferenciales. NO ACEPTABLE
2. Vacíos por no asumir cierto método de demostración (untraversed
gaps). ACEPTABLE.
3. Vacíos entimemáticos. ACEPTABLE.
• Una demostración tiene un carácter dialógico entre la persona que
quiere establecer una conclusión y un interlocutor, cuyo rol es no
convencerse fácilmente y aducir objeciones (Ernest, 2004),
(Dutilh Novaes, 2016, p. 2617)
Reflexiones sobre las matemáticas
filosóficas
• El constructivismo de Brouwer reduce las matemáticas a una
pseudo diánoia, pues los objetos matemáticos son construidos.
• El hecho que se muestra en el 1er teorema de incompletitud de
Gödel es que existe una matemática filosófica, no constructivista:
una matemática noética.
• La concepción dialógica de la demostración devuelve a las
matemáticas su carácter puro noético. En cambio, la idea de
demostración tan apreciada por la lógica es una reducción
aristotélica de las matemáticas.

La Naturaleza de Las Demostraciones Matemáticas

Cargado por

Copyright:

Formatos disponibles

La Naturaleza de Las Demostraciones Matemáticas

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

La Naturaleza de Las Demostraciones Matemáticas

Cargado por

Copyright:

Formatos disponibles

La naturaleza de las

Analítico/Sintético, I Analítico/Sintético, II Analítico/Sintético, III

También podría gustarte