La concepción abstracta del método

axiomático: Hilbert

Lógica 2
AÑO 2020
David Hilbert
(1862-1943)

1862 Nace en Königsberg ( hoy Kaliningrado - Rusia)

 Estudió matemática en Königsberg con:

-Heinrich Weber – Teoría de los invariantes
- Alfred Hurwitz – Teoría de funciones
- Ferdinand Lindemann

 1885 – Doctorado
1886 – Habilitación sobre la teoría de los invariantes
1888 -1894 – Privatdozent en Königsberg
1895-1931 Profesor en Göttingen
1943 Muere en Göttingen, Alemania
 Periodización de la obra de Hilbert
3

 Hermann Weyl (1944: (5 períodos)

1. teoría de los invariantes (1885-1893)
2. teoría de los cuerpos numéricos algebraicos (1892-
1898)
3. Fundamentos: a) de la geometría (1898-1902)
b) de la matemática en general
(1922-1930)
4. ecuaciones integrales (1902-1912)
5. física (1912-1922)
 4

 Estudios sobre los fundamentos de la matemática:

Primera etapa: investigaciones axiomáticas sobre la
geometría (1891-1905)
Segunda etapa: Fundamentos de la aritmética y
teoría de la demostración (1917-1931)

 Sus cursos revelan otra imagen: preocupación

constante por los fundamentos de la matemática.
 El método axiomático formal de
Hilbert
5

PRIMERA ETAPA:

FUNDAMENTOS DE LA GEOMETRÍA (1899)

• Producto del trabajo de Hilbert entre 1891-1899.

• Notable importancias filosóficas y metodológicas

 6

“Through the wealth of new, fruitful methods and viewpoints

it presented, this investigation has exercised a powerful
influence on the developments of mathematical research.
However, the significance of Hilbert`s “Foundation of
Geometry” by no means lies only in purely mathematical
contents. What conferred popularity on this book and made
Hilbert`s name renowned far beyond the circle of his
colleagues was the new methodological turn that was given
to the idea of axiomatic” (Bernays 1998: p. 191).
 Nuevo método axiomático
7

 Método axiomático material (Euclides, Newton)

- el sistema se vincula con una único dominio (intuitivo) fijo:

Elementos de Euclides:
Conceptos primitivos: punto, línea, plano, circunferencia, etc.
 Se proporciona un definición descriptiva explícita:
“Un punto es aquello que no tiene partes”
“Una línea es una longitud sin anchura”.
 Estos conceptos se refieren a un determinado grupo de
objetos intuitivos: puntos, líneas y superficies euclideas.
 8

 Los axiomas son enunciados verdaderos con un

carácter autoevidente (Aristóteles)

Método axiomático formal

 Pasch (1882), Hilbert (1899).
 Idea general: el sistema define una estructura
relacional (o forma general) que puede recibir
diversas interpretaciones, tanto dentro de la misma
teoría, como dentro de otras teorías de diversa índole
Ideal general del método axiomático formal
9

 Los axiomas: no son enunciados o afirmaciones

verdaderas, sino que enunciados (hipotéticos) que
establecen una serie de condiciones (relaciones)
sobre un conjunto de objetos – no definido. En otras
palabras, son proposiciones no interpretadas, o sin
una valor de verdad

 Conceptos básicos: conjunto de objetos

(indeterminados) completamente caracterizados –
implícitamente definidos – por los axiomas.
 10

 “Pensamos tres sistemas distintos de cosas: las cosas del

primer sistema las llamamos puntos y las designamos con
A, B, C…; las cosas del segundo sistemas las llamamos
líneas y las designamos con a,b,c…; y las cosas del tercer
sistema las llamamos planos y las designamos con α, β, γ…

Concebimos los puntos, líneas y planos en ciertas relaciones

recíprocas y expresamos estas relaciones con palabras tales
como ‘estar situado’, ‘entre’, ‘congruente’, ‘paralelo’,
‘continuo’. La descripción completa de estas relaciones
hecha exactamente y con fines matemáticos resulta de los
axiomas de la geometría”(Hilbert 1899, p. 2).
 11

“Cuando se trata de investigar los fundamentos de una

ciencia, se despliega un sistema de axiomas, que contienen
una descripción completa y exacta de aquellas relaciones
que tienen lugar entre los conceptos elementales de aquella
ciencia. Los axiomas presentados son al mismo tiempo
definiciones de aquellos conceptos elementales, y cada
afirmación dentro del ámbito de esa ciencia cuyos
fundamentos examinamos vale para nosotros como
verdadera, en el caso que ella pueda ser derivada por medio
de un número finito de inferencias lógicas a partir de los
axiomas dados” (Hilbert 1900)
 Consecuencias
12

 La verdad de los axiomas, y la existencia de los objetos caracterizados

por éstos, no está más garantizada por su carácter autoevidente, basado
en una fuente privilegiada de conocimiento (intuición, intelecto).

 “En la construcción de la geometría se comienza suponiendo la

existencia de una totalidad de elementos. Es decir, suponemos
desde un inicio la existencia de tres sistemas de objetos: los puntos,
rectas y los planos. Luego se los relaciona unos con otros por medio de
ciertos axiomas […]. Así surge necesariamente la tarea de mostrar la
consistencia y la completitud de estos axiomas, i.e. debe probarse que
la aplicación de los axiomas dados nunca puede conducir a
contradicciones, y que el sistema de axiomas es adecuado para probar
todos los teoremas de la geometría. (Hilbert 1900a, p. 181)
 13

 Criterios de adecuación de los sistemas axiomáticos:

1. Consistencia
2. Independencia
3. Completitud
4. Simplicidad

 Todos los criterios, menos la simplicidad, son

susceptibles de un tratamiento matemático
 “La consistencia implica existencia”
14

 La consistencia se vuelve una propiedad central de

los sistemáticas axiomáticos:

 Ud. escribe: ‘Yo llamo axioma a las proposiciones… De la verdad del

axioma se sigue que ellos no se contradicen entre sí’ … Encontré por
demás interesante esta afirmación en su carta, puesto que desde que he
pensado, escrito y ensañado sobre el tema, he sostenido exactamente lo
contrario: si los axiomas arbitrarios dados no se contradicen unos con
otros, con todas sus consecuencias, entonces ellos son verdaderos y las
cosas definidas por los axiomas existen. Este es para mí el criterio de
verdad y existencia” (Frege 1980, p. 39-40).
 15

 Si propiedades contradictorias son asignadas a un concepto, afirmo, el

concepto no existe matemáticamente. (…) Pero si puede ser probado
que los atributos asignados al concepto no pueden nunca llevar a
contradicciones por medio de la aplicación de un número finito de
inferencias lógicas, entonces puedo afirmar que la existencia
matemática del concepto está justificada” (Hilbert 1900, p. 448).

 “Existir significa que las notas (axiomas) que definen al concepto no se

contradicen entre sí, esto es, no es posible, a partir de todos los axiomas
con la excepción de uno, demostrar a través de puras inferencias lógicas
una proposición que contradice a este último axioma”. (Hilbert 1898, p.
302)
 Consistencia de la geometría
16

 Abordaje modelo-teórico: se debe mostrar o

construir un objeto que satisface todas las
propiedades o relaciones establecidas por los
axiomas.

 Prueba relativa de consistencia: ese objeto o

“modelo” es una estructura que pertenece a otra
teoría matemática. Luego, si se presupone la
consistencia de tal teoría, entonces es posible
demostrar la consistencia de la teoría en cuestión.
 17

Ejemplo:
 Hilbert construye un modelo aritmético (subcuerpo
pitagórico de números algebraicos) que satisface todos los
axiomas del sistema axiomático para la geometría euclídea.
Ergo: Si se presupone la consistencia de la
aritmética, entonces es posible probar la
consistencia de la geometría euclídea elemental.

¡Por ello mismo se denomina prueba relativa de consistencia!

 Un poco técnico
18

 En el Festschrift (1899) Hilbert no elige a los reales para

construir un “modelo” o “realización” aritmética de sus
axiomas, sino a un sub-cuerpo Ω (numerable) de los reales:

Sea Ω el cuerpo de todos los números algebraicos que

surgen del número 1 y de la aplicación, de un número finito
de veces, de las cuatro operaciones aritméticas de adición,
sustracción, multiplicación y división y de la quinta
operación 1 2 , donde ω representa un número que
surge de estas cinco operaciones.
 19

 En resumen, Hilbert muestra en 1899 que si se presupone

la consistencia de otra teoría (en este caso la aritmética), es
posible demostrar la consistencia de la geometría