Ciencias del conocimiento simbólico

Dangerous Knowledge (David Malone, BBC Two, 2008)
Conocimientos peligrosos (subtitulado-castellano)
DANGEROUS KNOWLEDGE BBC Two June 2008 In this one-off documentary, David Malone looks at four brilliant mathematicians - Georg Cantor, Ludwig Boltzmann, Kurt Gödel and Alan Turing - whose genius has profoundly affected us, but which tragically drove them insane and eventually led to them all committing suicide. The film begins with Georg Cantor, the great mathematician whose work proved to be the foundation for much of the 20th-century mathematics. He believed he was God's messenger and was eventually driven insane trying to prove his theories of infinity. Ludwig Boltzmann's struggle to prove the existence of atoms and probability eventually drove him to suicide. Kurt Gödel, the introverted confidant of Einstein, proved that there would always be problems which were outside human logic. His life ended in a sanatorium where he starved himself to death. Finally, Alan Turing, the great Bletchley Park code breaker, father of computer science and homosexual, died trying to prove that some things are fundamentally unprovable. The film also talks to the latest in the line of thinkers who have continued to pursue the question of whether there are things that mathematics and the human mind cannot know. They include Greg Chaitin, mathematician at the IBM TJ Watson Research Center, New York, and Roger Penrose. Dangerous Knowledge tackles some of the profound questions about the true nature of reality that mathematical thinkers are still trying to answer today.
CONOCIMIENTOS PELIGROSOS BBC 2 Junio 2008
En este documental, David Malone recorre la vida y obra de cuatro brillantes matemáticos: Georg Cantor, Ludwig Boltzmann, Kurt Gödel y Alan Turing,  cuyo genio ha transformado profundamente nuestro mundo, pero que trágicamente los condujo a la locura y, finalmente, condujo al suicidio. La película comienza con Georg Cantor, el gran matemático cuyo trabajo resultó ser la base de gran parte de las matemáticas del siglo 20. Él se sintió que era  un mensajero de Dios, pero cuyos esfuerzos lo terminaron volviéndo loco,  tratando de probar sus teorías de lo infinito. La lucha de Ludwig Boltzmann para probar la existencia de los átomos por una aproxiamación probalística de la mecánica estadística, y que finalmente lo llevó al suicidio. Kurt Gödel, el
introvertido  confidente de Einstein, demostró que siempre habrá problemas que escapan de la lógica humana. Su vida terminó en un sanatorio donde se dejó morir de hambre. Por último, Alan Turing, el gran decodificador de    Bletchley Park, padre de la informática y homosexual, que murió, luego de demostrar que hay cosas que son fundamentalmente imposible de demostrar. El documental también narra sobre la línea de pensadores que se han seguido aplicando sus ideas, sobre la cuestión de si hay cosas acerca de las cuales las matemáticas y la mente humana no puede alcanzar. Se incluye a Greg Chaitin, matemático de la IBM TJ Watson Research Center, Nueva York, y Roger Penrose.
El conocimiento peligroso aborda algunos de los profundos interrogantes sobre la verdadera naturaleza de la realidad que pensadores matemáticos todavía están tratando de responder hoy....