Monociclo

Hoy, después de más de dos años sin usarlo, regalé mi monociclo. Espero que su nuevo dueño le de un buen uso.

Pinocho

Será porque estoy leyendo la historia original en italiano, o por alguna otra razón, pero estoy extasiado con la portada del número 31 de Grimm Fairy Tales.

Como diría mi padre, ¡APOTEÓSICO!
Ahora, a ponerme al corriente con mis cómics (tengo una cola de más de 8 meses acumulada).

De carne

Esto sí rebasa los límites. Yo sé que hablo alemán con acento, pero estoy seguro de que no es tan malo como los alemanes me lo hacen creer.
Llego a la panadería y tienen sandwiches de todo tipo, pero sólo uno de carne.
- Hola, quiero esa baguette con carne.
- ¿Con queso?
- Con carne
- Ah, ¡jamón!
- No, carne.
Toma un panecillo con huevo.
- ¿Este?
En ese momento decido regresar al viejo truco de señalar vilmente lo que quiero.
- Este al frente, en medio.
Toma uno que está hasta atrás.
- No, este del frente, ¿de qué es?
- ¿Este? Este es de carne. -- Tomando el que quería desde el principio.
- Ese quiero.
- Ah, perdón, es que te había entendido "queso".
- Si, no importa, gracias.

¿Es que ya no puedo ni comprar un pan en paz?

Por vacuidad

Es cuando menos interesante que una frase aparentemente contradictoria como

todo ser inmortal muere

sea verdadera dentro de la lógica moderna. ¿Por qué? Por vacuidad: una afirmación universal es verdadera si no existe ningún elemento que satisfaga su premisa.
Y sólo para completar, esa misma afirmación es falsa dentro de la lógica clásica, en particular la lógica aristotélica con los silogismos que nos enseñan en preparatoria. Para Aristóteles, si una afirmación universal se satisface, entonces su análogo existencial también lo hace. Es decir, la veracidad de "todo ser inmortal muere" implica la existencia de un ser inmortal (en particular uno que muere).

Ojalá fuera creyente

Ojalá fuera creyente para saber que ustedes también se irán al infierno. Ojalá pudiera sentir la seguridad de que recibirán un castigo, si no en vida, al menos tras ella. Ojalá uno de ustedes sufra de verdad aquello que fingen; ojalá mueran pronto y dejen de hacer estas porquerías.

¿Tan mal me veo?

Llego a la barra. Hago la fila pacientemente antes de ordenar. Ordeno: una ensalada de atún con huevo. Sirven mi plato. Preguntan: ¿con qué aderezo? Contesto: ninguno, gracias. Incredulidad. Ideas. El aderezo no te cuesta extra, ¿sabes? Sí, no quiero aderezo. Está bien.

A, B, C, D, ...

En la maestría tomé un curso llamado Autómata and Logic (AL) con el mismo profesor que después me enseñaría una generalización de la lógica AL que a su vez es una generalización de Boolean Logic (BL). Mi maestría, por cierto, se llamaba Computational Logic (CL).
Después aprendí que AL pertenece a una familia llamada Description Logics (DL), con la que empecé a trabajar; principalmente con otra lógica de esa familia llamada EL, que tiene muchas ventajas sobre otras lógicas poco expresivas como FL.
Ahora, me he adentrado un poco en lógica difusa, y usado los operadores de Gödel, en lo que algunos llaman Gödel Logic (GL) y he notado que muchos de mis resultados de complejidad sólo requieren la expresividad de HL, una sublógica de EL que asemeja a Horn Logic.
Algo en lo que no tengo mucho interés, aunque otros lo tienen, es en adentrarme en el mundo de Intuitionistic Logic (IL) u otros bichos semejantes.