Tres felicitaciones

Hoy es un día de felicitaciones. Brevemente voy a mencionarlas, en el órden en que me enteré de los hechos:

• Hoy es el cumpleaños de Oliver :D ¡Ya sólo soy 12.5 veces más viejo que él!
  
• Hoy Martina y Ricardo unen oficialmente sus vidas, por medio de su boda. Me siento muy feliz por ellos, y en verdad me entristece no poder estar ahí para celebrar con ellos.
• Hoy Torsten se graduó exitosamente de la maestría, con su tesis Decomposition of Weighted Multi-Operator Tree Automata. Para los que digan que la teoría de autómatas está muerta, o que no es excesivamente barroca, esta tesis viene a servir de contraejemplo. Más sobre las ideas que el escuchar la plática me trajo, un poco más tarde.
  

Pues así es, hoy viernes hay motivos para celebrar.

No creo en la probabilidad

La probabilidad se me hace una excelente teoría, y muy agradable de estudiar, pero de ahí a que me la tome muy en serio para la vida diaria es otra cosa.
Para divertirnos, les dejo un video. Disfruten.

Problema de parado

Ya había hablado antes de los problemas de decisión. Ahora voy a hablar de un "caso particular" de estos: el de decidir si una palabra pertenece a un lenguaje específico. Puse entrecomillado lo de caso particular porque en realidad cualquier problema de decisión se puede escribir de esta forma, pero eso es cosa aparte.
Veamos, una palabra es eso, una secuencia de símbolos de un alfabeto dado; un lenguaje es un conjunto de palabras. Por ejemplo la palabra palabra pertenece al lenguaje palabras en español, pero aerdssmensfeas no pertenece a ese lenguaje. Sin embargo, aerdssmensfeas pertenece al lenguaje palabras que comienzan en 'a', pero palabra no.
Entonces, si me yo tengo un lenguaje, y me dan una palabra, ¿cómo decido si pertenece a ese lenguaje? Una forma es usar una máquina de Turing. No se dejen asustar; una máquina de Turing es simplemente un mecanismo que tiene 4 cosas: una memoria física (cinta), una memoria virtual (estado), un apuntador en la cinta, y una lista de instrucciones.
La máquina únicamente ve el símbolo que está escrito en la celda de la cinta que marca el apuntador, y el estado que contiene, y sigue la instrucción adecuada. Una instrucción dice básicamente "si el símbolo es 'a' y el estado es 'q', escribe 'b' y muévete hacia adelante/atrás". Entonces, si el apuntador señala al símbolo 'a' y la memoria contiene el estado 'q', la máquina va a borrar esa 'a' y escribir 'b' en su lugar, y luego mover el apuntador a la siguiente o anterior celda de memoria, dependiendo de lo que diga la instrucción.
Ahora, para decidir si una palabra pertenece o no al lenguaje, se incluyen también dos estados particulares: acepta y rechaza. Si la máquina encuentra alguno de estos estados, entonces se detiene y hace lo que el estado le indica. Existe otro caso adicional, que es cuando la máquina jamás encuentra uno de esos estados; en ese caso, la máquina debe rechazar la palabra.
Aqui nos topamos con un problema, porque si queremos implementar la máquina, nos gustaría saber si esta se va a detener cuando le demos la palabra, para poder rechazarla sin tener que dejar la máquina corriendo por siempre. ¿Es posible hacer esto?, es decir, ¿podemos saber de antemano si una máquina se va a detener?
Primero veamos que, utilizando únicamente máquinas de Turing, esto no es posible. Para esto vamos a usar una variación de la paradoja de Russell (¡qué maravillosas son las paradojas!).
Supongamos que existe una máquina de Turing, llamémosla T (de Todopoderosa), que puede decir en tiempo finito, dada otra máquina y una palabra, si esa otra máquina se va a detener o no cuando se ejecute con la palabra dada. Entonces, dada la máquina y la palabra, podemos saber si esta se acepta o no: primero ejecutamos la T, sabemos que se va a detener, y nos va a decir si la otra máquina se detendrá o no. Si dice que no, entonces simplemente decimos que la máquina rechaza la palabra; si dice que sí, entonces la ejecutamos y damos el resultado que da la máquina.
Ahora podemos crear la máquina D (de Demoniaca) que acepta a todas las máquinas de no se aceptan a sí mismas, es decir, que si se da una codificación de la máquina y ella misma, esta va a rechazar.
La pregunta ahora es ¿D se acepta a sí misma?. Ahí tenemos una contradicción por donde lo veamos, pues si se acepta, entonces se tiene que rechazar, y viceversa.

¿Cómo tener una buena piel?

For the skin Por Rafael@Dresden.

Si lo que buscas es tener una piel sana, bebe el nuevo vino de frutas Santowell, adicionado con Aloe Vera. Una bebida para el cuerpo y el alma.
Advertencia: Santowell no se hace responsable de efectos secundarios que pueda tener el consumo de esta bebida como el uso incorrecto del balance de blancos, o la realización de fotografías mal alineadas.

e

Entre la Facultad de Química, y las residencias para estudiantes de química en Universität Leipzig, tienen una muy buena aproximación de e (bueno, le falta un punto después del primer dígito).
Una de las sorpresas que me ha dado mi nueva sede.

El huevo inmortal

Inmortal egg Por Rafael@Dresden.

Este huevo pintado ha viajado por el mundo, llevado como equipaje en maletas convencionales, y aún no ha sufrido ningún daño.
Una breve historia de sus viajes: con un origen desconocido para mí, el huevo viajó de Milwaukee a Chicago y de ahí a la Ciudad de México dentro de la maleta de mano de Jacky.
De la Ciudad de México, viajó a Dresden en la maleta de mi madre. Por cuestiones de mala logística, el huevo se quedó en la maleta de mano de mi madre cuando emprendimos nuestro pequeño viaje. Así que, en una maleta llena, el huevo viajó por tren a Praga, Viena, Salzburgo y Munich antes de regresar a Dresden. Sorpresivamente, seguía a salvo.
Ayer, junto con los últimos elementos que faltaban, el huevo vino a Leipzig desde Dresden. En ese mismo viaje se rompió un espejo, pero el huevo sigue intacto.
Este regalo de Jacky ha resultado casi milagroso, o al menos su resistencia lo es.

En Leipzig

Hoy fue la mudanza oficial. Temprano en la mañana fue el casero de Dresden a revisar que todo estuviera en orden. Tras firmarme el contrato para el regreso de mi depósito, me fui a la estación central, para acompañar a Rochy y a su madre, que también dejaban hoy Dresden, pero ellas en dirección a Viena.
Llegué a casa, llené el refrigerador e instalé bien mi televisión por computadora. Ahora voy a ver El Muro en ella.

Prótesis biológicas

Dejemos de lado la idea de las Granjas de Órganos, que ya sabemos que no tienen futuro debido a las implicaciones éticas que conllevan. Aún así, la posibilidad de hacer modificiaciones genéticas nos lleva a la idea de las prótesis biológicas.
¿Qué son estas prótesis?, se preguntarán. Imaginen que existiera un ser vivo que se pudiera agarrar de, por ejemplo, la muñeca de un humano y que, paulatinamente, se mezclara con los nervios que hay en ella de tal forma que, tras un periodo de adaptación, este ser vivo funcionara como una mano para el humano a quien está anclado. Para sobrevivir, este ser se alimentaría, ya sea en parte o exclusivamente, del torrente sanguíneo del humano huésped. En este sentido, el ser podría considerarse un parásito, pero que beneficia a su huésped al servirle como prótesis.
Obviamente, el ejemplo de la mano es muy avanzado ya, y sería necesario comenzar con elementos prostáticos mucho más sencillos.
Si alguno cree que esta idea es muy descabellada, le comento que esto es algo que ya sucede en la naturaleza. La Cymothoa Exigua es un isópodo que se sostiene de la lengua de un pez huesped, alimentándose de la arteria que llega a esta. Mientras crece, la lengua se va atrofiando, y el parásito la reemplaza (precaución, esta foto puede resultar fuerte para algunos). El pez puede utilizar al crustáceo como si fuera su propia lengua. Ahora supongamos que el pez en cuestión no tuviera originalmente lengua; entonces este parácito sería de gran ayuda para su huésped.
Además, al ser completamente no-humanos estos parásitos, muchas de las críticas éticas que se han hecho a la modificación genética quedarían fuera de lugar.

De nuevo, felicidades

Ayer corrió mi hermano nuevamente el maratón de Toronto. Su meta en esta ocasión no era sólo terminar, sino además hacerlo en menos de 4 horas; y lo logró: 3:59:32 fue su tiempo, según entendí.
Parece ser que esto del maratón se está haciendo rutina para él, porque a decir de mi hermana que le llamó tras la carrera, ni siquiera sonaba cansado.
Obviamente, nada tan rutinario como para Sam Thompson que acaba de correr 51 maratones en 51 días, en los 50 estados de Estados Unidos. Isis una vez me dijo que, si hacías algo durante 40 días seguidos, entonces ya se convertía en una rutina y podías hacerlo para siempre... yo no estoy seguro sobre la rutinidad para este hombre, dudo que pudiera continuar corriendo un maratón diario por mucho tiempo más.

Good bye

This will be the first post written in english in this blog, but this time it is necessary, for I want non-spanish-speakers to read it.
Yesterday we had a farewell celebration, I'm not sure if I can call it a party, for my moving to Leipzig. It could hardly have been better than it was; the setting, the people, the execution, it made me very, very happy.
The celebration was made next to the Elbe, across from the city center, at night. We sat on the grass, and could see the historic buildings, enjoy one of the last good-weather days, before the autumn strikes for real, and grill peacefully. This scene is one I will, for sure, remember when I see back to my days living in Dresden: me, with friends, next to the famous historic buildings, two of which were renovated and re-opened during my two year period here, grilling, eating good (though a little raw, or a little burned) food, drinking a beer (or whatever the next level was at the time), breathing air mixed with the smoke from the grill carried by the wind, greeting a dog that came and with good manners waiter for his bone.
Yesterday I told this so many times that they probably got really tired of listening it, but I have to say it again: Thank you, thank you all, the ones that were there, and the ones that missed, for making my time in Dresden one of the greatest experiences I have ever had, and helping me go over the dark days I had back at the end of 2004, beginnig of 2005 that you might not remember, but I will never forget. Suffering mixed with laughs; that was a short definition of my life.
Before I start crying now, for the tears are fighting hard to leave my lacrimal, let me state who was there: Basti (remember, the lion is never as it is painted), Dung (pronounced something like Dzung), Yusri (his name is Bong, Yusri Bong), the two 'Mads (that arrived late, and I have no picture of, sorry guys), Maria (a friend of Ahmad), and of course, the one that could have not missed this one, Rochy (the other mexican in CL). Some people that would have been very nice to have there, but were not present for different reasons: Vivek, with an endless repository of stories to tell, and a very particular way of doing so; Wiwi, of course, with her joy and laughter; and many others, but if I start giving the names of all, I would never finish.
To finish a great night, while I was waiting for my tram back home, a german approached me, and I was able to chat with him, in german. It was, of course, a very basic conversation: where are you from, what do you do, etc; but I was happy to be able to understand him, and chat gleefully for some five minutes.
That is all, I am not away from Dresden forever, I will still come every week, but now I know that I am not a Dresdner anymore; the master years are over, this was the time planned to leave, one way or the other.

Muerto

Mouse Por Rafael@Dresden.

Estoy muerto. Mudanza, stress provocado por mi extensión de visa, limpieza antes de salir de Dresden, reporte técnico, paper, fiesta, trámites, cambio de dirección, ...
Pero no hay que desesperar, todo eso termina en pocos días, y todo regresará a la normalidad.

Publicidad

Anuncio Por Rafael@Dresden.

Este tipo de publicidad jamás funcionaría en México. El texto dice:

¡Preséntese, usted es una mariquita!

¿Creen acaso que insultando al cliente van a lograr el éxito?

Estoy vivo!

Llevo casi una semana sin escribir nada. El problema es que en esta ocasion no ha sido por falta de ganas, o por vacaciones, o por tener muchas otras cosas que hacer. De hecho, si se fijan, llevaba casi una semana sin realmente usar el internet: no habia subido fotos a flickr, no habia ingresado a otros blogs... la razon: algo paso con los servidores de TU-Dresden (mi proveedor de internet) por lo que no tuve acceso a la red desde el viernes en la tarde hasta ayer en la noche.
Tengo que decir que mi computadora, sin internet, es muy aburrida.

Mont St. Michel

Mont St. Michel Por Rafael@Dresden.

Otra foto de mirilla. Mont St. Michel, antes de que subiera la marea, vista desde su base. Aquí se aprecia bien como el pueblo consiste solo de la Abadía.

Google Maps censurado?

Estaba explorando Amsterdam por medio de Google Maps, y me topé con esto. Esa pixelación de la imagen no es azarosa. ¿Desde cuándo y qué tanto está censurando Google de sus imágenes satelitales?

El edificio transparente

The transparent building Por Rafael@Dresden.

Asi nos recibio Rotterdam: una maravillosa vista del cielo reflejado en un edificio frente a la estacion de trenes, simulando al mismo cielo que tenia detras.

¡Cómo no sabía esto?

Navegando por la Wikipedia me encontré con un uso de los signos de interrogación y admiración que desconocía. Según el artículo sobre el signo de interrogación:

en español es correcto enmarcar una frase con la apertura de la admiración (¡) y el cierre de la interrogación (?), o viceversa, en casos que compartan claramente lo admirativo y lo interrogativo, como ¡Quién te has creído que eres?

Hot Cakes

Bubbles.
Foto: Rafael@Dresden.

Tras llevar más de 60 kilos en mercancía a mi nueva residencia en Leipzig, y pasar una velada de vino y discusión teológica con el Vampiro Austriaco Paparazzi hasta altas horas de la noche, nos merecíamos un muy buen desayuno hoy.
Rochy preparó unos deliciosos Hot Cakes que, por cierto, para comenzar una tradición de salud, fueron integrales y acompañados de leche parcialmente descremada condensada y azucarada, también conocida como La Lechera^®.
Yo, por mi parte, me divertí con las burbujas.

Viviendo lo imposible

The impossible line.
Foto: Rafael@Dresden.

¿Alguna vez se imaginaron ver esto? Una larga línea para usar el baño de hombres, pero muy corta para el de mujeres.
Tuvo que ser un evento de futbol internacional, el juego de México contra Argentina durante el mundial de Alemania para que tal escena aconteciera en el mundo real.
Dudo mucho que sea poco el tiempo que tenga que ocurrir para que este evento se repita.

Validez y completud

Nota:quería titular este texto correctud y completud pero, al no encontrar ninguna referencia a que la palabra correctud es correcta [;)], decidí cambiarlo por el actual.
Permítanme comenzar con unas definiciones. Un problema de decisión es aquel donde las únicas respuestas posibles, para cualquier entrada, son SI o NO. Un problema de decisión es decidible si existe un algoritmo que da la respuesta a cualquier entrada en tiempo finito. Es semi-decidible si existe un algoritmo que, siempre que la respuesta es positiva, contesta acertadamente en tiempo finito, pero que puede no contestar en caso de respuestas negativas.
Por ejemplo, decidir si un algoritmo concluye sus operaciones dada una entrada para el mismo, es semidecidible pues simplemente podemos correr el algoritmo sobre esa entrada y, si termina, contestar SI, pero si no termina, no podremos contestar nada.
Ahora, un mismo problema se puede resolver con distintos algoritmos. Un algoritmo es correcto si siempre que contesta SI lo hace acertadamente, y es completo si siempre que la respuesta es SI este la contesta adecuadamente. Obviamente, el algoritmo ideal sería aquel que es a la vez correcto y completo, pues eso significa que jamás comete errores (cuando contesta).
Un ejemplo trivial de un algoritmo completo es el que siempre, ante cualquier entrada, contesta SI. Sobre algoritmos correctos hay dos ejemplos triviales: uno, el que siempre contesta NO, y otro el que siempre se cicla y no da nunca una solución. [Recuerdo haber leído un ejemplo similar hace poco en Planeta Linux, pero no puedo encontrar la referencia adecuada].
En algunos casos, en especial cuando se quiere implementar algo eficientemente, no se puede tener un algoritmo correcto y completo, pues este demoraría demasiado tiempo. En esos casos hay que hacer una elección: completo e incorrecto, o correcto e incompleto. Históricamente, esta cuestión se ha resuelto fácilmente y con poca controversia: que sea correcto, aunque resulte incompleto.
Hace poco, ante una implementación de Lógica Descriptiva Difusa, un computólogo expresó su duda al respecto entre sus colegas. Muchos de ellos se mostraron incluso sorprendidos ante la pregunta, y contestaron como lo dije antes: "es mejor que sea correcto". Yo por mi parte, me puse a buscar problemas y me resultó dificil encontrar casos en que prefiriera que fuera correcto sobre la completud; de hecho, los únicos tales casos que hallé pertenecían a lógica: satisfacibilidad, subsuma, inclusión. Todos los problemas de "la vida real" que pude pensar era mejor que fueran completos a correctos. Por supuesto, el mismo algoritmo cambia de completo a correcto, y viceversa, si se resuelve el dual del problema inicial, pero los humanos tenemos una forma de expresar esos problemas (generalmente en forma negativa, como: ¿la planta nuclear va a estallar?) que hace que los problemas duales suenen muy irreales (¿es la planta nuclear segura?).
Para entender esto, volví la mirada a la estadística. Ahí, cuando se hacen pruebas de hipótesis, siempre (o generalmente) se elije como hipótesis inicial aquella que está del lado seguro, pues de acuerdo con estas pruebas, sólo vas a rechazar tu hipótesis si tienes evidencia suficiente para ello.
Así, siempre voy a asumir que la planta va a estallar, que el acusado es culpable (aunque esto contradiga las iniciativas judiciales de muchos países), que el león va a atacar, y un muy largo etcétera. Bajo esta perspectiva, si asumimos que nuestro problema de decisión está relacionado con una hipótesis inicial de una prueba de hipótesis como esta, en el caso general preferiríamos errar contestando SI cuando era NO, pues no había evidencia suficiente para refutar la hipótesis inicial, pero que siempre que la respuesta sea SI sea esa la respuesta. En otras palabras, a pesar de lo que digan los lógicos y computólogos, en general, y siempre y cuando el problema esté planteado en forma segura, es preferible un algoritmo completo sobre uno correcto.