RAYMOND M. SMULLYAN

Raymond M. Smullyan

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 ca

Raymond M. Smullyan

Smullyan, Raymond,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 que pajaros cantan en que dias a traves de una ley general, pero hasta hoy no he encontrado ese principio unificador. Lo unico que he podido hallar son cuatro leyes que me dan una informacion parcial, pero no veo como puedo determinar a partir de ellas que pajaros cantan en que dias. Tiene que haber una sola ley general que unifique estas cuatro. ¿Podra usted ayudarme?" "Hare lo que pueda", dijo Craig. "¿Cuales son las cuatro leyes?" "Bien, tenemos aqui un pajaro muy especial P. No se su especie pero eso no interesa. Lo importante es que dados dos pajaros cualesquiera x e y iguales o diferentes- valen las siguientes leyes: Ley 1: si y canta un dia dado, entonces Pxy canta ese dia Ley 2: si x no canta un dia dado, entonces Pxy canta ese dia Ley 3: si el pajaro x y el pajaro Pxy cantan ambos un dia dado, entonces y canta ese dia Ley 4: para todo pajaro x, existe un pajaro y tal que y canta en los dias en que Pxy canta y solo en esos dias ¿Podra el inspector Craig descubrir cual es esa gran ley?

M. SMULLYAN, RAYMOND Delicioso libro en el que el conocido lógico matemático Raymond Smullyan, autor de obras de gran éxito sobre paradojas lógicas y rompecabezas matemáticos, considerado por muchos como un nuevo Lewis Carroll, y reconocido también por sus sesudos trabajos sobre Gödel y otros aspectos de la lógica matemática, nos introduce en el arte del tao.