Extraído de “Más allá de los números”, John Allen Paulos,

Tusquets, Barcelona, 1991.

 El enunciado de Paulos es falso.

 Extraído de “Las matemáticas del siglo XX”, varios autrores,
compilación de Antonio Martinón, Nivola, España, 2000.

 ¿Qué significa “formal”? Si la palabra no

se interpreta correctamente, el
enunciado es falso.
 Aristóteles: infinito potencial o actual.
 Infinito potencial: una cantidad siempre finita
que crece indefinidamente.
 Infinito actual: cantidad, de hecho, infinita.
 “El infinito siempre es en potencia, nunca en
acto.”
 Protesto contra el uso de magnitudes infinitas
como algo completo, lo que en matemáticas
nunca se permite. El infinito es simplemente
una forma de hablar, el significado real es un
límite con ciertos rangos de aproximación
indefinidamente cercanos, mientras que otros
se les permite incrementarse
 Gauss, en una carta a Schumacher en 1831.
 En la década de 1870 Georg Cantor
comienza a introducir la Teoría de
Conjuntos.
 La cita siguiente es de “Fundamentos
para una teoría general de conjuntos”,
Cantor, 1883.
 En pocos años la Teoría de Conjuntos de
Cantor se transforma en el fundamento
de las Matemáticas.
 Todos los conceptos matemáticos
(número, operación, función, etc.) se
definen a partir de nociones
conjuntistas.
 Gottlob Frege dedica muchos años al
trabajo de fundamentar rigurosamente
la Aritmética a partir de la Teoría de
Conjuntos.
 En 1893 publica el primer tomo de
“Fundamentos de la Aritmética”, la obra
que reúne todo este trabajo.
 En 1902, cuando el segundo tomo de
“Fundamentos de la Aritmética” está en
la imprenta Frege recibe una carta de
Bertrand Russell.
La carta de Bertrand
Russell a Gottlob Frege
que desencadena la Crisis
de los Fundamentos.

Extraída de “From Frege

to Gödel”, compilación de
Jean van Heijenoort;
Harvard University Press,
1967.
 La carta plantea por primera vez la
llamada “Paradoja de Russell”.
 Axioma de comprensión: a toda
propiedad le corresponde un conjunto.
 Russell dice: sea R el conjunto de todos
los conjuntos que no son elementos de sí
mismos.
 Ese conjunto es contradictorio.
Extraído de “Experiencia Matemática”; P.J. Davis, R.
Hersh; Ed. Labor, Barcelona, 1989.
 Reacciones a la Crisis de los Fundamentos:
 Logicismo (Bertrand Russell).
 Constructivismo o Intuicionismo (L.E.J.
Brouwer, Arendt Heyting).
 Intuicionismo o constructivismo:
 El infinito en acto no existe.
 Toda la teoría de Cantor es un
sinsentido.
 Un objeto matemático sólo existe si se lo
puede construir algorítmicamente en
una cantidad finita de pasos (a partir del
1 y la noción de “sucesor”).
 Hacia 1920 el Intuicionismo comienza a
adquirir una gran influencia.

Extraído de “Las matemáticas del siglo XX”, varios autrores,

compilación de Antonio Martinón, Nivola, España, 2000.
 David Hilbert: “Del Paraíso que Cantor
creó para nosotros nadie podrá
expulsarnos”.
 Hilbert propone una alternativa al
Intuicionismo.
 Una propuesta que admita a la Teoría
de Cantor y que a la vez los intuicionistas
puedan aceptar.
Extraído de “Del sentimiento trágico de la vida”,
Miguel de Unamuno, Sarpe, Madrid, 1983.
 Entre 1920 y 1930 Hilbert presenta su
programa formalista.
 La base de la Matemática es la
Aritmética (la teoría de los enteros
positivos, su suma y su producto).
 Hay que dar axiomas para la Aritmética
de modo tal que todas las verdades de
la teoría sean demostrables a partir de
ellos.
 La corrección de los razonamientos
debe ser verificable algorítmicamente
(mecánicamente, en una cantidad
finita de pasos).
 La consistencia de los axiomas debe ser
verificable de la misma manera.
 Hilbert lleva la exigencia de finitud de los
objetos a los razonamientos
matemáticos.
 Königsberg, domingo 7 de septiembre
de 1930: Hilbert triunfa.
 ¿Hilbert triunfa?...
 Kurt Gödel, hasta ese momento casi un
desconocido, levanta tímidamente la
mano…
 Si la corrección de los razonamientos
debe ser verificable algorítmicamente
entonces, dado cualquier sistema de
axiomas para la Aritmética, siempre
habrá afirmaciones verdaderas que no
son demostrables a partir de ellos.
 (No todos los razonamientos usados en
Matemática son verificables
algorítmicamente.)
 Concepto sintáctico: se refiere a los
símbolos, independientemente de su
posible significado.
 Concepto semántico: depende del
significado.
 En la oración “Vannak zöld kutya.” hay
15 letras. (Concepto sintáctico.)
 La oración “Vannak zöld kutya.” es
verdadera. (Concepto semántico.)
 Los métodos semánticos son “riesgosos”.
 Todos los métodos semánticos deben ser
verificables sintácticamente.
 Metamatemática: ciencia “sintáctica”
que verifica la corrección de la
Matemática.
 Gödel enuncia y demuestra su teorema
usando solamente conceptos
sintácticos.
 Si la corrección de los razonamientos
debe ser verificable algorítmicamente
entonces, dado cualquier sistema de
axiomas para la Aritmética, siempre
habrá enunciados verdaderos que no
son demostrables a partir de ellos.
 Éste, todavía, no es el enunciado de
Gödel.
Extraído de “Breve historia de la paradoja”,
Roy Sorensen, Tusquets, Barcelona, 2003.
 La presentación puede descargarse de:
http://godelparatodos.blogspot.com.ar/
 Lecturas sugeridas: "Acerca del Infinito" y
"La fundamentación de la teoría
elemental de números“, de David Hilbert
(pueden descargarse desde el mismo
blog).
 Actividad sugerida: buscar ejemplos
donde el infinito sea presentado de
modo “potencial” y ejemplos donde sea
presentado de modo “actual”.
 Lo que sigue es la introducción del
paper original de Kurt Gödel, publicado
en sus obras completas, con un estudio
preliminar de Jesús Mosterín (compilador
de la obra).