tag:blogger.com,1999:blog-5918791314866668362.post1077749770408813831..comments2023-11-02T10:39:14.940+01:00Comments on A bordo del Otto Neurath: LA CONJETURA DE GOLDBACH Y EL TEOREMA DE GÖDELJesús P. Zamora Bonillahttp://www.blogger.com/profile/07054631110263426886noreply@blogger.comBlogger20125tag:blogger.com,1999:blog-5918791314866668362.post-10262925522362282162010-11-03T17:48:41.050+01:002010-11-03T17:48:41.050+01:00Líber: con que dijeras el número sería suficiente ...Líber: con que dijeras el número sería suficiente (lo de "contactarte", así, sin datos ni dirección, es difícil).Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-66237995493546544132010-11-03T17:40:42.943+01:002010-11-03T17:40:42.943+01:00En principio debo decir que aquel que lea este com...En principio debo decir que aquel que lea este comentario se sentirá espantado o quizá jamas salga de su asombro. <br />No tengo la instrucción matemática de un profesional, Aun así después de un largo periodo de trabajar en la conjetura Goldbach puedo decir que no es cierta. <br />Como es posible? se preguntaran. La conjetura hizo que prácticamente enloqueciera. No Voy a dar detalles de mi descubrimiento en este sitio. Pero por mas que no lo puedan creer y no presten atención a este comentario yo les diré a todos, les diré que yo encontré el numero que rompe con la regla de que todo numero par es la suma de dos primos. Encontré la solución donde otros se hundieron y desesperaron. Yo hoy puedo decir que la conjetura de Goldbach a sido resuelta. Quien quiere saber mas detalles de mi descubrimiento debe contactarme y yo le daré detalles de mi proceso empleado. también cabe destacar que tuve que diseñar mis propios métodos para llegar a este hallazgoliberhttps://www.blogger.com/profile/02880647990390032193noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-71130633382926506872010-07-12T15:08:26.628+02:002010-07-12T15:08:26.628+02:00Para seguir, hay inducción matemática que resume u...<i>Para seguir, hay inducción matemática que resume un razonamiento infinito y hay incluso inducción transfinita.</i><br /><br />En efecto. Hay un ejemplo de proposición que sólo puede demostrarse con inducción transfinita en un apéndice de uno de los libros de divulgación de Penrose (The large, the small and the human mind).Fremanhttps://www.blogger.com/profile/04572180910027254976noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-88878097360586051512010-07-09T21:08:42.828+02:002010-07-09T21:08:42.828+02:00Sí, pero lo mismo que la inducción matemática al u...Sí, pero lo mismo que la inducción matemática al uso es un truco para resumir un número infinito contable de pasos, la transfinita resume un número infinito incontable de ellos. Hay que decidir si se aceptan estas cosas.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-79418374458764669652010-07-09T20:52:49.196+02:002010-07-09T20:52:49.196+02:00"Demostración" significa "demostrac..."Demostración" significa "demostración en un número FINITO de pasos"; si es NECESARIO dar un número infinito de pasos (aunque sea numerable) para demostrar una proposición, entonces es indemostrable. Los razonamientos por inducción se suelen dar en DOS pasos (lo que pasa es que uno de los pasos contiene una proposición universal, del tipo, para todo n, si P(n), entonces P(n+1)).Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-83964237428079760262010-07-09T19:21:03.390+02:002010-07-09T19:21:03.390+02:00Este comentario ha sido eliminado por el autor.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-35848855496391223242010-07-09T19:21:03.389+02:002010-07-09T19:21:03.389+02:00Este comentario ha sido eliminado por el autor.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-46388250462891291552010-07-09T19:19:49.334+02:002010-07-09T19:19:49.334+02:00"La hipótesis del continuo no es que no pueda..."La hipótesis del continuo no es que no pueda ser demostrada a partir de los axiomas de Peano sino que tanto su afirmación como su negación resultan compatibles con ellos."<br /><br />Supongo que quieres decir:<br /><br />"La hipótesis del continuo ADEMÁS de que no pueda ser demostrada a partir de los axiomas de Peano, tanto su afirmación como su negación resultan compatibles con ellos."<br /><br />"La conjetura de Goldbach parece que sólo puede ser verdadera o falsa."<br /><br />Eso parece, pero podría no ser así. También pareciera que o bien hay un infinito entre el numerable y la potencia del continuo o bien no lo hay y sin embargo cualquiera de las hipótesis es compatible en la teoría de conjuntos estándar.<br /><br />"¿Podríamos distinguir dos casos? Uno de ellos consistiría en proposiciones que requerirían infinitos pasos de demostración y otro, proposiciones totalmente ajenas a los axiomas."<br /><br />De momento, para saber si una proposición indecidible es verdadera, falsa o bien se puede aceptar su cualquiera de los dos valores no queda otra que examinarla y, si se deja, encontrar la demostración de cuál es el caso. A priori no hay manera de apelar a eso de los pasos infinitos de demostración para dilucidar la cuestión. Hay que ir una a una.<br /><br />Por otra parte, lo de los pasos infinitos de demostración no es un término bien definido. Para empezar, hay una jerarquía de infinitos. Para seguir, hay inducción matemática que resume un razonamiento infinito y hay incluso inducción transfinita. Hay demostraciones con infinitos pasos y luego se descubren demostraciones con pasos finitos.<br /><br />Para terminar, decir que: "las proposiciones indecidibles cuya afirmación o negación son compatibles con los axiomas son aquellas totalmente ajenas a los axiomas" no es más que repetir lo mismo y no sirve como criterio de clasificación o de distinción.<br /><br />Todo esto impide una clasificación a priori de las proposiciones indecidibles. Incluso impide decir que, aunque no sepamos cuál es el caso, (demostración infinita o ser axiomas que no tienen que ver con los primeros).<br /><br />Pones ejemplos en los que es posible hacerse una idea a priori de cuál es el caso. Desgraciadamente no todos los casos son así de sencillos.<br /><br />El número de dimensiones del espacio, por otra parte, es un ejemplo muy distinto del número de paralelas exteriores a una recta y que pasan por un punto. Lo primero puede ser bien definido de acuerdo con los axiomas. En el segundo ejemplo, el propio concepto de paralela no está bien definido a partir de los axiomas primeros (aunque nos parezca que sí por nuestra intuición errónea). No es que podamos elegir el número de paralelas, es que hasta que no definamos un nuevo axioma que lo permita, no podemos hablar en rigor de paralelas.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-21597879561586211652010-07-09T11:46:15.657+02:002010-07-09T11:46:15.657+02:00No sé si es válido el ejemplo, pero imaginemos el ...No sé si es válido el ejemplo, pero imaginemos el conjunto de posiciones de una partida de ajedrez. Sólo las posiciones que sigan las reglas de movimientos, aunque ambos jugadores sean incapces de cualquier estrategia y sólo de mover cada pieza según sus reglas y de aplicar las capturas.<br /><br />Está claro que es posible una posición con tres reinas cuatro caballos y un peón (por coronación de peones) pero parece que no es posible llegar a una en la que los ocho peones ocupen la primera fila y el resto de piezas ocupe la segunda. Y quizá alguien más ocurrente piense otras imposibles.<br /><br />La cuestión es que podemos manipular piezas, o símbolos de un lenguaje, a nuestro gusto sólo con respetar unas reglas. Por ejemplo que los dos alfiles blancos no pueden estar en casillas del mismo color o que "el galope caballeaba" no es idiomático. Pero la verdad es la correspondencia o no correspondencia con otro conjunto de elementos, cuyas estructuras básicas y de transformación pueden ser otras.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-16844068256191001502010-07-09T11:35:05.142+02:002010-07-09T11:35:05.142+02:00A ver si aclaro un poco lo que dicho.
La conjetur...A ver si aclaro un poco lo que dicho.<br /><br />La conjetura de Goldbach podría ser probada o refutada en el peor de los casos de no existir una demostración general mediante infinitas comprobaciones o mediante una demostración que requiriese infinitos pasos. Su verdad o falsedad, pero sólo una de las dos, se seguiría de los axiomas de la aritmética, aunque fuera imposible una demostración de un número finito de pasos.<br /><br />En cambio, los axiomas de Euclides son compatibles con la existencia de cualquier número de dimensiones mayor o igual que dos, si se presupone la definición de rectas y planos. "El espacio tiene tres dimensiones" sería tan compatible con los axiomas como su negación.<br /><br />Si consideramos los axiomas como las cadenas básicas de un tipo de símbolos y operaciones (y sus posibles interpretaciones), y los teoremas como las cadenas de símbolos que se pueden generar a partir de las básicas mediante sustituciones especificadas, la cuestión es si una cadena de símbolos pertenece o no pertenece al conjunto de los teoremas y si hay cadenas de símbolos que no pertenecen al conjunto de los teoremas y que interpretadas de un cierto modo puedan ser llamadas verdaderas.<br /><br />Lo llamativo es aquí la separación entre validez y verdad. Me gustarñia que habláseis sobre esto.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-85405591498418515132010-07-08T21:39:12.513+02:002010-07-08T21:39:12.513+02:00José Luis:
Queda claro que en este tema el que sa...José Luis:<br /><br />Queda claro que en este tema el que sabe eres tú. Pero la hipótesis del continuo no es que no pueda ser demostrada a partir de los axiomas de Peano sino que tanto su afirmación como su negación resultan compatibles con ellos. La conjetura de Goldbach parece que sólo puede ser verdadera o falsa.<br /><br />¿Podríamos distinguir dos casos? Uno de ellos consistiría en proposiciones que requerirían infinitos pasos de demostración y otro, proposiciones totalmente ajenas a los axiomas. Por ejemplo: "el espacio tiene tres dimensiones" no depende de los axiomas de Euclides y es compatible con ellos tanto que tenga tres como que tenga siete.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-39227367620665745402010-07-08T13:39:01.592+02:002010-07-08T13:39:01.592+02:00y qué decir de intereconomía (la tele mala y fea q...y qué decir de intereconomía (la tele mala y fea que no nos gusta) y la multa que les han puesto (el buen ministro de las bombillas); a ver si vemos una defensa tan cerrada como la de krahe (debería serlo más, que esto es una decisión administrativa).<br />Un saludo, defensores de lo bueno.<br /><br />IXXAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-74494967520949809672010-07-07T19:18:02.880+02:002010-07-07T19:18:02.880+02:00Hay muchas proposiciones cuya indecidibilidad en u...Hay muchas proposiciones cuya indecidibilidad en un sistema formal determinado se ha demostrado. Lo que no sé es si esa demostración se ha hecho dentro del sistema en que son indecidibles. La hipótesis del continuo en la teoría de conjuntos es un ejemplo.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-73482225431806257952010-07-07T18:31:44.423+02:002010-07-07T18:31:44.423+02:00Sursum:
No hay un argumento que diga:
La conjetura...Sursum:<br /><i>No hay un argumento que diga:<br />La conjetura de Goldbach es indecidible y al cual puedas oponer que no se cumple para el número P.</i><br />¿Y qué? Estoy diciendo lo mismo que tú.<br />.<br /><i>¿Algunas? ¿No será TODAS?</i><br />Pues no lo sé. El argumento se cumple para proposiciones del tipo "todo número n cumple la propiedad X", donde X es una propiedad que, para cada número, se puede verificar en un número finito de pasos. No creo que todas las propiedades que puedan tener los números sean así.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-36822538552578454222010-07-07T17:00:14.299+02:002010-07-07T17:00:14.299+02:00Jesús:
"Ese es el punto de la entrada, que a...Jesús:<br /><br />"Ese es el punto de la entrada, que algunas proposiciones indecidibles puede ser indemostrable que lo son."<br /><br />¿Algunas? ¿No será TODAS?Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-39960607802592491552010-07-07T16:58:35.328+02:002010-07-07T16:58:35.328+02:00Jesús:
Es que si es falsa y se puede probar con u...Jesús:<br /><br />Es que si es falsa y se puede probar con un caso contrario, es decidible y se acabó el problema.<br /><br />No hay un argumento que diga:<br /><br />La conjetura de Goldbach es indecidible.<br /><br />y al cual puedas oponer que no se cumple para el número P.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-58305622623830473452010-07-07T16:45:42.701+02:002010-07-07T16:45:42.701+02:00Sursum:
no hay una demostración de qué teoremas so...Sursum:<br /><i>no hay una demostración de qué teoremas son indecidibles. Sólo de que necesariamente los hay.</i><br />¿Y quién dice lo contrario? Ese es el punto de la entrada, que algunas proposiciones indecidibles puede ser indemostrable que lo son.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-66348872629839949362010-07-07T15:08:10.170+02:002010-07-07T15:08:10.170+02:00Jesús:
Pero no hay una demostración de qué teorem...Jesús:<br /><br />Pero no hay una demostración de qué teoremas son indecidibles. Sólo de que necesariamente los hay.<br /><br />Si la conjetura de Goldbach es falsa, un caso negativo lo demuestra y es, por tanto, decidible.<br /><br />Si es verdadera puede ser indemostrable.Sursum corda!https://www.blogger.com/profile/13339894026445974845noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-85165005924172747382010-07-07T10:46:41.224+02:002010-07-07T10:46:41.224+02:00José Luis,
utilizo "verdadero" y "f...José Luis,<br />utilizo "verdadero" y "falso" como abreviaturas; puedes reconstruir el argumento sustituyendo "la conjetura de Goldbach es falsa" por el enunciado "existe un número que no cumple la conjetura de Goldbach".<br />La conclusión del argumento sería, por tanto<br /><br />no-C implica CD,<br />(por tanto)<br />no-CD implica C,<br />(por tanto)<br />no-CD implica no-(CD)D.<br /><br />Donde C es la conjetura de Goldbach, CD es el enunciado que dice que la conjetura de Goldbach es demostrable a partir de los axiomas de la aritmética elemental, y (CD)D es el enunciado que afirma que la indecidibilidad de la conjetura de goldbach es indecidible (de nuevo a partir de los axiomas citados).Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-91837315384650020272010-07-07T08:26:18.059+02:002010-07-07T08:26:18.059+02:00Creo que queda más claro si distinguimos mejor ent...Creo que queda más claro si distinguimos mejor entre "la conjetura de Goldbach es cierta" y "la conjetura de Goldbach es demostrable en la aritmética". Son cosas distintas y no hay contradicción en afirmar la primera y negar la segunda (o al revés).<br /><br />Que no sea demostrable (y que sea indecidible) en la aritmética significa que, manipulando los símbolos de la aritmética no podemos construir, a partir de sus axiomas, ninguna proposición que se pueda interpretar como la conjetura de Goldbach. Pero en otro sistema podría mostrarse que solo su veracidad es consistente.<br /><br />Dicho de otra manera: El teorema de Gödel afirma que hay proposiciones indecidibles, pero no dice nada acerca de si son o no ciertas, y las hay de todo tipo, las ciertas, las falsas y las que no son lo uno ni lo otro (en realidad, habría que decir, las que pueden ser lo uno u lo otro, según cuál se elija como axioma en un nuevo sistema).<br /><br />Para finalizar: podría ocurrir que la conjetura fuera decidible y que tu suponer que es indedidible, por ser una hipótesis de partida falsa, te llevara a una contradicción, la paradoja apuntada. Habría que aclarar que ese no es el caso. Es decir, que la paradoja no es una contradicción, por lo dicho antes.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.com