Raymond M Smullyan: Todos sus libros
-
Juegos Y Problemas De Ajedrez Para Sherlock Holmes
Raymond M. Smullyan
-
Juegos De Ajedrez Y Los Misteriosos Caballos De Arabia
Raymond M. Smullyan
-
Juegos Por Siempre Misteriosos
Traduciendo el argumento de Gödel desde el dominio matemático al reino de los seres humanos y sus creencias. El autor explica las bases de las ideas de Gödel en un lenguaje comprensible para todos. Una abundante colección de acertijos sobre mentirosos y verídicos (knaves y knights) acompaña una descripción introductoria de la lógica simbólica y una explicación de cómo resolver grupos enteros de este tipo de enigmas. En los capítulos posteriores hay, por ejemplo el tema de The "Creencias autosuficientes". ¿Cómo puede una simple creencia convertirse en una convicción de que es verdadera a través de una proposición particular? ¿Es un fenómeno religioso? Smullyan explica cómo estos sistemas de creencias se relacionan con importantes sistemas matemáticos y, finalmente, con la "semántica de mundos posibles", iniciada por Leibniz y perfeccionada por el lógico Saul Kripke.
-
Bosques Curiosos Y Pajaros Aristocraticos
El bullicioso bosque de curry El sociólogo forestal de los pájaros planteó al inspector Craig su problema. «En este bosque -decía el profesor-, ciertos pájaros cantan en ciertos días, he decidido descubrir lo que los pájaros cantan en qué días a través de una ley general, pero hasta hoy no he encontrado ese principio unificador. Leyes que me dan una información parcial, pero no veo cómo puedo determinar de ellas qué pájaros cantan en qué días. Debe haber una sola ley general que unifique estas cuatro. ¿Puedes ayudarme? Puedo -dijo Craig. -¿Cuáles son las cuatro leyes? "Bueno, tenemos un pájaro muy especial aquí. P: No conozco su clase pero eso no importa. Es importante que dadas dos aves, cualquier xey, -igual o diferente- valen las siguientes leyes: Ley 1 : Sí y canta un día determinado, 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 un día dado, entonces y canta Ese día Ley 4: para cada pájaro x, hay un pájaro y tal que canta en los días en que Pxy canta y sólo en esos días ¿Puede el inspector Craig averiguar cuál es esa gran ley? (Solución en la página 23)