SMULLYAN, RAYMOND
AGRADECIMIENTOS
PREFACIO
Primera parte. Pájaros que cantan
1. El bullicioso bosque de Curry
2. El bosque de Russell
3. El bosque sin nombre
4. El bosque de Gödel
Segunda parte. El bosque maestro
5. El bosque maestro
6. Pájaros aristocráticos
7. El descubrimiento de Craig
Tercera parte. El problema fundamental
8. El principio del punto fijo
9. Una mirada al infinito
10. Pájaros lógicos
11. Pájaros aritméticos
12. ¿Hay algún pájaro ideal?
EPÍLOGO
El bullicioso bosque de Curry
El sociólogo de pájaros residente en el bosque planteó al inspector Craig su problema. "En este bosque", dijo el profesor, "ciertos pájaros cantan en determinados días. Me he propuesto averiguar qué pájaros cantan en qué días a través de una ley general, pero hasta hoy no he encontrado ese principio unificador. Lo único que he podido hallar son cuatro leyes que me dan una información parcial, pero no veo cómo puedo determinar a partir de ellas qué pájaros cantan en qué días. Tiene que haber una sola ley general que unifique estas cuatro. ¿Podrá usted ayudarme?"
"Haré lo que pueda", dijo Craig. "¿Cuáles son las cuatro leyes?"
"Bien, tenemos aquí un pájaro muy especial P. No sé su especie pero eso no interesa. Lo importante es que dados dos pájaros cualesquiera x e y -iguales o diferentes- valen las siguientes leyes:
Ley 1: si y canta un día dado, entonces Pxy canta ese día
Ley 2: si x no canta un día dado, entonces Pxy canta ese día
Ley 3: si el pájaro x y el pájaro Pxy cantan ambos un día dado, entonces y canta ese día
Ley 4: para todo pájaro x, existe un pájaro y tal que y canta en los días en que Pxy canta y sólo en esos días?
¿Podrá el inspector Craig descubrir cual es esa gran ley?
(Solución en página 23)
