tag:blogger.com,1999:blog-5918791314866668362.post7296041729596269271..comments2023-11-02T10:39:14.940+01:00Comments on A bordo del Otto Neurath: CONJUNTOS ARBITRARIOSJesús P. Zamora Bonillahttp://www.blogger.com/profile/07054631110263426886noreply@blogger.comBlogger25125tag:blogger.com,1999:blog-5918791314866668362.post-31358512281031902852011-04-10T22:00:20.466+02:002011-04-10T22:00:20.466+02:00Jesus,
No estoy "defendiendo" nada; sim...Jesus,<br /><br /><i>No estoy "defendiendo" nada; simplemente expongo argumentos a favor y en contra.</i><br /><br />Si, eso esta claro. Solo queria decir que, como argumento en defensa de la existencia de los subconjuntos de N, me resultaba raro porque apelaba al conjunto no menos discutible de los numeros reales.Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-15252056873501039852011-04-10T21:24:42.311+02:002011-04-10T21:24:42.311+02:00eJECUCIÓN:
me parecio que antes querias defender l...eJECUCIÓN:<br /><i>me parecio que antes querias defender la existencia del conjunto potencia de N a partir de la existencia de R. </i><br />No estoy "defendiendo" nada; simplemente expongo argumentos a favor y en contra.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-34130087806102879092011-04-10T19:00:50.901+02:002011-04-10T19:00:50.901+02:00¡¡¡Pero eso es lo que pretendía!!!
Ok entonces.
...<i>¡¡¡Pero eso es lo que pretendía!!!</i><br /><br />Ok entonces.<br /><br /><i>Los que niegan la existencia de "las expansiones decimales no definibles" ¡¡¡precisamente no aceptan la existencia de R!!!</i><br /><br />Por eso me ha sorprendido tu razonamiento, porque me parecio que antes querias defender la existencia del conjunto potencia de N a partir de la existencia de R.Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-60161735709832849342011-04-10T18:47:50.893+02:002011-04-10T18:47:50.893+02:00Jesus,
Claro: es que lo que llamabais "const...Jesus,<br /><br /><i>Claro: es que lo que llamabais "construible" era lo que yo llamaba "definible"</i><br /><br />Entonces he entendido mal tu entrada. <br /><br /><i>...si llamáis "construible" también a algo DISTINTO de lo que yo llamo "definible".</i><br /><br />Llamo definible a todo aquel conjunto que puede ser identificado de manera inequivoca dentro de un determinado sistema matematico, y llamo construible a todo aquel conjunto para el cual disponemos, dentro de un determinado sistema matematico, de algun procedimiento que nos permita obtener cualquier elemento suyo.<br /><br />Asi, por ejemplo, dentro de un sistema como la teoria de conjuntos cantoriana, el conjunto N de los numeros naturales es definible y construible, mientras que el conjunto R de los numeros reales es definible pero no construible.Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-53187841369911720232011-04-10T16:35:59.776+02:002011-04-10T16:35:59.776+02:00Ejecución:
los intuicionistas no se limitan a rec...Ejecución:<br /><i> los intuicionistas no se limitan a rechazar lo indefinible en matematicas</i><br />Ya.<br />.<br /><i> la que disputabamos nosotros era si tiene algun sentido distinguir entre lo definible y lo construible</i><br />Claro: es que lo que llamabais "construible" era lo que yo llamaba "definible". Y lo que pregunto, por tanto (y no tengo claro si habéis respondido), es si llamáis "construible" también a algo DISTINTO de lo que yo llamo "definible".<br />.<br /><i>Ese es precisamente el problema de tu definicion: que se presenta como definicion del sucesor de un numero en concreto cuando, realmente, es la definicion del concepto de sucesor</i><br />Es que no veo que sea un problema. ¡¡¡Claro que lo presente como la definición de un CONCEPTO!!! (es decir, no es UNA definición, sino un ESQUEMA de definición, esquema que SÓLO puede ser convertido en una definición cuando se pone un número en particular en vez de la variable r). ¡¡¡Pero eso es lo que pretendía!!!<br />.<br /><i> No creo que haya nadie que acepte la existencia del conjunto R y se niegue a aceptar la existencia del conjunto potencia de los naturales. </i><br />¡¡¡Obviamente!!! Los que niegan la existencia de "las expansiones decimales no definibles" ¡¡¡precisamente no aceptan la existencia de R!!!Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-2300791880708569982011-04-10T15:14:48.845+02:002011-04-10T15:14:48.845+02:00Jesus,
Hasta donde yo se, los intuicionistas no s...Jesus,<br /><br />Hasta donde yo se, los intuicionistas no se limitan a rechazar lo indefinible en matematicas, sino que extienden su rechazo a todo lo infinitista. Para ellos, de hecho, no existirian tampoco las expansiones decimales infinitas.<br /><br /><i>Claro, pero la cuestión disputada...</i><br /><br />Creia que la que disputabamos nosotros era si tiene algun sentido distinguir entre lo definible y lo construible o si, por el contrario, son conceptos equivalentes.<br /><br /><i>Claro. Es como la definición de "sucesor de n"...</i><br /><br />Ese es precisamente el problema de tu definicion: que se presenta como definicion del sucesor de un numero en concreto cuando, realmente, es la definicion del concepto de sucesor. O, para no liarnos con comparaciones: que se presenta como la definicion de un conjunto en concreto, el tal C(r), cuando realmente es la definicion de un tipo de conjunto.<br /><br /><i>SI ACEPTAMOS que los números reales son TODAS las expansiones decimales posibles...</i><br /><br />Esto no lo entiendo. No creo que haya nadie que acepte la existencia del conjunto R y se niegue a aceptar la existencia del conjunto potencia de los naturales.Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-11261425737708373322011-04-10T11:42:29.921+02:002011-04-10T11:42:29.921+02:00David:
por que no has escrito
C(r) es el conjunto...David:<br /><i>por que no has escrito<br /><br />C(r) es el conjunto de todos los números naturales n tales que el n-simo decimal de r es un 1. <br /></i><br />Las dos definiciones son equivalentes.<br />.<br />Ejecución:<br /><i> esos hipoteticos rechazadores de lo indefinible</i><br />No son hipotéticos: son los intuicionistas.<br />.<br />.<br /><i>Entiendo que mi definicion es una definicion porque, de todos los conjuntos posibles de numeros reales,</i><br />Claro, pero la cuestión disputada es QUÉ NÚMEROS REALES EXISTEN (según los intuicionistas, NO existirían aquellos números reales cuya expansión decimal es indefinible).<br />.<br /><i>La definicion que tu ofreces de C(r), en cambio, no es tal definicion porque no define (es decir, no identifica) a un numero real en concreto, sino que habla de "un numero r cualquiera". </i><br />Claro. Es como la definición de "sucesor de n" (que no es lo mismo que la definición de "sucesor de 8").<br />.<br /><i> no seria la definicion de un conjunto sino de un tipo de conjuntos. (Un tipo de conjuntos, dicho sea de paso, que coincide con la totalidad del conjunto potencia de N</i><br />¡Claro! Ese es el objetivo de la definición: mostrar que, SI ACEPTAMOS que los números reales son TODAS las expansiones decimales posibles, entonces eso equivale a aceptar la existencia de TODOS los subconjuntos de N.<br />.<br />Gracias por la referencia, Pedro.<br />.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-13306904775974512732011-04-09T19:55:02.506+02:002011-04-09T19:55:02.506+02:00Una ultima cosa que quiza no ha quedado clara. Ent...Una ultima cosa que quiza no ha quedado clara. Entiendo que mi definicion es una definicion porque, de todos los conjuntos posibles de numeros reales, identifica a uno y solo uno de manera inequivoca: el formado por todos los numeros cuya primera cifra es uno. (Siempre que aceptemos como bien definidos en algun lenguaje los conceptos de "real", "conjunto", etc.).<br /><br />La definicion que tu ofreces de C(r), en cambio, no es tal definicion porque no define (es decir, no identifica) a un numero real en concreto, sino que habla de "un numero r cualquiera". Mientras no diga "el numero r caracterizado por tal y por cual", por tanto, no seria la definicion de un conjunto sino de <i>un tipo de conjuntos</i>. (Un tipo de conjuntos, dicho sea de paso, que coincide con la totalidad del conjunto potencia de N).Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-81528395188231438652011-04-09T19:54:33.391+02:002011-04-09T19:54:33.391+02:00"en efecto, me refiero a algún tipo de "..."<i>en efecto, me refiero a algún tipo de "intuición".</i>"<br /><br />No estoy seguro de que la investigación en teoría de conjuntos que pueda resolver estas cuestiones se esté basando en intuición de ese tipo:<br /><br />http://www.ams.org/notices/200106/fea-woodin.pdf<br /><br />En ese artículo (divulgación para matemáticos) Hugh Woodin, uno de los conferenciantes plenarios en el último Congreso Internacional de Matemáticos, discute el axioma de "determinación proyectiva".<br /><br />El axioma (agarrémosnos al asiento) dice que "<i>Todo subconjunto A de [0,1] que puede obtenerse aplicando sucesivamente proyecciones y/o pasos al complementario a un cerrado de R^k, cumple que en el siguiente juego infinito de dos jugadores, alguno de ellos tiene una estrategia ganadora: Se calcula una suma (posiblemente de infinitos sumandos) en la que, alternativamente, los jugadores eligen si añadir un sumando 2^(-n) -donde n es el número del turno- o pasar; gana el primer jugador si el valor de la suma pertenece a A.</i>"<br /><br />En palabras de Woodin, "It has to be acknowledged at this point in our discussion that the axiom Projective Determinacy is not only <i>not</i> obviously true, it is not even obviously consistent."<br /><br />---<br />Por otra parte, según Woodin, "the ZFC axioms are <i>obviously</i> incomplete and, moreover, incomplete in a fundamental way".<br /><br />El artículo tiene una segunda parte sobre la relación entre la Determinación Proyectiva y la Hipótesis del Continuo que puede interesar a alguien:<br /><br />http://www.ams.org/notices/200107/fea-woodin.pdfPedro Teránhttps://www.blogger.com/profile/17225528247201190873noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-84802871905545364662011-04-09T19:42:27.551+02:002011-04-09T19:42:27.551+02:00Por lo demas, tengo la sospecha de que incluso ese...Por lo demas, tengo la sospecha de que incluso ese restringido "conjunto de los numeros definibles cuya primera cifra decimal es uno", propuesto por esos hipoteticos rechazadores de lo indefinible, tendria la propiedad de ser definible pero no construible.<br /><br />(La idea basica es que, si hubiera un algoritmo que pudiera generar tal conjunto, podria crearse mediante diagonalizacion un numero simultaneamente definible e indefinible, al modo de la paradoja de Richards que citabas antes).Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-16270806641459777532011-04-09T19:09:28.908+02:002011-04-09T19:09:28.908+02:00Jesus,
Ya PRESUPONES...
En efecto, mi ejemplo pr...Jesus,<br /><br /><i>Ya PRESUPONES...</i><br /><br />En efecto, mi ejemplo presupone la existencia de un conjunto R, cuya cardinalidad supera la de N, para ilustrar la diferencia entre "definible" y "construible" por la que preguntabas.<br /><br />Y en efecto, si alguien rechazara la existencia de los conjuntos arbitrarios, o del conjunto R, o de las partes decimales infinitas, o sostuviera que "definible" y "construible" deben ser sinonimos, mi ejemplo le resultaria bastante insatisfactorio.Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-87810215934467022542011-04-09T18:35:16.529+02:002011-04-09T18:35:16.529+02:00C(r) es el conjunto de todos los números naturales...<i>C(r) es el conjunto de todos los números naturales n tales que n pertenece a C(r) si y sólo si el n-simo decimal de r es un 1.</i><br /><br />Vaya definicion, por que no has escrito<br /><br />C(r) es el conjunto de todos los números naturales n tales que el n-simo decimal de r es un 1.Davidnoreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-86069287382829989202011-04-09T17:43:43.659+02:002011-04-09T17:43:43.659+02:00Ejecución:
el conjunto que tú dices, ¿cómo sabes q...Ejecución:<br />el conjunto que tú dices, ¿cómo sabes qué elementos tiene? Ya PRESUPONES que existen TODOS los números cuya expresión decimal empieza por 1, TANTO aquellos que podemos definir, como aquellos que no podemos. Así que alguien que rechace los conjuntos arbitrarios te diría "claro, el conjunto de todos los números cuya expresión decimal empieza por uno, existe; pero SÓLO contiene aquellos números cuya expresión decimal podemos definir, o sea, los números reales que EXISTEN y cumplen tu definición -no los que NO existen".<br />.<br />José Luis:<br />en efecto, me refiero a algún tipo de "intuición". Lo que nos hace pensar que ciertos axiomas tienen más "sentido" que otros, p.ej.Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-3889757381444050112011-04-09T10:32:54.533+02:002011-04-09T10:32:54.533+02:00En cuanto al conjunto C(r) de tu ejemplo, no seria...En cuanto al conjunto C(r) de tu ejemplo, no seria definible desde el momento en que su "definicion" (si la he entendido bien) no permite identificarlo, esto es, distinguirlo de manera inequivoca de cualquier otro conjunto. Esa definicion solo seria tal si contaramos con una definicion previa del numero r que sirve de base al conjunto.Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-23609787495768019812011-04-09T10:26:24.731+02:002011-04-09T10:26:24.731+02:00Jesus,
He dicho "definible en castellano&quo...Jesus,<br /><br />He dicho "definible en castellano" porque mi ejemplo estaba en castellano, pero mi concepto de definible podria adaptarse, creo, a cualquier lenguaje formal que podamos concebir. En concreto, creo que nada impediria redifinir al conjunto de mi ejemplo, en algun lenguaje formal L, como "el conjunto de todos los x tales que FX", donde "Fx" es "x es un numero real cuya expansion decimal binaria tiene como primera cifra un 1".<br /><br />Si esto es asi (y creo que <i>es asi</i>), habriamos definido a ese conjunto, en el sentido de que nuestra formula nos permitiria distinguirlo inequivocamente del conjunto de los numeros cuya primera cifra es cero o de aquellos cuya segunda y tercera cifra es un uno.<br /><br />El conjunto, sin embargo, a pesar de esa definicion en un lenguaje tan formal o riguroso como queramos, seguiria sin ser construible, en el sentido de que seguiriamos sin contar con un procedimiento que nos permitiera determinar de manera inequivoca cualquier miembro suyo (a la manera en que un algoritmo nos permite conocer, por ejemplo, cualquier cifra de pi).Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-16632194710451160782011-04-08T23:21:57.376+02:002011-04-08T23:21:57.376+02:00Entonces no entiendo tu primer comentario. Eso es ...Entonces no entiendo tu primer comentario. Eso es exactamente lo que yo decía, con la salvedad de que no sé qué es eso de lo que consideramos verdadero acerca de ciertas nociones. Supongo que te refieres a lo que intuimos o algo así. No siempre acabamos definiendo las cosas del modo que las creíamos intuitivas.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-58002583035677572092011-04-08T22:28:36.263+02:002011-04-08T22:28:36.263+02:00Ejecución:
es que creo que el ejemplo que pones de...Ejecución:<br />es que creo que el ejemplo que pones de "conjunto definible" es uno de los que en la entrada llamo "no definibles" o "arbitrarios". (En particular, he tenido cuidado con insistir en que la "definibilidad" se refiere a una fórmula abierta del lenguaje formal, no a algo así como "definibilidad en castellano", pues si no se hace así, se da lugar a paradojas, p.ej., la paradoja de Richards).<br />.<br />.<br />José Luis: pero precisamente el 5º postulado de Euclides es verdadero en ciertos espacios y falso en otros, y es una pregunta pertinente si en el espacio "euclídeo" (el que no tiene curvatura), se cumple ese postulado o no; los otros cuatro postulados de euclides no son suficientes para determinar si un espacio es euclídeo o no. En el caso de los conjuntos R y N, la situación es similar: los axiomas de ZF ¿nos dicen TODO lo que consideramos VERDADERO acerca de ciertas nociones? (Ten en cuenta que no se ponen los axiomas que a uno le da la gana -o al menos, no siempre, y no, precisamente, en este ejemplo histórico-, sino que se BUSCARON los axiomas que "capturasen" todo lo RELEVANTE de unas nociones que nos parecían más o menos intuitivas PREVIAMENTE A TENER LOS AXIOMAS -como las nociones geométricas se consideraban antes de Euclides-).Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-56681846667323284132011-04-08T21:03:32.324+02:002011-04-08T21:03:32.324+02:00Jesús:
Pero es que es eso, precisamente. Lo mismo...Jesús:<br /><br />Pero es que es eso, precisamente. Lo mismo que los cuatro primeros axiomas de Euclides no dan una definición correcta de la noción de geometría. Ni el sistema formal al que le falta la proposición de Gödel da definición correcta de la noción de ¿???<br /><br />Recuerda que el sistema formal va a su bola. Nuestra interpretación de él como geometría, conjunto, o lo que sea es irrelevante.<br /><br />La hipótesis es indecidible a partir de los otros axiomas justamente porque es independiente de los otros axiomas. Son maneras de decir lo mismo.<br /><br />"La cuestión, entonces, sería saber qué axiomas debemos AÑADIR a ZF para que nos permitan DESCUBRIR esas propiedades de R que los axiomas ZF solos no nos permiten averiguar"<br /><br />¿Qué propiedades? Para cada propiedad P de la que ZF no dice nada tendrás la no-P como posibilidad. Además, esa propiedad o su negación bien puede ser el axioma que debes añadir, como en el axioma de elección. Recuerda que tendrás muchas de esas propiedades y que nunca podrás considerarlas todasJosé Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-7373413729854900132011-04-08T17:46:33.240+02:002011-04-08T17:46:33.240+02:00Según esas definiciones pedestres que acabo de dar...Según esas definiciones pedestres que acabo de dar, por tanto, todo número construible es definible, pero no todo número definible es construible.<br /><br />(Creo que el año pasado te hubiera podido contestar algo mejor, porque anduve bastante obsesionado con estas cuestiones de lo definible, lo computable, lo pensable, el ordinal Church-Kleene y demás familia, pero ahora mismo es muy poquito ya lo que recuerdo de todas estas historias).Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-17603748310837812452011-04-08T17:38:13.283+02:002011-04-08T17:38:13.283+02:00Jesús,
Entiendo "definible" como equiva...Jesús,<br /><br />Entiendo "definible" como equivalente de "identificable".<br /><br />"El conjunto de todos los números reales cuya expansión decimal binaria comienza por 1" sería un conjunto definible (o definible en español, para ser más exactos) desde el momento en que identifica a un conjunto muy concreto.<br /><br />Ese conjunto no es, sin embargo, construible, entendiendo por "construibles" todos aquellos conjuntos para los cuales disponemos de un procedimiento que nos permita conocer cualquier de sus miembros.Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-88823632856067581042011-04-08T17:21:37.093+02:002011-04-08T17:21:37.093+02:00Ejecución:
por lo que ayer nos explicó Ferreirós, ...Ejecución:<br />por lo que ayer nos explicó Ferreirós, la noción de "definibilidad" a la que se refiere el concepto de "conjunto arbitrario" es utilizando sólo fórmulas bien formadas de la sintaxis de la teoría de conjuntos (un objeto puede ser no-definible con un lenguaje, pero sí definible con otro más rico), y además, la noción de "constructibilidad" (si lo entendí bien) es MÁS RESTRINGIDA que la de "definibilidad". Así que supongo que tenemos que estar refiriéndonos a cosas distintas. ¿Qué entendéis Freman y tú entonces exactamente por esas dos nociones?Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-6473159061549463632011-04-08T17:14:37.339+02:002011-04-08T17:14:37.339+02:00Jesús,
El número omega de Chaitin es definible p...Jesús, <br /><br />El número omega de Chaitin es definible pero no construible.Ejecución Infinitahttps://www.blogger.com/profile/10863001694809907282noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-18538694345398738692011-04-08T16:46:45.556+02:002011-04-08T16:46:45.556+02:00José Luis:
lo que se ha demostrado es que la HC es...José Luis:<br />lo que se ha demostrado es que la HC es independiente de los axiomas ZF; pero no hay por qué aceptar que los axiomas ZF dan algo así como "la definición correcta (?) de la noción de 'conjunto'", y por lo tanto, la independencia de HC muestra simplemente que esos axiomas no dan una definición "completa (?)" de esa noción.<br />.<br />La cuestión es que a mucha gente (yo incluído) le parece que la HC debe de ser, o bien verdadera, o bien falsa. Es decir, o bien HAY algún subconjunto de R que es mayor que N pero menor que R, o bien no lo hay. La cuestión, entonces, sería saber qué axiomas debemos AÑADIR a ZF para que nos permitan DESCUBRIR esas propiedades de R que los axiomas ZF solos no nos permiten averiguar.<br />.<br />Freman: me temo que no lo pillo. ¿Cómo, exactamente, "separas" la noción de "constructibilidad" de la nción de "definibilidad"? ¿Y qué consecuencias tiene para el problema que digo en la entrada?Jesús P. Zamora Bonillahttps://www.blogger.com/profile/07054631110263426886noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-66933454524771780462011-04-08T14:48:20.153+02:002011-04-08T14:48:20.153+02:00La hipótesis del continuo no es un problema abiert...La hipótesis del continuo no es un problema abierto en la teoría de conjuntos. Es una proposición indecidible con los axiomas al uso (como lo es el quinto postulado de euclides). El problema se "cerró" cuando se demostró que se puede construir una teoría de conjuntos con esa hipótesis como axioma y otra con su negación.<br /><br />Por lo demás, no hay tal cosa como la pregunta obvia de sobre si "EXISTEN esos números, y esos subconjuntos".<br /><br />Lo que hay, por ponerlo en tu lenguaje (tú = JZ), es qué juego quieres jugar. Puedes jugar a poner el cuantificador existencial cuando defines algo completamente (en finitos pasos, detallando cada uno), cuando te permites una recursión como la de la inducción matemática, cuando te permites usar el axioma de elección (y la inducción transfinita), cuando te permites usar la contradicción,... <br /><br />Creo que esto es también lo que dice Freman con sus "juegos algorítmicos".<br /><br />También puedes, como ya dije en su día, usar varios tipos de cuantificadores existenciales y jugar a un juego con distintos tipos de existencia.<br /><br />La cuestión es qué juego es más interesante, y eso puede muy bien depender de la respuesta a ¿interesante para qué?<br /><br />Por ejemplo, la integral de Lebesgue opera de una manera distinta a la integral de Riemann, que tiene que ver justamente con la existencia de conjuntos no medibles, que debe aceptarse si se acepta poner el cuantificador existencial más allá de lo que se podría hacer con matemáticas finitas o constructivas.<br /><br />La integral de Lebesgue es importantísima para todos los modelos de probabilidad con variable continua y estos modelos, a su vez, son importantísimos en la economía moderna.<br /><br />¿Por qué son tan importantes? Porque son mucho más sencillos de manejar que sus versiones finitas (acaso más realistas). Normalmente los resultados son los mismos, pero a veces el modelo finito y el continuo da resultados distintos. No es obvio que en ese caso haya que dar siempre preponderancia al finito por ser más realista. Las hipótesis pueden ser o parecer más realistas, pero los resultados pueden ser justo lo contrario.José Luis Ferreirahttps://www.blogger.com/profile/12761156267797142585noreply@blogger.comtag:blogger.com,1999:blog-5918791314866668362.post-15905844546051794272011-04-08T14:18:21.798+02:002011-04-08T14:18:21.798+02:00Todo eso, visto algorítmicamente, es mucho más fác...Todo eso, visto algorítmicamente, es mucho más fácil de entender, incluidas las limitaciones asociadas. Te evitas las connotaciones peligrosas del concepto de "existencia", sin limitar las posibilidades ni tener que ponernos constructivistas. Precisamente, el concepto de "definibilidad" se puede separar en el concepto de entidad "construible" y de entidad "verificable". Y el problema de la verificabilidad es que, en principio, no puedes aplicarla a un conjunto no enumerable. Si es infinito, pero enumerable, en principio sigue existiendo un semialgoritmo de verificabilidad (un algoritmo que para sólo para un tipo de respuesta).Fremanhttps://www.blogger.com/profile/04572180910027254976noreply@blogger.com