WEBVTT

00:04:13.051 --> 00:04:14.077
żCuánto tiempo ha estado en Sherborne?

00:04:14.704 --> 00:04:16.276
Un ańo más que Troy,, Alan.

00:04:17.378 --> 00:04:18.035
żLo pasó bien?

00:04:18.035 --> 00:04:18.657
Mucho.

00:04:19.155 --> 00:04:20.358
Elegir correctamente el centro de estudio

00:04:20.622 --> 00:04:21.448
es tremendamente importante,

00:04:21.875 --> 00:04:23.107
żno cree? żA usted le agrada Sherborne?

00:04:23.884 --> 00:04:24.728
żNo es maravilloso?

00:04:25.101 --> 00:04:27.083
Desde luego que lo es. żPor qué dices eso? żQué tiene de malo?

00:04:27.083 --> 00:04:27.671
Al menos por un motivo:

00:04:28.006 --> 00:04:30.200
no tratan las matemáticas como una disciplina seria.

00:04:30.831 --> 00:04:31.701
No puedo creerlo.

00:04:32.183 --> 00:04:35.633
Pues es así. żSabes lo que nuestro tutor dijo el otro día?

00:04:36.365 --> 00:04:38.501
Dijo esta habitación apesta a matemáticas.

00:04:39.300 --> 00:04:44.025
Y a continuación, mirándome a mí, ańadió

00:04:44.025 --> 00:04:44.057
Sal y trae un spray desinfectante.

00:04:44.881 --> 00:04:45.755
Estaría bromeando.

00:04:46.198 --> 00:04:49.282
No. Odia todo lo que tenga que ver con la ciencia o las matemáticas.

00:04:50.029 --> 00:04:51.999
Una vez dijo plenamente convencido que

00:04:52.467 --> 00:04:53.867
Los alemanes perdieron la Gran Guerra

00:04:54.383 --> 00:04:56.882
porque pensaron que la ciencia era más importante que la religión.

00:04:58.083 --> 00:04:58.877
El aprendizaje de las matemáticas

00:04:59.250 --> 00:05:01.063
no es el único modo de juzgar las cualidades de una escuela.

00:05:02.230 --> 00:05:03.433
Es lo único que a mi me importa.

00:05:05.613 --> 00:05:08.780
żComparte usted también ese entusiasmo por las sumas y la ciencia?

00:05:09.138 --> 00:05:10.279
Oh, si, plenamente.

00:09:44.739 --> 00:09:45.645
żTrabajo? Oh, estoy en la Universidad.

00:09:51.232 --> 00:09:51.856
żUn profesor?

00:09:57.535 --> 00:09:58.755
No, no. Yo investigo. Ciencia, Matemáticas.

00:09:59.222 --> 00:10:01.123
En la actualidad intentamos construir una clase especial de máquina,

00:10:02.253 --> 00:10:04.211
lo que la gente llama cerebro electrónico.

00:10:06.912 --> 00:10:07.804
Eso suena un poco.

00:10:08.831 --> 00:10:09.628
żCómo qué?

00:10:10.270 --> 00:10:12.311
Suena como de película. żCómo se llamaba?

00:10:12.859 --> 00:10:14.421
Michael Rennie. La vi en Londres.

00:10:15.243 --> 00:10:16.568
Michael Rennie y una especie de robot.

00:10:18.833 --> 00:10:19.094
Oh.

00:10:19.421 --> 00:10:20.156
Ultimátum a la Tierra.

00:10:20.460 --> 00:10:21.311
Ultimátum a la Tierra.

00:10:21.670 --> 00:10:22.126
żLa ha visto?

00:10:22.543 --> 00:10:23.186
No.

00:10:24.962 --> 00:10:27.180
Mucho mejor. Así que,

00:10:29.971 --> 00:10:31.407
żqué es lo que hace esa cosa en que está trabajando?

00:10:32.699 --> 00:10:34.882
Bien, se le proponen problemas, problemas matemáticos,

00:10:36.070 --> 00:10:37.143
y los soluciona, muy rápido.

00:10:38.161 --> 00:10:38.548
żCómo de rápido?

00:10:38.844 --> 00:10:39.959
Muy, muy rápido,

00:10:40.612 --> 00:10:42.529
mucho más rápido de lo que podría un ser humano.

00:10:42.938 --> 00:10:43.633
Como una máquina calculadora.

00:10:45.434 --> 00:10:47.134
No, no, es mucho más que eso.

00:10:47.593 --> 00:10:49.958
Lo que intentamos construir es una máquina que pueda aprender cosas

00:10:50.932 --> 00:10:53.330
y eventualmente pensar por si misma.

00:10:55.574 --> 00:10:56.307
ĄDios mío!

00:10:57.028 --> 00:11:01.208
No es exactamente un robot, ni un cerebro,

00:11:01.942 --> 00:11:03.391
ni un cerebro humano.

00:11:05.060 --> 00:11:07.515
Es lo que llamamos computadora digital.

00:11:08.538 --> 00:11:09.807
żY usted ha pensado en eso?

00:11:11.506 --> 00:11:12.382
Si, en algo así.

00:11:13.982 --> 00:11:15.075
Debe ser interesante un trabajo así.

00:11:15.495 --> 00:11:16.171
Sí, lo es.

00:25:33.872 --> 00:25:34.859
Va a tener que tener paciencia conmigo, Turing.

00:25:35.700 --> 00:25:38.582
Yo no soy un administrador, ni un matemático,

00:25:40.362 --> 00:25:44.173
pero ya que parece altamente probable que vamos a trabajar juntos,

00:25:45.825 --> 00:25:51.594
podríamos pensar en tener algún tipo de conversación para conocernos.

00:25:51.893 --> 00:25:52.591
żLe parece bien?

00:25:52.924 --> 00:25:53.996
Sí, por supuesto.

00:25:56.460 --> 00:25:57.842
Esta es su ficha. La consultaré de vez en cuando.

00:25:58.285 --> 00:25:59.224
No tiene porqué alarmarse.

00:25:59.642 --> 00:26:00.375
No, no lo estoy.

00:26:07.505 --> 00:26:12.016
Veo que tiene usted interés en códigos y cifras. żCómo comenzó?

00:26:13.592 --> 00:26:15.025
Bueno, yo siempre he estado interesado,

00:26:15.650 --> 00:26:16.976
creo, desde que yo era un nińo.

00:26:17.821 --> 00:26:19.869
Recuerdo que recibí un premio en la escuela,

00:26:21.296 --> 00:26:23.422
un libro llamado Ensayos y Recreaciones Matemáticas

00:26:25.492 --> 00:26:27.025
y que había un capítulo dedicado a la criptografía.

00:26:27.493 --> 00:26:32.342
Me pareció fascinante. Luego, mucho más recientemente,

00:26:33.092 --> 00:26:34.586
me di cuenta de que mis ideas en matemáticas

00:26:34.931 --> 00:26:37.917
y lógica podían aplicarse a sistemas de cifrado.

00:28:27.499 --> 00:28:31.665
He estado analizando algunos detalles de su trabajo, seńor Turing,

00:28:32.912 --> 00:28:36.470
la mayor parte de los cuales debo decirle que me resultan totalmente incomprensibles.

00:28:37.874 --> 00:28:38.891
Eso no es sorprendente.

00:28:40.009 --> 00:28:43.659
Yo solía ser muy bueno en matemáticas cuando era más joven,

00:28:44.565 --> 00:28:49.734
pero esto es, desconcertante. Por ejemplo,

00:28:50.804 --> 00:28:53.775
esto de aquí. Sobre los números computables,

00:28:54.533 --> 00:28:57.483
con una aplicación al Entscheidungproblem.

00:28:58.627 --> 00:28:59.744
Explíqueme algo al respecto.

00:29:00.433 --> 00:29:01.165
żEl qué?

00:29:02.291 --> 00:29:04.344
Lo que sea. Unas pocas palabras de explicación,

00:29:05.114 --> 00:29:05.942
en términos generales.

00:29:07.365 --> 00:29:08.359
żUnas pocas palabras de explicación?

00:29:08.744 --> 00:29:09.591
Sí.

00:29:12.010 --> 00:29:13.065
żEn términos generales?

00:29:13.509 --> 00:29:14.333
Si es posible.

00:29:15.361 --> 00:29:18.878
Bueno, es sobre lo correcto y lo incorrecto,

00:29:19.340 --> 00:29:20.616
en términos generales.

00:29:22.334 --> 00:29:25.115
Se trata de un documento técnico sobre lógica matemática,

00:29:25.937 --> 00:29:29.247
pero también trata de la dificultad de decidir lo correcto de lo incorrecto.

00:29:29.976 --> 00:29:31.466
Mire, la gente piensa que,

00:29:32.347 --> 00:29:34.489
bueno, la mayoría de la gente piensa que, en matemáticas

00:29:35.080 --> 00:29:37.314
siempre sabemos lo que está bien y lo que está mal.

00:29:37.745 --> 00:29:39.290
No es así, y no lo será nunca más.

00:29:39.993 --> 00:29:42.240
Es un problema que ha ocupado a los matemáticos

00:29:42.973 --> 00:29:44.333
durante cuarenta o cincuenta ańos.

00:29:44.828 --> 00:29:47.214
żCómo distinguir lo que está bien de lo que está mal?

00:29:48.228 --> 00:29:49.325
Bertrand Russell ha

00:29:49.683 --> 00:29:50.851
escrito un libro inmenso sobre el tema,

00:29:51.163 --> 00:29:52.477
su Principia Mathematica.

00:29:52.962 --> 00:29:56.265
Su idea fue desmenuzar todos los conceptos

00:29:56.699 --> 00:29:58.310
y argumentos matemáticos en trozos pequeńos

00:29:58.745 --> 00:30:02.566
y luego demostrar que podían derivarse de la lógica pura.

00:30:05.233 --> 00:30:06.544
Pero creo que eso no funciona,

00:30:07.034 --> 00:30:08.633
y después de varios ańos de trabajo intenso,

00:30:09.166 --> 00:30:12.084
encontré algunas complicaciones insalvables

00:30:13.593 --> 00:30:15.017
Bueno, es un libro importante,

00:30:15.594 --> 00:30:19.163
importante e influyente. Influyó tanto en Hilbert

00:30:19.616 --> 00:30:20.774
como en Kurt Gödel.

00:30:21.692 --> 00:30:25.390
Tiene similitudes con los átomos,

00:30:26.216 --> 00:30:28.291
con el nuevo tratamiento físico de la materia.

00:30:28.760 --> 00:30:30.742
Así como el análisis de la física atómica ha llevado

00:30:31.277 --> 00:30:33.470
al descubrimiento de una nueva clase de física,

00:30:34.002 --> 00:30:35.543
de la misma manera al tratar de analizar estos átomos matemáticos

00:30:35.966 --> 00:30:37.110
ha dado lugar a una nueva clase de matemáticas.

00:30:37.509 --> 00:30:39.399
David Hilbert fue un poco más allá.

00:30:41.284 --> 00:30:43.438
No creo que su nombre signifique mucho,

00:30:43.875 --> 00:30:45.295
si es que significa algo para usted,

00:30:45.717 --> 00:30:47.033
pero así son las cosas del mundo,

00:30:47.515 --> 00:30:49.413
la gente parece que nunca ha escuchado hablar

00:30:50.019 --> 00:30:52.224
de los matemáticos realmente grandes.

00:30:53.893 --> 00:30:56.745
Hilbert miró el problema desde un ángulo completamente diferente

00:30:57.386 --> 00:30:59.739
y dijo que si tuviéramos cualquier sistema fundamental

00:31:00.489 --> 00:31:04.389
para las matemáticas, como el que Russell intentaba

00:31:05.656 --> 00:31:07.011
necesitaría verificar tres requisitos básicos:

00:31:07.743 --> 00:31:12.080
consistencia, completitud y decidibilidad.

00:31:12.547 --> 00:31:16.499
La consistencia indica que no debe haber ninguna contradicción en el sistema,

00:31:17.322 --> 00:31:20.727
es decir, que usted nunca será capaz de seguir las reglas de su sistema

00:31:21.680 --> 00:31:24.531
y acabar demostrando que dos y dos son cinco.

00:31:25.216 --> 00:31:27.899
Completitud significa que si una proposición es cierta,

00:31:28.443 --> 00:31:32.190
debe probarse utilizando las reglas de nuestro sistema.

00:31:33.716 --> 00:31:39.276
Y la decibilidad significa que debe existir un procedimiento

00:31:39.941 --> 00:31:42.783
definido o un test que pueda ser aplicado a cualquier

00:31:43.155 --> 00:31:45.947
proposición matemática y pueda decidir

00:31:46.466 --> 00:31:48.849
si tal aseveración es verificable o no.

00:31:49.648 --> 00:31:52.499
Hilbert pensaba que estas condiciones deben ser las

00:31:52.879 --> 00:31:55.620
mínimas que hay que imponer, pero al cabo de unos ańos,

00:31:56.233 --> 00:31:59.974
Kurt Gödel demostró que ningún sistema en las matemáticas

00:32:00.426 --> 00:32:03.405
puede ser a la vez consistente y completo,

00:32:03.951 --> 00:32:07.511
y lo hizo construyendo una proposición matemática

00:32:08.072 --> 00:32:13.797
que dice: Esta proposición no puede ser demostrada"

00:32:15.247 --> 00:32:16.433
Una paradoja clásica.

00:32:17.057 --> 00:32:19.897
Esta proposición no puede ser demostrada.

00:32:21.749 --> 00:32:24.062
Si podemos demostrarla, tenemos una contradicción,

00:32:24.811 --> 00:32:26.647
y el sistema es inconsistente.

00:32:27.583 --> 00:32:28.801
Si no puede ser demostrada,

00:32:29.347 --> 00:32:31.047
entonces la proposición es cierta.

00:32:32.265 --> 00:32:33.856
Pero no puede ser demostrada,

00:32:34.355 --> 00:32:35.665
lo que indica que el sistema es incompatible

00:32:40.518 --> 00:32:47.333
Es precioso. Creo que el teorema de Gödel

00:32:48.097 --> 00:32:50.193
es lo más bonito que jamás he conocido.

00:33:08.308 --> 00:33:10.477
Pero la cuestión de la decibilidad, el Entscheidungproblem

00:33:11.335 --> 00:33:12.069
estaba todavía sin resolver.

00:33:12.401 --> 00:33:13.395
En mi trabajo sobre los números computables,

00:33:13.800 --> 00:33:17.435
quise demostrar que ningún método puede funcionar para todas las cuestiones.

00:33:18.076 --> 00:33:20.716
Resolver problemas matemáticos requiere un infinito

00:33:21.102 --> 00:33:23.505
suministro de nuevas ideas.

00:33:26.644 --> 00:33:28.276
Demostrarlo fue una tarea monumental.

00:33:29.360 --> 00:33:31.178
Tuve que examinar la demostrabilidad de todas las

00:33:31.492 --> 00:33:34.595
afirmaciones matemáticas del pasado, el presente y el futuro.

00:33:35.289 --> 00:33:37.738
żCómo diablos podía hacerse eso?

00:33:39.573 --> 00:33:42.395
Finalmente, una palabra me dio una pista.

00:33:43.830 --> 00:33:46.297
La gente ha estado hablando de un proceso mecánico,

00:33:46.747 --> 00:33:49.976
un proceso que podría ser aplicado mecánicamente

00:33:50.760 --> 00:33:52.070
para resolver problemas matemáticos

00:33:52.476 --> 00:33:55.421
sin necesidad de ninguna intervención humana

00:33:56.124 --> 00:33:57.804
o del ingenio.

00:34:03.237 --> 00:34:07.152
ĄMáquina! Esa fue la palabra crucial.

00:34:14.763 --> 00:34:15.825
leerlos, si se quiere,

00:34:16.341 --> 00:34:17.538
leería una afirmación matemática

00:34:18.772 --> 00:34:24.908
y luego llegaría a un veredicto sobre si esa afirmación sería demostrable.

00:34:26.431 --> 00:34:30.054
Y con este concepto fui capaz de demostrar que Hilbert estaba equivocado.

00:34:31.547 --> 00:34:32.500
Mi idea funcionó.

00:34:35.890 --> 00:34:43.499
Ya veo. Bueno, no, pero ya veo algo, creo.

00:36:18.833 --> 00:36:20.709
Usted dictó una conferencia en Club de Ciencia Moral en Cambridge.

00:36:21.079 --> 00:36:22.280
Nos vimos fugazmente al terminar.

00:36:22.751 --> 00:36:24.729
Eso fue hace seis, siete ańos.

00:36:25.294 --> 00:36:26.352
Diciembre de 1933.

00:36:27.083 --> 00:36:28.177
Lo recuerdo muy claramente.

00:36:29.096 --> 00:36:32.371
Recuerdo que afirmó que las proposiciones matemáticas no tienen una,

00:36:32.995 --> 00:36:34.807
sino una variedad de interpretaciones.

00:36:35.961 --> 00:36:37.725
Usted abrió un montón de posibilidades

00:36:38.084 --> 00:36:39.955
sobre las que nunca había pensado. Fue excitante.

00:37:03.210 --> 00:37:06.004
El mensaje a trasmitir se codifica mediante esta máquina.

00:37:06.898 --> 00:37:08.671
El emisor y el receptor tienen el mismo equipo, por supuesto.

00:37:09.895 --> 00:37:12.310
Aquí bajo el teclado hay tres rotores.

00:37:13.528 --> 00:37:15.475
Las letras del alfabeto circundan cada rotor.

00:37:16.006 --> 00:37:18.374
Si se presiona una de las teclas, la k por ejemplo,

00:37:21.143 --> 00:37:23.484
se ve que la k se codifica como h.

00:37:25.349 --> 00:37:27.204
Entonces el primer rotor gira.

00:37:27.955 --> 00:37:30.902
Presionando la k otra vez, aparece la letra f,

00:37:31.405 --> 00:37:32.354
y así sucesivamente.

00:37:33.277 --> 00:37:34.582
Cuando el rotor ha dado una vuelta completa,

00:37:34.927 --> 00:37:36.502
el segundo rotor hace lo mismo y después el tercero.

00:37:37.551 --> 00:37:41.903
Es una máquina poli alfabética con 26 x 26 x 26 posibles configuraciones.

00:37:43.169 --> 00:37:45.022
17576.

00:37:45.428 --> 00:37:46.457
Exacto.

00:37:47.548 --> 00:37:49.346
Bueno, no es un número tremendamente grande.

00:37:49.937 --> 00:37:50.986
No, es cierto.

00:37:51.385 --> 00:37:53.118
Un análisis manual podría eventualmente llevarnos

00:37:53.505 --> 00:37:55.252
a la configuración correcta teniendo suficiente paciencia,

00:37:55.646 --> 00:37:58.919
pero llevaría varios días y las configuraciones cambian diariamente.

00:37:59.812 --> 00:38:00.870
żCómo saben que configuración utilizar?

00:38:01.277 --> 00:38:03.234
Utilizan un libro de códigos que desafortunadamente no tenemos,

00:38:04.041 --> 00:38:06.383
pero al menos sabemos como funciona la máquina y

00:38:06.751 --> 00:38:09.001
hemos sido capaces de modificar una de nuestras propias máquinas

00:38:09.559 --> 00:38:10.420
para simular el funcionamiento de la Enigma.

00:38:10.775 --> 00:38:11.447
Ya.

00:38:11.949 --> 00:38:16.049
El problema es que los alemanes han modificado la Enigma complicándola,

00:38:17.020 --> 00:38:18.672
con lo que nuestro modelo es virtualmente obsoleto.

00:38:19.903 --> 00:38:22.696
Sus operarios están ahora equipados con un conjunto de cinco rotores

00:38:23.520 --> 00:38:26.913
de los que tres cualesquiera pueden utilizarse en cualquier orden cuando inicializan la Enigma.

00:38:27.407 --> 00:38:30.978
Hay 60 posibles combinaciones. 17576 veces 60.

00:38:31.881 --> 00:38:37.719
1054560. También han ańadido una placa con clavijas al aparato

00:38:38.208 --> 00:38:39.643
como si fuera un tablero de conmutadores.

00:38:40.653 --> 00:38:44.424
Conectan pares de letras en las clavijas y

00:38:45.083 --> 00:38:48.969
eso las intercambia antes de que pasen a los rotores, y después también.

00:38:49.595 --> 00:38:52.742
Así que literalmente hay miles de millones de posibles permutaciones.

00:38:53.775 --> 00:38:54.836
Eso es lo que yo llamo un problema.

00:44:13.214 --> 00:44:14.713
Mira esto, es un cono de pino.

00:44:15.743 --> 00:44:16.776
Ya veo que es un cono de pino.

00:44:18.102 --> 00:44:19.345
Vale, Ącógelo!

00:44:20.969 --> 00:44:21.574
Míralo. .

00:44:21.962 --> 00:44:26.549
Voy a decirte algo extraordinario sobre este cono de pino

00:44:27.003 --> 00:44:28.238
A mi me parece bastante normal.

00:44:28.846 --> 00:44:31.996
Define qué se entiende por una sucesión de Fibonacci.

00:44:34.100 --> 00:44:36.096
La sucesión de Fibonacci es la sucesión de números

00:44:36.707 --> 00:44:38.044
donde cada término es la suma de los dos anteriores.

00:44:38.625 --> 00:44:43.337
Así, si se inicia con 1, luego 1 + 1 son 2; 1 y 2, 3; 2 y 3, 5; 3 y 5, 8,

00:44:43.723 --> 00:44:46.110
5 y 8, 13. Bieeeen, bien dicho,

00:44:46.657 --> 00:44:47.422
calificación máxima.

00:44:48.249 --> 00:44:49.637
Ahora mira este cono de pino.

00:44:50.448 --> 00:44:51.758
Mira el diseńo de los soportes de las hojas.

00:44:52.261 --> 00:44:54.615
Siguen una espiral alrededor del cono.

00:44:55.352 --> 00:44:57.627
Ocho líneas de torsión a la izquierda,

00:44:58.143 --> 00:45:00.885
trece a la derecha.

00:45:01.693 --> 00:45:03.771
Los números siempre siguen una secuencia de Fibonacci.

00:45:04.504 --> 00:45:04.987
żSiempre?

00:45:05.486 --> 00:45:07.796
Siempre. Y no sólo sucede en las pińas.

00:45:08.266 --> 00:45:11.272
Los pétalos de la mayoría de las flores crecen de la misma forma.

00:45:12.972 --> 00:45:14.067
żNo es asombroso?

00:45:14.798 --> 00:45:15.673
Sí, lo es.

00:45:17.796 --> 00:45:22.788
Turing: Sí, y surge la pregunta milenaria. żEs Dios un matemático?

01:13:19.143 --> 01:13:20.045
żQué tipo de trabajo estás haciendo?

01:13:20.903 --> 01:13:22.606
Estoy en la Universidad de Manchester.

01:13:22.906 --> 01:13:23.387
Sí, eso ya lo sé.

01:13:23.633 --> 01:13:25.043
Hemos construido una computadora digital.

01:13:25.832 --> 01:13:28.376
żTe acuerdas de mi teoría acerca de las máquinas universales?

01:13:29.268 --> 01:13:30.434
Bueno, pues lo hemos hecho,

01:13:31.312 --> 01:13:32.420
hemos construido una.

01:13:33.897 --> 01:13:34.545
Todo gracias a nuestro trabajo en Bletchley.

01:13:34.803 --> 01:13:36.038
Qué emocionante! Ha debido ser muy emocionante.

01:13:38.608 --> 01:13:43.619
Y yo estoy usando la computadora para simular los patrones de crecimiento de plantas y animales,

01:13:45.300 --> 01:13:47.814
al igual que los patrones de Fibonacci en un cono de pino.

01:13:50.856 --> 01:13:51.852
żTe acuerdas cuando te explique aquello?

01:13:52.414 --> 01:13:52.916
Si.

01:13:53.649 --> 01:13:56.431
Fue aquella tarde en la que me confesaste estar enamorada de mí.

01:14:00.002 --> 01:14:03.615
Fui a la iglesia con tu madre, y ambas lloramos con el sermón.

01:14:10.790 --> 01:14:13.805
No has cambiado un solo bit en Irlanda.

01:21:35.636 --> 01:21:36.997
Mire, déjeme tratar de explicarle algo.

01:21:38.724 --> 01:21:42.235
Con el fin de desentrańar los mensajes codificados por la máquina Enigma,

01:21:42.749 --> 01:21:43.863
tuvimos que hacer ciertas deducciones.

01:21:44.248 --> 01:21:48.650
Tuvimos que deducir la posición de los rotores de la máquina para cada transmisión.

01:21:49.165 --> 01:21:49.727
En otras palabras,

01:21:50.049 --> 01:21:54.425
tuvimos que construir una cadena de deducciones lógicas para

01:21:54.916 --> 01:21:56.131
cada una de las posiciones de los rotores.

01:21:56.927 --> 01:21:59.385
Si esta cadena de deducciones nos hubiera llevado a una contradicción,

01:22:00.002 --> 01:22:01.533
eso significaba que estabas equivocado y

01:22:01.812 --> 01:22:04.093
que había que pasar a la siguiente posición del rotor y

01:22:04.400 --> 01:22:04.932
empezar todo de nuevo,

01:22:05.259 --> 01:22:06.250
y así una y otra vez.

01:22:06.601 --> 01:22:07.740
Era una tarea laboriosa,

01:22:08.332 --> 01:22:09.455
de una longitud imposible,

01:22:10.329 --> 01:22:11.248
y no sabíamos qué hacer.

01:22:13.093 --> 01:22:13.717
De repente,

01:22:14.558 --> 01:22:15.539
una tarde de primavera,

01:22:16.383 --> 01:22:17.043
justo después del almuerzo,

01:22:17.366 --> 01:22:20.362
recordé la conversación que tuve con Wittgenstein.

01:22:21.377 --> 01:22:24.497
Estábamos discutiendo sobre un teorema elemental de lógica matemática

01:22:25.026 --> 01:22:31.873
que establece que la contradicción implica cualquier proposición,

01:22:33.031 --> 01:22:36.463
y me di cuenta inmediatamente de que si pudiéramos construir

01:22:36.835 --> 01:22:38.054
una máquina que contuviera esa idea,

01:22:38.800 --> 01:22:42.489
tendríamos una máquina que rompería el código con la rapidez necesaria.

01:22:42.796 --> 01:22:44.601
Tendría que ser una máquina de relés eléctricos

01:22:45.216 --> 01:22:46.319
y circuitos lógicos,

01:22:46.681 --> 01:22:48.707
que pudiera detectar contradicciones,

01:22:49.064 --> 01:22:50.733
reconocer consistencias.

01:22:51.810 --> 01:22:52.903
Si nuestra suposición fuera incorrecta,

01:22:53.233 --> 01:22:55.931
la electricidad fluiría a través de todas las hipótesis relacionadas

01:22:56.333 --> 01:22:58.190
y nos golpearía con un flash al instante.

01:22:58.519 --> 01:22:59.158
Si la suposición fuera cierta,

01:22:59.421 --> 01:23:00.781
sería consistente,

01:23:01.552 --> 01:23:04.665
y la corriente eléctrica se detendría en la combinación correcta.

01:23:05.274 --> 01:23:09.522
Nuestra máquina sería capaz de analizar miles de millones de permutaciones

01:23:10.086 --> 01:23:14.522
a una velocidad increíble y con un poco de suerte nos daría el camino.

01:23:18.743 --> 01:23:20.237
ĄQué momento! Extraordinario,

01:23:22.452 --> 01:23:24.077
algo extraordinario.

01:23:31.345 --> 01:23:32.775
Recuerdo aquel hermoso día soleado.

01:23:35.131 --> 01:23:36.457
El césped acababa de ser cortado.

01:23:37.441 --> 01:23:39.133
Todo olía a hierba mojada.

01:23:40.527 --> 01:23:43.794
Sentí una maravillosa sensación de triunfo y regocijo.

01:23:50.512 --> 01:23:55.499
Pero no me llevó demasiado tiempo darme cuenta de que no era

01:23:55.813 --> 01:23:58.478
romper el código lo que importaba.

01:24:01.381 --> 01:24:08.810
Es a donde llegas desde ahí. ese es el problema real.

01:24:11.193 --> 01:24:12.176
Así que ya ve,

01:24:12.646 --> 01:24:13.943
se necesitó algo más que matemáticas

01:24:14.530 --> 01:24:19.181
e ingenuidad electrónica para romper la Enigma del submarino alemán U-boot.

01:24:19.531 --> 01:24:20.602
Se requirió determinación,

01:24:20.912 --> 01:24:23.645
tenacidad, fibra moral, si lo desea.

01:24:24.850 --> 01:24:27.269
Eso es lo que lo hizo todo tan profundamente satisfactorio.

01:24:27.775 --> 01:24:30.459
Todo llegó de golpe, todos los hilos de mi vida,

01:24:31.820 --> 01:24:32.973
mi trabajo como matemático,

01:24:33.360 --> 01:24:35.299
mi interés en sistemas de cifrado,

01:24:36.473 --> 01:24:39.668
mi capacidad para resolver problemas prácticos,

01:24:41.010 --> 01:24:42.850
Ąmi amor por mi país!

01:24:46.285 --> 01:24:47.231
Confiaban en mi entonces.

01:24:48.821 --> 01:24:50.022
żPorqué no ahora?