Aún no tienes productos en tu cesta
El matemático y lógico combinatorio Haskell Curry, además de ser un especialista en la teoría de sistemasyprocesos formales, fue un ávido observador de pájaros. Motivado por la memoria del difunto profesor Curry, Raymond Smullyan eligió pájaros como objetos combinadores de algunas adivinanzas que aparecen en esta obra singular. La razón por la que el autor escogió lalógica combinatoria como tema central de su libro nofue la existencia de múltiples aplicaciones prácticas,sino su gran potencial de entretenimiento. Si bienesuna ciencia abstracta considerada altamente técnica,los objetos llamados combinadores presentados porSmullyan bajo la apariencia de caballeros veraces, bribones mentirosos o pájaros parlantes permiten introducirteorías fundamentales de la lógica moderna de formamuy accesible para el público en general. ¿Qué mejorpara un libro de misterios y acertijos?
Has añadido la cantidad máxima disponible.
El enigma de Drácula y otros pasatiempos lógicos.
Has añadido la cantidad máxima disponible.
¡Pocas cosas han estimulado tanto la imaginación como el infinito! Tiene todo tipo de propiedades curiosas que, al principio, parecen paradójicas, pero que luego, resultan no serlo. Como tal, provee un material para un libro de problemas de ingenio y paradojas. El Brujo y sus dos jóvenes aprendices Annabelle y Alexander te ofrecen aquí una excursión guiada por el infinito. Visitarán, por ejemplo, una isla donde robots parlanchines crean otros robots inteligentes y los programan para crear más robots, que a su vez crean nuevos robots inteligentes y así siguiendo, al infinito. A través de historias como ésta, además de entretenerte con retos matemáticos, podrás conocer los descubrimientos pioneros del gran matemático y filósofo alemán Georg Cantor. El Brujo, en su típico estilo humorístico, finaliza con un cuento delicioso de cómo el propio Satán fue engañado por un astuto estudiante de Cantor. Incluso el neófito podrá comprender la naturaleza del infinito, la contribución sorprendente de Cantor (fue el primero en colocar el tema del infinito sobre una base lógicamente firme) y una descripción de lo que podría ser el problema matemático más grande de todos los tiempos que, aún hoy, ¡sigue sin solución!
Has añadido la cantidad máxima disponible.
En esta extraordinaria parodia de Las mil y una noches, Raymond Smullyan te transportará a un mundo misterioso en el que Sherezade, una joven encantadora y de un ingenio lógico fantástico, está en peligro de perder su cabeza al amanecer. En la crispante penumbra del harén, Sherezade tienta al monarca a postergar su ejecución planteándole los enigmas lógicos y matemáticos más deliciosamente tortuosos que jamás se hayan inventado. Éstos les mantienen ocupados durante muchas noches y así, mientras el rey trata de adivinar la respuesta, la doncella se mantiene a salvo. El enigma de Sherezade incluye maravillosas adivinanzas antiguas y un total de 225 acertijos originales, verdaderamente diabólicos. Hay trucos lógicos y juegos con cifras, metaproblemas, ejercicios de verdad y mentira, rompecabezas intrincados a la manera de Gödel, paradojas dificilísimas, además de una excursión a un nuevo campo de la lógica inventado por Smullyan, llamado lógica coactiva, en el cual la respuesta a un problema en realidad puede modificar el destino del que lo resuelve. Cualquier lector postergará sus propósitos ante los desafíos lógicos de esta bella muchacha.
Has añadido la cantidad máxima disponible.
El celebérrimo inspector Craig protagoniza nuevas e insólitas aventuras para conocer más a fondo los secretos de la lógica combinatoria: «Debo confesar que eltema me intriga enormemente. Pero quisiera saber cómo,cuándo y por qué se originó». En la actualidad, tieneimportantes aplicaciones en computación y en inteligencia artificial, pero las primeras investigacionesremontan a principios de la década de 1920. Entre ellasfiguran los pioneros estudios de Shönfinkel, Curry,Fitch, Church, Kleene, Rosser y Turing. Resuelve losacertijos del inspector Craig, el lógico Fergussonyel profesor Griffin y entenderás cómo es posible escribirprogramas informáticos en términos combinatorios. «Existe una correspondencia biunívoca entre lospájarosdel bosque de Griffin y todos los programas de computación, de tal modo que, si al pájaro x le correspondeel programa X y al pájaro y le corresponde el programa Y, entonces al pájaro xy le corresponderáel programa XY. Seguramente, a esto se refería el profesorGriffin cuando dijo que, dado cualquier programa decomputación, se puede poner en correspondencia con algún pájaro del bosque».
Has añadido la cantidad máxima disponible.
En busca de Arthur York El inspector Craig de Scotland Yard fue llamado a la Isla de los Caballeros y los Bribones, dónde los caballeros sólo hacen enunciados verdaderos mientras que los bribones sólo hacen en un ciados falsos, para ayudar a encontrar a un criminal llamado Arthur Yo rk. Fue un proceso difícil porque no se sabía si Arthur York era un ca ballero o un bribón.Un sospechoso fue arrestado y llevado a juicio. El inspector Craig presidió la sesión. He aquí una transcripción de la a udiencia:Craig: - ¿Qué sabe sobre Arthur York?Acusado: -Arthur York af irmó una vez que era un bribón.Craig: - Por casualidad, ¿usted es Arth ur York?Acusado: - Sí.¿Es realmente Arthur York el acusado?(Solución e n página 73)
Agotado ahora
Has añadido la cantidad máxima disponible.