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.
El crecimiento de las matemáticas
• Phillip J. Davis and Reuben
Hersh, The Mathematical
Experience (1981).
El crecimiento de las matemáticas
• 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.