27.12.10

Viaje al planeta Biplantar

Cierta vez Spock, el viajero espacial estudioso de la Lógica, llegó al planeta Biplantar. En este planeta, como en tantos otros visitados por Spock, la población entera está dividida en dos grupos: el de los veraces y el de los mentirosos. Los veraces sólo hace afirmaciones rigurosamente verdaderas mientras que los mentirosos sólo hacen afirmaciones falsas.

En este planeta, además, todas las casas tienen dos plantas, a las que, en un alarde de imaginación, llamaremos inferior y superior. En una de las plantas (puede ser la inferior o puede ser la superior, eso depende de cada casa) viven solamente veraces, en la otra planta, obviamente, viven solamente mentirosos. Esto no quiere decir que cada uno de ellos esté confinado a una planta específica, cual si de prisioneros se tratara. Por el contrario, quienes viven en una planta pueden visitar libremente la otra, pero "viven" (moran, pernoctan, residen) sólo en una las dos.

En los pueblos o en las ciudades pequeñas las casas son de estructura sencilla y cualquier visitante sabe en todo momento en qué planta de la casa se encuentra. En las grandes ciudades, en cambio, las casas pueden tener una estructura muy compleja, laberíntica diríamos, con escaleras falsas que parecen conducir a plantas inexistentes, ventanas con falsos paisajes (creados por jardines elevados artificialmente o por juegos de espejos), puertas falsas y otras trampas para la percepción de tal modo que, después de un tiempo de transitar por sus habitaciones, el visitante puede perder la noción de si se encuentra en la planta inferior o en la superior (aunque el residente nunca se extravía y siempre sabe perfectamente dónde se encuentra).

En su primer día en el planeta Biplantar, Spock se encontraba en una casa en un pueblo pequeño. Había llegado hacía una o dos horas, pero todavía no tenía idea de quiénes vivían en cada planta. En ese momento vio a un residente (que vivía en esa casa, aunque no necesariamente en la planta donde ambos se encontraban) y después de saludarlo, Spock le preguntó a qué grupo pertenecía (es decir, si era veraz o mentiroso). El nativo respondió:

Si yo dijera: "Si hay una planta sobre nosotros entonces yo vivo en ella", entonces usted podría deducir a qué grupo pertenezco.

De esta información Spock dedujo enseguida en qué planta vivían los veraces y en qué planta, los mentirosos. Tal vez dedujo otras cosas, tal vez no. (Pero nótese que el hecho de que Spock tenga la información suficiente como para hacer una determinada deducción no significa necesariamente que la tengamos también nosotros.)

Las preguntas son: ¿El nativo que habló con Spock era veraz o mentiroso? ¿En qué planta de la casa estaban los dos, la inferior o la superior? ¿En cuál de las dos plantas vivían los veraces?

Para cada pregunta el desafío es, o bien responderla, o bien demostrar que la información que se tiene es insuficiente para dar una respuesta certera.

Que se diviertan...

21.12.10

Un teorema sobre 0^0

Teorema: Sea T una teoría que hable de los enteros no negativos y sus operaciones, si en esa teoría se define 0^0 como 1 entonces no se produce contradicción alguna.

Demostración: Si definimos a los números enteros no negativos en el contexto de la teoría F de los conjuntos finitos (los definimos como los cardinales de esos mismos conjuntos) entonces la afirmación 0^0 = 1 puede demostrarse como teorema (véase aquí). Por lo tanto, la afirmación es consistente con la teoría F, es decir, F U {0^0 = 1} es consistente.

Por ende, T U {0^0 = 1} es consistente también (cualquiera sea T consistente y que defina a los enteros no negativos), porque, de no ser así, la misma contradicción que surgiera en T U {0^0 = 1} existiría también en F U {0^0 = 1}, pero esa supuesta contradicción, ya vimos, en realidad no existe.

...todo lo demás es prejuicio irracional.

18.12.10

Acertijo en 6 por 6

El protagonista de este problema es un tablero de 6x6...

...y el objetivo es completarlo de acuerdo con las siguientes reglas:

1. Cada una de las casillas con un círculo debe contener un número, que sólo puede ser, en cada caso, un 1 o un 4. En las demás casillas no habrá números.
2. Al terminar, debe haber al menos un 1 y al menos un 4.
3. Algunas de las casillas restantes contendrán minas (a modo de ayuda, una ya está colocada), otras, eventualmente, pueden quedar vacías.
4. Las casillas con círculos no contienen minas, ni pueden quedar vacías.
5. Como en el Buscaminas de Windows, cada número debe indicar cuántas minas hay en las casillas que están alrededor de él.

Que se diviertan....