tag:blogger.com,1999:blog-17368877.post115869670534409326..comments2023-11-15T07:12:23.828-03:00Comments on El Topo Lógico: Gödel y Turing (Parte 9)Gustavo Piñeirohttp://www.blogger.com/profile/15423516456806148192noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-17368877.post-52747376557356237922013-05-03T01:15:00.141-03:002013-05-03T01:15:00.141-03:00Creo que ya se ha hablado de esto aquí en algún ar...Creo que ya se ha hablado de esto aquí en algún artículo, pero estoy leyendo ahora (releyendo en realidad) y me surge esta duda:<br /><br />Si se demostrara que la conjetura de Goldbach es INDECIDIBLE, significa que se estaría afirmando que no puede existir un contraejemplo. <br /><br />De haber uno, al llegar a él estaríamos demostrando su falsedad, lo cuál convertiría al teorema en falso y entonces la demostración de su indecidibilidad sería falsa.<br /><br />Luego, no podría haber contraejemplos, lo cual probaría que la conjetura es correcta.<br /><br />Es decir... si se probara que es indecidible, se probaría que es verdadera... por lo tanto no puede ser indecidible.<br /><br />Luego, debe poder demostrarse si es verdadera o falsa.<br /><br />Dónde está el error en el razonamiento?Leonardohttps://www.blogger.com/profile/14317548792834145826noreply@blogger.com