El formalismo

Miguel León
Universidad Nacional Mayor de San Marcos

Lima, 14 de diciembre de 2018

“Axiomatisches Denken”, 1918
100 años
El programa de Hilbert
• David Hilbert (186-1943).
• A inicios de los 1920 formula una nueva propuesta sobre los fundamentos
de las matemáticas.
• Tiene como objetivo la formalización de todas las matemáticas en una
forma axiomática con una demostración de que esta axiomatización de las
matemáticas es consistente.
• El progreso de este programa se debió a la participación también de Paul
Bernays, Wilhelm Ackermann, John von Neumann y Jacques Herbrand.
Dos conceptos de consistencia
• Consistencia simple o de negación.
• Un sistema 𝕊 es consistente simple cuando de sus axiomas no se deriva un
enunciado de la forma 𝛼∧¬ 𝛼.

• Consistencia absoluta o post consistencia.

• Un sistema 𝕊 es consistente absoluto cuando existe por lo menos un
enunciado 𝛿 que no se deriva de sus axiomas.
Desarrollo histórico
• Fundamentación de la geometría de D. Hilbert de 1899.
• Necesaria separación entre intuición y el enfoque axiomático.
• Las Principia Mathematica de B. Russell y A.N. Whitehead proveyó
la base lógica necesaria.
• “La principal necesidad de la teoría de los axiomas debe ir más allá
[que sólo evitar las conocidas paradojas], es decir, mostrar que
dentro de cada campo de conocimiento es absolutamente
imposible que haya contradicciones basadas en el sistema
axiomático subyacente”
El programa formalista
• El carácter de las matemáticas modernas estaba especialmente
ligado al método axiomático y su uso para las definiciones
estructurales; esto planteaba el problema metodológico y central
de la consistencia (lo cual ya había visto por Dedekind).
• La solución de los problemas deben establecerse mediante un
número finito de pasos que a partir de un número finito de
hipótesis los cuales estén implicados en la formulación del
problema y que siempre deberán estar exactamente formulados
(Hilbert, 1900).
El programa formalista
• Este requisito deductivo lógico mediante un número finito de
procesos es simplemente un requerimiento de rigor en el
razonamiento. De hecho, el requerimiento de rigor, se ha hecho
proverbial en las matemáticas, se corresponde con la necesidad
filosófica universal de nuestro entendimiento, y, por otro lado,
solamente satisfaciendo este requisito el contenido del
pensamiento del problema y la sugestión alcanzan su efecto
completo. (Hilbert, 1900).
El programa formalista
• Cualquier cosa que puede ser objeto del pensamiento científico
llega ser dependiente del método axiomático, y por tanto
indirectamente de las matemáticas, tan pronto como llegue a la
madurez para la formación de la teoría. Mediante el avance hacia
niveles más profundos de los axiomas también ganamos un
entendimiento más profundo de la naturaleza del pensamiento
científico en sí mismo y nos volvemos más conscientes de la unidad
de nuestro conocimiento. Bajo el estandarte del método axiomático
las matemáticas aparecen destinadas a jugar un rol protagónico en
la ciencia (Hilbert, Axiomatisches Denken,1918).
El programa formalista
• Son cuatro las nociones que están implicados en el formalismo:
• Definición estructural.
• Demostración rigurosa.
• Dominio accesible.
• Procedimiento mecánico.
El programa formalista
• Definición estructural:
• Los axiomas son existenciales.
• Asumen la existencia del dominio o de varios dominios que satisfacen las
condiciones características.
• Ejemplo: los axiomas de Peano:
A1 Cero es un número natural.
A2 Cero no es sucesor de ningún número natural.
A3 El sucesor de un número natural es un número natural.
A4 Si dos números que tienen el mismo sucesor, entonces son iguales.
A5 Si cero posee una propiedad P, y si del hecho de que un número natural cualquiera,
n, posea P se sigue que n’ también posea dicha propiedad, entonces, todo numero
natural posee la propiedad P (principio de inducción matemática, inducción completa
o recurrencia)
A0 Existe ℕ
El programa formalista
• Demostración rigurosa:
• La teoría de la demostración es la investigación sistemática de las varias y
efectos de los razonamientos lógicos en las disciplinas matemáticas en las
cuales la formación de conceptos y las asunciones son fijadas de tal
manera que es posible una estricta formalización de las demostraciones
usando los medios expresivos de la lógica simbólica (Bernay, 1954).
• Hobbes: “cada trabajo de la mente humana consiste en un cómputo”.
• Asimismo, Frege agregó una condición adicional: que se especifique
previamente todos los métodos [o modos] de inferencia de otra manera
las demostraciones no serían satisfactorias (The basic laws of arithmetic
(1893), p. vi).
El programa formalista
• Demostración rigurosa:
• “Estas reglas forman un sistema cerrado que puede ser descubierto y
establecido definitivamente. La idea fundamental de mi teoría de la
demostración no es otra que describir la actividad de nuestro
entendimiento, y elaborar un protocolo de reglas de acuerdo a como
nuestro pensamiento procede realmente” (Hilbert 1927, p. 475).
• No es permitido consideraciones de contenido en los pasos de una
demostración.
El programa formalista
• Dominios accesibles:
• Se sustenta que la idea central absoluta de demostrar la consistencia de
las teorías formales a través de medios matemáticos que son en algún
sentido más elementales que aquellas expresadas en las teorías bajo
investigación.
• “Los objetos construidos como el modelo de la teoría no son tomados del
dominio como seres ya dados sino mas bien construidos por un proceso
generativo” (Bernays, 1954).
El programa formalista
• Procedimiento mecánico:
• Aunque es necesaria una completa y rigurosa caracterización de los
procesos mecánicos para la demostración de los teoremas de
incompletitud de Gödel, no ocurre lo mismo otros resultados.
• Sí se requiere de una adecuada noción para la solución del
Entscheidungsproblem.
• La existencia de demostraciones aritméticas indecidibles y la no
demostrabilidad de sus consistencia de un sistema en el mismo sistema,
puede ser probado rigurosamente para cada sistema formal consistente
conteniendo una cierta cantidad de teoría de números finitarios (Gödel,
1964).
Controversia Hilbert-Frege
• En Fundamentos de la Geometría, Hilbert esencialmente estableció de
forma clara y precisa el conjunto de axiomas de la geometría euclidiana.
Especialmente demostró la independencia del quinto postulado (o
axioma) euclidiano.
• En este contexto independencia es: la no demostrabilidad de este
axioma a partir de los otros.
• También demostró sus consistencia (simple o de negación).
• Consistencia e independencia son interdefinibles: un conjunto de
enunciados es consistente si al tomarse arbitrariamente cualquier
contradicción, es independiente de ésta, y un enunciado 𝑆 es
independiente del sistema 𝐶 si el conjunto 𝐶∪{¬𝑆} es consistente.
Controversia Hilbert-Frege
• La idea central de Hilbert no es presentar atención a los conceptos de
punto y línea, sino a las relaciones lógicas expresadas en los axiomas
sobre tales conceptos.
• Toda teoría era un andamiaje o esquema de conceptos justo con las
necesarias relaciones entre éstos, y que los elementos básicos pueden
ser pensados de cualquier modo que uno quiera. “Al hablar de mis
puntos estoy pensando en un sistema de cosas, e.g., el sistema: amor, ley
y deshollinador… y luego asumo que mis relaciones son entre estas
cosas, entonces mis proposiciones e.g., el teorema de Pitágoras, son
también válidos para estas cosas. En otras palabras cualquier teoría
puede ser aplicada a sistemas infinitamente grandes de elementos
básicos” (Carta de Hilbert a Frege, 1899).
Controversia Hilbert-Frege
• Para Frege las cosas eran radicalmente distintas, pues sostiene que
las oraciones que usamos en matemáticas sin importantes debido
a que expresan proposiciones no lingüísticas (“pensamientos”).
Cada pensamiento determina la materia objeto de estudio y dice
algo verdadero o falso acerca de éste.
• Para Frege, los pensamientos son cosas que implican o contradicen
a otros, cosas que son verdaderas o falsas, y cosas que en conjunto
constituyen teorías matemáticas. Por tanto, los pensamientos más
que enunciados son puntos que hacen surgir aspectos de
consistencia e independencia.
Controversia Hilbert-Frege
• Cada pensamiento tiene una contenido determinado, por tanto no
tiene sentido hablar de la reinterpretación de los pensamientos.
Para Frege, la reinterpretación de Hilbert puede efectuarse solo a
las oraciones. Para Frege, entoncesm no queda claro qué es un
axioma en la concepción de Hilbert. Si lo hace con referencia a la
consistencia e independiencia, entonces habla de pensamientos,
mientras que son cosas susceptibles de interpretaciones multiples
él habla acerca de oraciones.
Controversia Hilbert-Frege
• Cuando Hilbert hace la reinterpretación de los sistemas
geométricos a fin de probar la consistencia relativa del conjunto de
enunciados 𝐴𝑋, para Frege existen dos conjuntos de pensamientos
en juego: uno, que podemos llamar 𝐴𝑋𝐺 de pensamientos
expresados cuando los términos de 𝐴𝑋 tienen su significado
geométrico ordinario (e.g., en el cual “punto” significa punto), y el
conjunto que podemos llamar 𝐴𝑋𝑅 de pensamientos cuando los
términos de 𝐴𝑋 toman el significado asignado por la
reinterpretación de Hilbert (en el que e.g. “punto” significa par de
números reales).
Controversia Hilbert-Frege
• Por tanto, para Frege la estrategia de reinterpretación de Hilbert
es únicamente un cambio de nuestra atención del conjunto 𝐴𝑋𝐺 de
pensamientos expresados por las oraciones 𝐴𝑋 (y en cuya
consistencia estamos interesados) al nuevo conjunto 𝐴𝑋𝑅 de
pnesamientos expresados por 𝐴𝑋 bajo la nueva interpretación . Y,
para Frege, el hecho de que las sentencias reinterpretadas
expresen verdades acerca de los números reales, tiene poco que
ver con las cuestiones sobre la consistencia e independencia que
surgen de los pensamientos originales acerca de puntos, líneas y
planos.
“Axiomatisches Denken”, 1918
100 años