tag:blogger.com,1999:blog-5918791314866668362.post1246091827701763145..comments2023-11-02T10:39:14.940+01:00Comments on A bordo del Otto Neurath: EL TAMAÑO SÍ IMPORTA: LA HIPÓTESIS DEL CONTINUOJesús P. Zamora Bonillahttp://www.blogger.com/profile/07054631110263426886noreply@blogger.comBlogger13125tag:blogger.com,1999:blog-5918791314866668362.post-52521089704866453972010-03-01T00:37:47.287+01:002010-03-01T00:37:47.287+01:00pues que estupidos son saben por que no explican b...pues que estupidos son saben por que no explican bien que son fracciones undeducibles para que ponen eso si ese viejo no sabe que son fracciones indudicibles es mejor buscar la pag de alberts einstein que el si te explica este no sabe ni que son fracciones.<br /> gracias<br />ademas la pag de albert einstein es<br />www.alberteinsyeinmatematica.com<br />;)espero que se mentan hayAnonymousnoreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-75266733595621677902009-11-13T17:37:07.340+01:002009-11-13T17:37:07.340+01:00Jesús:
Si de hecho construyéramos ese conjunto de...Jesús:<br /><br />Si de hecho construyéramos ese conjunto de cardinalidad intermedia será porque hayamos usado algún otro axioma que lo implique (y que permita su construcción). Es decir, puede ocurrir que en algunas axiomatizaciones de la matemática se pueda construir tal conjunto y en otras no.<br /><br />Igual que con el quinto postulado de Euclides. Como bien dices, si podemos construir una recta y un punto exterior a ella por el que pasen cero (o infinitas) paralelas no hemos demostrado que el quino postulado de Euclides sea falso. En unas geometrías podemos construir tal cosa, en otras no.<br /><br />O igual que con el axioma de elección. Con él se pueden definir y construir ciertos objetos que no se pueden construir sin él. El poder construirlos tampoco muestra que el axioma sea cierto.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-37918240225435296962009-11-13T13:36:16.224+01:002009-11-13T13:36:16.224+01:00A propósito del comentario de José Luis, es muy pe...A propósito del comentario de José Luis, es muy pertinente la comparación con el axioma de las paralelas. Ahora bien, si DE HECHO CONSTRUYÉRAMOS un conjunto cuyo tamaño fuese mayor que N y menor que R, habríamos probado la falsedad de la hipótesis del continuo, mientras que la construcción de espacios no euclideos no demuestra que el axioma de las paralelas es falso: sólo que no se cumple en ciertos espacios, y en otros sí.<br />.<br />Ahora bien, tal vez el problema sea la noción de "conjunto". Pensamos que la noción es suficientemente clara, y que está caracterizada por los axiomas de ZF (no de "ZP", ojo), pero tal vez haya VARIOS TIPOS DE COSAS, no equivalentes, que satisfagan los axiomas de ZF, y en cambio haya otras propiedades que los "conjuntos estándar" sí satisfagan, y otras cosas de esas no.<br />Esto puede relacionarse con la necesidad de "aclarar" la noción de "conjunto", necesidad que surgió a raíz de la Paradoja de Russell.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-39562429521354455942009-11-13T13:18:57.194+01:002009-11-13T13:18:57.194+01:00Héctor: naturalmente, se "asume" que los...Héctor: naturalmente, se "asume" que los axiomas son verdaderos, en el sentido de que son una hipótesis; aunque, en general, los axiomas (al menos en la lógica y en la teoría de conjuntos, así como en la mayor parte de las matemáticas) tienen que tener un cierto "pedigree" de "obviedad" para asumirlos (esa es la razón por la que la "hipótesis del continuo" se sigue llamando "hipótesis": no es nada "obvio" que sea verdadera). La cuestión es: ¿hay algunos axiomas "más evidentes", a partir de los cuales pueda derivarse esa hipótesis o su negación?).<br />.<br />No creo, de todas formas, que el ABORDAR estos problemas nos fuerce a elegir entre platonismo o antiplatonismo.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-87308946584682790532009-11-13T10:10:03.855+01:002009-11-13T10:10:03.855+01:00¿cómo decimos si son verdaderos los AXIOMAS?.
Es ...<i>¿cómo decimos si son verdaderos los AXIOMAS?</i>.<br /><br />Es que no se <i>decide</i> sino que se <i>asume</i> de forma que si los aceptamos (o si estuvieran fundados) habría que aceptar el resto de proposiciones que se deducen pudieno haber proposiciones indeducibles, indecibles.<br /><br />Al final, a mi parecer, todo se reduce a ser o no ser realista platónico.Héctor Medahttps://www.blogger.com/profile/05080741918146495160noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-84399244444365188322009-11-13T00:08:41.052+01:002009-11-13T00:08:41.052+01:00Podemos tomar como ejemplo el quinto postulado de ...Podemos tomar como ejemplo el quinto postulado de Euclides. Ni él ni su contrario pueden deducirse de los otros cuatro. Ni él ni su contrario son ciertos ni dejan de serlo en ningún sentido sensato del término.<br /><br />Ocurre que podemos construir una geometría con el quinto postulado y otra con su negación (en realidad tres geometrías, pues se puede negar el quinto postulado de dos maneras).<br /><br />Con la hipótesis del continuo pasa, formalmente, lo mismo, pero pasa también que no podemos (o no sabemos, de momento) construir un conjunto con un cardinal entre el de los naturales y el de los reales aunque neguemos la hipótesis.<br /><br />Aceptar la hipótesis nos lleva también a cosas raras, así que no sabemos muy bien si una de las dos matemáticas que salen de aceptar o negar el postulado es más "natural" en algún sentido que la otra . Se suele elegir la aceptación porque hace todo más fácil y más intuitivo. Como tiene que ver con infinitos, las consecuencias prácticas de una u otra elección son bastante pocas (en el sentido de aplicar un modelo u otro al mundo físico).<br /><br />Las páginas de la wikipedia (en inglés) ofrecen un buen resumen de lo que hay con la hipótesis del continuo y el axioma de elección (otro que tal baila).José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-28733126878921221052009-11-12T23:34:19.043+01:002009-11-12T23:34:19.043+01:00Héctor:
para mí, que la proposición sea verdadera ...Héctor:<br />para mí, que la proposición sea verdadera o falsa no depende de si está "fundada" (o sea, ¿demostrada?; entonces, ¿cómo decimos si son verdaderos los AXIOMAS?), sino de si está BIEN CONSTRUIDA. O sea, si está bien construida, tendrá un valor de verdad (aunque no sepamos cuál es).<br />.<br />Con respecto a la indecidibilidad, creo que confundes ese concepto con el de "tener un valor de verdad indefinido". Pero no es lo mismo. De hecho, no tiene NADA que ver, más bien al contrario: una proposición es indecidible si:<br />a) TIENE un valor de verdad (o, más concretamente, ES VERDAD que es una consecuencia lógica de ciertos axiomas; "consecuencia lógica" en sentido SEMÁNTICO: o sea, es VERDAD que, si los axiomas son verdaderos, entocnes la proposición en cuestión también es VERDADERA); <br />2) pero las regla de transformación del lenguaje en cuestión no permiten DEDUCIR SINTÁCTICAMENTE esa proposición a partir de esos axiomas.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-59855597559222362902009-11-12T23:05:51.430+01:002009-11-12T23:05:51.430+01:00Gracias por las aclaraciones aunque el punto 3) me...Gracias por las aclaraciones aunque el punto 3) me ha dejado noqueado. ¿Es que para ti toda proposición es verdadera <i>o</i> falsa?<br /><br />En todo caso eso tendría sentido para una proposición empírica pero para una matemática, teniendo en cuenta la existencia de indecibles, tal creencia es eso, una creencia, ¿no?<br /><br />No sé lo que quiero decir es que a mi que una proposición se quede en tierra de nadie, ni en lo verdadero ni en lo falso, es una opción viable y una magna forma de cortar el nudo gordiano de las paradojas autorreferenciales<br /><br />Por cierto, ¿esas preguntas eran retóricas porque <i>ya</i> tienes unas respuestas o verdaderamente preguntabas en alto?<br /><br />Si es lo primero, compártelo anda, no seas tacaño ;-)Héctor Medahttps://www.blogger.com/profile/05080741918146495160noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-71042210246279213642009-11-12T23:05:05.442+01:002009-11-12T23:05:05.442+01:00Gracias por las aclaraciones aunque el punto 3) me...Gracias por las aclaraciones aunque el punto 3) me ha dejado noqueado. ¿Es que para ti toda proposición es verdadera <i>o</i> falsa?<br /><br />En todo caso eso tendría sentido para una proposición empírica pero para una matemática, teniendo en cuenta la existencia de indecibles, tal creencia es eso, una creencia, ¿no?<br /><br />No sé lo que quiero decir es que a mi que una proposición se quede en tierra de nadie, ni en lo verdadero ni en lo falso, es una opción viable y una magna manera de cortar el nudo gordiano de las paradojas autorreferenciales<br /><br />Por cierto, ¿esas preguntas eran retóricas porque <i>ya</i> tienes unas respuestas o verdaderamente preguntabas en alto?<br /><br />Si es lo primero, compártelo anda, no seas tacañoHéctor Medahttps://www.blogger.com/profile/05080741918146495160noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-80423130203380685062009-11-12T22:30:10.422+01:002009-11-12T22:30:10.422+01:00Héctor:
a grandes rasgos, tienes razón, pero hay m...Héctor:<br />a grandes rasgos, tienes razón, pero hay matizaciones:<br />1º: Gódel no demuestra que hay verdades "imposibles de demostrar", sino que, para cualquier conjunto numerable de axiomas, habrá consecuencias lógicas de ESOS axiomas que no son derivables con ESOS axiomas. Obviamente, si incluímos la hipótesis del continuo en los axiomas (como de hecho se puede hacer), entonces es trivialmente "demostrable". Lo INTERESANTE (y en lo que siguen trabajando los matemáticos) es encontrar algunos axiomas que no sean LÓGICAMENTE EQUIVALENTES a la HC, que sean "intuitivamente correctos", y de los que HC pueda deducirse (o su negación).<br />2. Más o menos lo mismo: "la" teoría de conjuntos no es UNA, sino que depende de qué axiomas elijamos. HC es consistente con la teoría de conjuntos "clásica" (Zermelo-Fraenkel), pero hay otras, no necesariamente equivalentes. Tal vez HC se siga de algunas, y de otras se siga su negación.<br />3. Una razón de más para pasar de Kripke.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-24151993504820863242009-11-12T21:43:25.747+01:002009-11-12T21:43:25.747+01:00¿Quiere decir que hay verdades matemáticas -p.ej.,...<i>¿Quiere decir que hay verdades matemáticas -p.ej., la existencia, o inexistencia, de C- que no seremos nunca capaces de demostrar?<br /></i><br /><br />Pensé que Gödel <i>ya</i> había demostrado que sí<br /><br /><i>¿Quiere eso decir que la teoría de conjuntos es insuficiente para determinar si ese conjunto C existe o no?</i><br /><br />Ta claro, ¿no? Si no no sería consistente con las dos opciones<br /><br /><i>¿Quiere decir que la existencia de C no es verdadera ni falsa?</i><br /><br />Depende lo que entiendas por verdad. Si partes de la concepción kripkeana de que las proposiciones hay que fundarlas entonces sí, C no es ni verdadero ni falso.Héctor Medahttps://www.blogger.com/profile/05080741918146495160noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-54650264286041791212009-11-12T21:42:26.252+01:002009-11-12T21:42:26.252+01:00Este comentario ha sido eliminado por el autor.Héctor Medahttps://www.blogger.com/profile/05080741918146495160noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-15172728359878048192009-11-12T16:57:02.564+01:002009-11-12T16:57:02.564+01:00... y la Legión Tebana de Defensa de la Moral, ¿qu...... y la Legión Tebana de Defensa de la Moral, ¿qué opina de estos temas?Fremanhttps://www.blogger.com/profile/04572180910027254976noreply@blogger.com