Kurt Gödel: hay verdades que nunca se podrán demostrar | Documental

Murió en Princeton en 1978 pesando veintinueve kilos. Cuarenta y siete años antes había demostrado que en cualquier sistema de matemáticas lo bastante potente hay verdades que nunca se podrán demostrar desde dentro. Einstein decía que iba al Instituto solo por volver andando a casa con él. Este documental cuenta la historia de Kurt Gödel con la fuente de cada cosa: el niño al que llamaban «el señor Por Qué», el Círculo de Viena y el sueño de la certeza de Hilbert, la frase de Königsberg que casi nadie entendió (la víspera del famoso «Tenemos que saber, sabremos»), el teorema explicado sin una fórmula, el asesinato de Schlick, Adele y el paraguas, el Transiberiano, los paseos con Einstein, el juez y la Constitución, el universo en el que se puede viajar al pasado, y el final. Y lo que dice de ti: por qué, a las tres de la mañana, cuanto más piensas algo, más razón le das. Y qué cosas NO demuestra su teorema (ni sobre la inteligencia artificial, ni sobre Dios). 00:00 Veintinueve kilos 02:04 El señor Por Qué 03:50 El sueño de la certeza 05:42 Königsberg 07:42 Esta frase no se puede demostrar 10:05 La escalera de la universidad 12:04 Adele 13:53 El Transiberiano 15:36 Desde fuera 17:40 Lo que el teorema no dice 19:50 El paseo de vuelta 21:39 El juez y la Constitución 23:42 El universo que gira 25:44 La lógica del miedo 27:49 Solo lo que ella preparaba 29:42 Alguien con quien volver a casa Fuentes: K. Gödel, «Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I», Monatshefte für Mathematik und Physik (1931); «An Example of a New Type of Cosmological Solutions of Einstein's Field Equations», Reviews of Modern Physics (1949). P. A. Schilpp (ed.), «Albert Einstein: Philosopher-Scientist» (1949). J. W. Dawson, «Logical Dilemmas: The Life and Work of Kurt Gödel» (1997). R. Goldstein, «Incompleteness» (2005). D. Hilbert, discurso radiado de Königsberg (8 sep 1930). Stanford Encyclopedia of Philosophy, «Kurt Gödel». J. R. Lucas, «Minds, Machines and Gödel» (1961). R. Penrose, «La nueva mente del emperador» (1989). Si conoces a alguien que se encierra demasiado en su cabeza, mándale esto. 🖤 OBSCVRAMENTE — Documentales