Episodio número 32 de Los tres chanchitos. Recuerda que nos puedes escuchar en primicia los martes a las 22:30 en SevillaWebRadio (y también los jueves).
Ir a descargar
1.- Transgénicos
Clara y Enrique nos habla sobre los transgénicos a raíz de este artículo aparecido en el New York Times .
2.- Teorema de Gödel
Alberto y Enrique nos hablan del teorema de incompletitud de Gödel y de cuándo se puede aplicar y cuándo no.
Además, ese es el tema de nuestro chanchivídeo que nos trae esta semana Alberto:
Los 3 chanchitos 
9 noviembre, 2016 at 21:49
Espectacular este capítulo, con charcos a go-go. 🙂
Quisiera preguntaros una duda. Según he entendido, Godel viene a decir que ningún sistema que contenga a la aritmética de los números naturales puede ser consistente y completo a la vez. Pero hay un momento en el que Enrique dice que la aritmética de los números reales sí lo es. Ahí me pierdo, porque siempre he entendido que los reales contienen a los naturales.
¿Qué se me ha escapado?
Me gustaMe gusta
17 noviembre, 2016 at 19:36
hace un puñado de años me dió por intentar entender a nivel usuario el teorema de incompletitud. Del montón de cosas que me leí aquel año, creo que con Godel, Esher y Bach de Hofstader uno está en condiciones de arremeter contra un librito titulado El Teorema de Godel en el que dos de sus alumnos (Ernst Nagel y James R. Newman) desmenuzan la demostración . Además de esto, es altamente recomendable el libro de Janna Levin: A Madman Dreams of Turing Machines. donde se recorren las biografías de estoas dos lumbreras de la matemática y la lógica y sus humanas miserias que no eran pocas.
Me gustaMe gusta
26 noviembre, 2016 at 18:58
El el video, el gran Alberto, al final, para resumir, indica que Gödel construye una frase que se refiere a sí misma, tal como las paradojas de Russel; creo que es un enorme error explicarlo así, pues de hecho si el propio Russel no vio las implicaciones del teorema de Gödel, fue justamente por entenderlo de esta guisa; realmente la frase que construye Gödel es «Yo no puedo demostrarme a mi mismo», por eso es un teorema de incompletitud y no de inconsistencia; con Turing pasa tres cuartos de lo mismo, la paradoja que se llega al final al introducir como parámetro al propio programa, no produce una paradoja de Russel propiamente dicha.
Me gustaMe gusta