MATEMTICAS Y LITERATURA

EL TO PETROS Y LA CONJETURA DE GOLDBACH

1. Una Conferencia de Matemticas
Cuenta el narrador del libro que acudi a una conferencia de
matemticas titulada Los fundamentos de las teoras matemticas segn la
lgica formal. En ella aparecan los nombres de varios matemticos
importantes:
- David Hilbert
- Gottlob Frege
- Bertrand Russell
- Giusepe Peano
- Von Neuman
- Euclides
- Zenn
- Leonard Euler
-Constantino Karatheodori
- Kurt Gdel
A) En esta lista faltan dos nombres que s
se mencionaron, y sobra uno, que no se nombr.
Averigua los tres nombres y escribe un resumen
de sus biografas, incluyendo alguna foto.
B) Explica, con un ejemplo, cul es el
contenido de la Paradoja de B. Russell.
C) David Hilbert, uno de los matemticos
ms importantes del siglo XX, present una lista
de problemas matemticos no resueltos, en el
congreso internacional de 1900. Cuntos
problemas eran? Recoge los enunciados o los
contenidos de los que puedas. Se han resuelto ya?
2. La Conjetura de Goldbach
Entre la numerosa correspondencia entre
Euler y Goldbach, destaca la carta en la que, en
1742, el segundo le plantea al primero el
problema que, ms tarde, Euler enunciara como
la famosa Conjetura de Goldbach.
A) Leyendo la novela, se puede observar
que la esa conjetura se puede enunciar de ms
de una forma, por ejemplo:
C1: Todo nmero par se puede escribir
como suma de dos nmeros primos.
C2: Todo nmero entero puede expresarse como suma de tres nmeros
primos.

Demuestra que si se cumple C2, entonces tambin se cumple C1.

B) Recoge los datos esenciales de la biografa de Christian Goldbach.
3. Otras Conjeturas
Como era de esperar, uno de los temas que aparece recurrentemente
en el libro es el de las conjeturas matemticas famosas:

- Segunda (o La Otra) Conjetura de Goldbach (pg. 85).

- Hiptesis de Ramanujan (pg. 88).
- Conjetura de Fermat sobre nmeros primos (pg 124).
- Conjetura de Poincar (pg 152).
- Hiptesis de Rieman (pg 76, 77, 170, 185 y 186).
A) Busca en qu consisten estas conjeturas y escribe sus enunciados.
B) En 1640, Fermat escriba, sobre su
conjetura relativa a los nmeros primos, lo
siguiente:
Estoy persuadido de que es siempre un nmero
primo. No tengo la demostracin exacta, pero he
excluido una cantidad tan grande de divisores por
demostraciones infalibles, y tengo tantas
referencias que avalan mi pensamiento, que no
creo que tenga que rectificar.
Leonard Euler, en 1732, demostr que la
conjetura de Fermat sobre la expresin de algunos
nmeros primos era falsa. Haz tus investigaciones,
busca, piensa como Euler, y demuestra la falsedad
de esa conjetura.
C) En la novela se dice que un famoso
matemtico present una prueba de la Segunda (o
La Otra) Conjetura de Goldbach, dando como
cierta una conjetura o hiptesis (que sigue sin
estar demostrada) de otro afamado matemtico.
De qu hiptesis se trata?

D) Hasta finales del siglo XX, haba tres problemas sin resolver, que
se consideraban los ms difciles y famosos, relacionados con las conjeturas
anteriores. Escribe sus enunciados, los nombres de sus autores y el estado
actual de su resolucin.
E) En junio de 2006, la prensa se hizo eco de la noticia de que unos
matemticos chinos decan haber demostrado una conjetura muy famosa...
De qu conjetura estamos hablando? En qu situacin est el tema en la
actualidad?
4. Un resultado sencillo
Todo nmero par es suma de un nmero primo ms un impar. Este
enunciado aparece en el libro.
A) En qu pgina? Demuestra que es un enunciado cierto.
5. Nmeros Primos
Entre las pginas 36 y 37 se dice que Euclides demostr, por
reduccin al absurdo, un resultado importante sobre nmeros primos.
A) Qu resultado fue? Busca la
demostracin, estdiala y exponla aqu.
B) Otro griego haba inventado una criba de
nmeros naturales para obtener nmeros primos.
Quin fue y en qu consiste esa criba?
C) Haz un comentario sobre el mtodo de
demostracin por reductio ad absurdum. Busca
una demostracin por este mtodo, estdiala y
redctala aqu.
D) En la pgina 83 se habla de la variada
problemtica de la sucesin de los nmeros
primos. Puedes concretar esa afirmacin con
varios ejemplos?
E) Constantino Karatheodori le pregunta al
narrador (pg. 66) cuntos nmero primos hay
menores que un nmero dado n. Qu respuesta
le da? Cmo podras comprobar t que eso es
as? Ese resultado se denomina el Teorema del
nmero primo, y la demostracin rigurosa, en
1896, se debe a los trabajos independientes de
Jacques Hadamard y C de la Valle Poussin.
6. Mersenne y sus primos

En la pgina 126 se diceque el nmero 8191 se conoce como nmero

primo de Mersenne
A) Se denominan nmeros de Mersenne los que tienen la forma 2n-1,
con n un nmero natural. Calcula los primeros nmeros de Mersenne.
B) Se cumple la siguiente propiedad: si un nmero de Mersenne es
primo, entonces su exponente n es primo tambin. Pero no es cierto el
enunciado recproco: si en un nmero de Mersenne el exponente n es primo,
el nmero no es necesariamente primo. Un ejemplo de ello ocurre para n =
11. Demustralo.
C) El nmero 8191 es de Mersenne? Si lo es cunto vale n?
Demuestra que adems es primo.
D) En 1644, Mersenne dijo que para n = 13, 17, 19, sus nmeros son
primos. Y era cierto. Tambin dijo que 267-1 tambin era primo... En 1903
Frank Nelson Cole, dio una conferencia donde demostr que ese nmero no
era primo. Seras capaz de escribir 267-1 como producto de dos nmeros?
E) Por cierto, qu sabes de Mersenne? Haz una pequea biografa.
7. La Completitud en Matemticas
Kurt Gdel resolvi el problema de la
completitud en matemticas en 1933.
A) En qu consiste ese problema? Cmo
lo resolvi Gdel?
B) La solucin de ese problema, adems
de ser sublime, como la calificaron Hilbert y
Russell, gener mucha incertidumbre en la
comunidad matemtica de la poca ... Por qu
fue as?
C) Qu relacin hay entre el Teorema de
Gdel y el Segundo problema de Hilbert?
D) Qu relaciones estableci el to Petros entre
la Conjetura de Golbach y el Teorema de la incompletitud
de Gdel?
E) Alan Turing, en 1936, demostr otro resultado
relacionado con este tema (pg. 139). Qu resultado es?
Qu relacin tiene con el Teorema de Gdel?

8. La naturaleza de las Matemticas

En varias pginas del libro se plantean cuestiones de inters sobre el

conocimiento matemtico:
- qu son las matemticas en tu opinin? (pg. 31)
- las verdaderas matemticas no tienen nada que ver con las
aplicaciones prcticas ni con los procedimientos de clculo que
aprendes en el colegio. Estudian conceptos intelectuales
abstractos que, al menos mientras el matemtico est ocupado con
ellos, no guardan relacin alguna con el mundo fsico y sensorial
(pg 32)
- Los matemticos encuentran el mismo placer en sus estudios que
los jugadores de ajedrez en el juego (pg 32-33)
- el verdadero matemtico se parece a un poeta o a un compositor
musical; en otras palabras, a alguien preocupado por la creacin de
belleza y la bsqueda de armona y perfeccin. Es el polo opuesto
al hombre prctico, el ingeniero, el poltico o... el hombre de
negocios. (pg 33)
- ...la construccin de teoras matemticas, empezando con los
axiomas y fundamentos... (pg 59)
- el profano en la materia no puede ni imaginar el placer del que se
les ha privado (pg 159)
- La amalgama de Verdad y Belleza reveladas mediante la
comprensin de un teorema importante no puede obtenerse
mediante ninguna otra actividad humana... (pg 159)
- los libros de matemticas no suelen leerse como las novelas ... En
este caso, leer significa entender, y para ello es preciso contar
con una superficie dura, papel, lpiz y bastante tiempo libre. (pg.
169)
Haz un comentario personal sobre estas frases y expn lo que para ti
son las matemticas.
8. Bibliografa
- Davis, P. y Hersh, R. (1989) Experiencia matemtica. Ed. Mec-Labor,
Barcelona.
- Dunham, W (2002) Viaje a travs de los genios. Ed. Pirmide, Madrid.
- Hoffman, P. (2000) El hombre que slo amaba los nmeros. Ed. Granica,
Barcelona.
- Klein, M. (1985) Matemticas. La prdida de la certidumbre. Ed. Siglo
XXI, Madrid.
- Stewart, I. (1998) De aqu al infinito. Las matemticas de hoy. Ed.
Grijalbo Mondadori, Barcelona.