te detesto

Hay cosas que me desagradan d eti, demasiado, por ejemplo, que estes en mi pensamiento y sepa que mucho de lo que ultimamente estoy haciendo es para evadir ese pensamiento, detesto saber que eres mucho de lo que no sere, por que no esta en mi alma, odio pensar que aunque seas como eres, cosa rara, tienes amigos y compañia, que eres un gran matematico y eres feliz y yo no lograre eso, empiezo un camino maravilloso completamente sola, llena de gozo frenetica por gritar cada cosa que descubro, leo, intento demostrar y no sale o sale y es chingon, pero no hay nadie, absolutamente nada, detesto caminar por la calle que me pidan mi numero y tras decir soy matematica me miren raro y adios a todo lo que sigue.

Odio se la chica rara de la familia entre puro abogado, y no ser nada, y eso es nefasto, odio no poder hablar nada de esto mas que con mi sobrina de 2 años, que no sabe decir su nombre jajaja, no lo se, te destesto, por que eres demasiado importante en mi vida y eso hace que te aborresca con todo mi corazón, por que lo unico que al modo he logrado, es elevar tu maldito ego, te detesto y deseo verte, carajo.

Al fin veo la luz

En lógica matemática, los teoremas de la incompletitud de Gödel son dos célebres teoremas demostrados por Kurt Gödel en 1930. Simplificando, el primer teorema afirma:
En cualquier formalización consistente de las matemáticas que sea lo bastante fuerte para definir el concepto de números naturales, se puede construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese sistema.
Este teorema es uno de los más famosos fuera de las matemáticas, y uno de los peor comprendidos. Es un teorema en lógica formal, y como tal es fácil malinterpretarlo. Hay multitud de afirmaciones que parecen similares a este primer teorema de incompletud de Gödel, pero que en realidad no son ciertas. Éstas se comentan en Malentendidos en torno a los teoremas de Gödel.
El segundo teorema de la incompletitud de Gödel, que se demuestra formalizando parte de la prueba del primer teorema dentro del propio sistema, afirma:
Ningún sistema consistente se puede usar para demostrarse a sí mismo.
Este resultado fue devastador para la aproximación filosófica a las matemáticas conocida como el programa de formalización Hilbert. David Hilbert propuso que la consistencia de los sistemas más complejos, tales como el análisis real, se podía probar en términos de sistemas más sencillos. Finalmente, la consistencia de todas las matemáticas se podría reducir a la aritmética básica. El segundo teorema de la incompletud de Gödel demuestra que la aritmética básica no se puede usar para demostrar su propia consistencia, y por lo tanto tampoco puede demostrar la consistencia de nada más fuerte.

El primer teorema de la incompletud de Gödel demuestra que cualquier sistema que permita definir los números naturales es necesariamente incompleto: contiene afirmaciones que ni se pueden demostrar ni refutar.
La existencia de un sistema incompleto no es en sí particularmente sorprendente. Por ejemplo, si se elimina el postulado del paralelismo de la geometría euclídea se obtiene un sistema incompleto. Un sistema incompleto puede significar simplemente que no se han descubierto todos los axiomas necesarios.
Lo que mostró Gödel es que en la mayoría de los casos, como en la teoría de números o en análisis real, nunca se puede descubrir el conjunto completo de axiomas. Cada vez que se añada un nuevo axioma siempre habrá otro que quede fuera de alcance.
También se puede añadir un conjunto infinito de axiomas. Por ejemplo, todas las afirmaciones verdaderas sobre los números naturales, pero esa lista no será un conjunto recursivo. Dada una afirmación cualquiera, no habrá forma de saber si es un axioma en el sistema o no. Dada una prueba no habrá en general una manera de verificar que esa prueba es válida.
El teorema de Gödel tiene otra interpretación en el contexto de la informática. En lógica de primer orden, los teoremas son recursivamente enumerables: se puede construir un programa de ordenador que terminará por dar una demostración válida. Sin embargo, no cumplen la propiedad más fuerte de ser un conjunto recursivo: no se puede construir un programa que dada una afirmación cualquiera determine si ésta es cierta o no.
Muchos lógicos piensan que los teoremas de incompletud de Gödel asestaron un mazazo fatal al programa de formalización de Hilbert que apuntaba a un formalismo matemático universal.El primer teorema de la incompletud de Gödel demuestra que cualquier sistema que permita definir los números naturales es necesariamente incompleto: contiene afirmaciones que ni se pueden demostrar ni refutar.
La existencia de un sistema incompleto no es en sí particularmente sorprendente. Por ejemplo, si se elimina el postulado del paralelismo de la geometría euclídea se obtiene un sistema incompleto. Un sistema incompleto puede significar simplemente que no se han descubierto todos los axiomas necesarios.
Lo que mostró Gödel es que en la mayoría de los casos, como en la teoría de números o en análisis real, nunca se puede descubrir el conjunto completo de axiomas. Cada vez que se añada un nuevo axioma siempre habrá otro que quede fuera de alcance.
También se puede añadir un conjunto infinito de axiomas. Por ejemplo, todas las afirmaciones verdaderas sobre los números naturales, pero esa lista no será un conjunto recursivo. Dada una afirmación cualquiera, no habrá forma de saber si es un axioma en el sistema o no. Dada una prueba no habrá en general una manera de verificar que esa prueba es válida.
El teorema de Gödel tiene otra interpretación en el contexto de la informática. En lógica de primer orden, los teoremas son recursivamente enumerables: se puede construir un programa de ordenador que terminará por dar una demostración válida. Sin embargo, no cumplen la propiedad más fuerte de ser un conjunto recursivo: no se puede construir un programa que dada una afirmación cualquiera determine si ésta es cierta o no.
Muchos lógicos piensan que los teoremas de incompletud de Gödel asestaron un mazazo fatal al programa de formalización de Hilbert que apuntaba a un formalismo matemático universal.

August Rush

todos esperamos ser encontrados, de algun modo llamamos a gritos ese encuentro, inesperado,planeado,soñado, como sea.

Yo no musica, yo nunca he tocado un instrumento y creo que alguna vez lo intente, no recuerdo haber sido tan mala, yo busque mi encuentro en palabras y nunca retorno el ser que deseaba, hoy lo busco en numeros, esprando que siendo ese el lenguaje de dios, escuchen despues de años ese llamado, ya son 10 años y aun no me encuentran, cuantos mas tendre que esperar, aun no lo se, sin embargo la sonrisa dno se quita y el reencuentro al gun dia tendra que llegar

Escher y Derecho

Ayer despues de no se que tanto rollo de la Historia del Derecho MExicano y antier unas cuantas cosillas de Filosofía del Derecho, es decir, mucha droga cerebral, me entro la duda de quien carajos habia creado tan maravillosa obra, bueno y tmb por que la encontre en el blog de alguien, con el titulo de laberinto y por mas que la busque y busque no aparecia, el caso es que al fin se quien la hizo es ESCHER dios por favor no lo olviden que me costo como 2 horas de mi vida investigarlo.

Bueno, sigo fascinada y anonadada por la obra de ese tipo, luego si tienen tiempo veanla, esta bien chingona, pero lo que se dice bien chingona, mmm hoy no es día de muchas palabras, cansancio exagerado, si lo se, 2 extras no es facil y mas si todavia me espera un tercero, chale.

Quería decir ....

Quería que estuvieras aqui, era demasiado pedir, si, se que si, estas ocupado, lo entiendo, siempre lo entiendo, quería hablarte, quería decirte que todo esta en paz, que ya todo esta en orden y el cambio es un hecho, que compartiremos una pasión hermosa, si, eso quería decir, quería preguntar si tu había ido y seguirme sintiendo mal por no haberte visto hoy, queía decir eso, y un poco mas, quería saber que estabas bien, se que siempre lo estas.

Pero no estas, llegue y te fuiste, sabes que llegue, quizá no, quiero pensar que no, da igual.
Sabes, hay alguien, un tipito nuevo, no lo conoces, si se que no lo conoces, pero es dulce, te agradara, estás bien con ella?? Dime que si, quiero escuchar que si, quiero pensar que es lo mejor, si es lo mejor, para ti mm quizá para mi, tú lo crees??

Debo de intentarlo, debo de dejarte, mmm no quiero, bueno es lo mejor, es sano, mmm no quiero, quieres hablar, no, se que no.

Buenas noches

Me duele la garganta

Hay días que no hay imagen que sientas que pueda decir lo que esta pasando, hacia rato que muchas ideas no se amontonaban en mi cabeza como en estos días y eso en definitiva no me hace feliz, creo que pienso demasiado, creo que me hicieron daño los medicamentos del psiquiatra y ya mi cabeza no tolera los pensamientos obsecivos como antes, eso no es util en matemáticas, quizá también debeía de empezar a dejar de evaluar todo en utilidades, ustedes que opinan???

Mmm he conocido mucha gente realmente sorprendente que me tiene fascinada, que me da ilusiones, alegrías, mucha gente se esta ausentando de mi vida y honestamente creo que deseaba que eso pasará, me obligan a mejorar mi ortografía, que nefasto jiji

No ganas d escribir hoy, cansada, hare palomitas, bebere tequila por que mi garganta me esta matanto y vere una peli, desean acompañarme, mmm se que si pero no pueden, como Will jeje.

i know

no quiero decir nada por que comprendo que es tu vida, por que comprendo cada casa que pasa por mi cabeza y creo que por la tuya, no quiero decir nada por que se que arruino todo, noq ueiro decir nada por que me aferro a ti como parasito, proq eu lo necesito, lo deseo, por que me mantiene un poco mas, como dice un amigo, siempre sobrevivo, eses es el plan, el plan que tu desconoces, o quiza ya sabes por qeu es trivial, para ti todo es trivial, maldito sea tu cerebro magnifico.

No quiero decir que quiro ser parte de tu mundo, por que se que de algun modo lo soy, noq ueiro decir que quiero robar un minuto de tu pensamiento, por que se que he sido objeto de tu pluma y eso es mas de lo que crei capaz, no quiero decir tantas cosas que se que sabes, que se que entiendes, que se que comprendes mejor que yo, por que sabes como soy, por que sabes que no hablo lo que siento, sino solo lo que pienso o quiza ni eso, por que sabes que cuando me trabo es por que tus ojos me han cautivado, porq eu se que sabes que el cafe inevitablemente trae sabor a ti, y por que sabes que no hay nadie que se preocupe mas que yo.

Da igual qeu lo sepas o no, da igual muchas cosas, al modo, solo se que lo sabes, y al modo espero qeu lo sepas y al igual que yo, sea un secreto gritado a voces pero que los dos no deseamos escuchar y menos hablar, es mejor asi, por lo pronto, se que esto no lo leeras jajaja