El matemático y lógico combinatorio Haskell Curry, además de ser un especialista en la teoría de sistemas y procesos 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ó la lógica combinatoria como tema central de su libro no fue la existencia de múltiples aplicaciones prácticas, sino su gran potencial de entretenimiento. Si bien es una ciencia abstracta considerada altamente técnica, los objetos llamados combinadores presentados por Smullyan bajo la apariencia de caballeros veraces, bribones mentirosos o pájaros parlantes permiten introducir teorías fundamentales de la lógica moderna de forma muy accesible para el público en general. ¿Qué mejor para un libro de misterios y acertijos?

Raymond Smullyan, lógico, matemático, filósofo, mago y humorista, domina genialmente el arte de plantear con divertidos acertijos arduos problemas de matemática, de lógica y de filosofía.
"Alicia en el país de las adivinanzas" es una recreación lógico-matemática de los inmortales personajes de los cuentos "Alicia en el País de las Maravillas" y "Alicia a través del Espejo". Parodiando el estilo de Lewis Carroll, la Tortuga y el Grifo, el par de gemelos Tweedledee y Tweedledum, los Reyes de Corazones, el pedante huevo Humpty Dumpty y el Caballero Blanco provocan la curiosidad de Alicia exponiéndole una serie de problemas de álgebra, de lógica y de metalógica, para terminar con un abigarrado surtido de paradojas filosóficas. "Nadie puede leer este libro", escribe el matemático Martin Gardner en la introducción, "sin plantearse aún más el misterio del ser, la dificultad de distinguir lo verdadero de lo falso, o lo real de lo irreal." Raymond Smullyan es también autor de otros libros de juegos lógicos, "¿Cómo se llama este libro?", "¿La dama y el tigre?" y "5.000 años a. de C. y otras fantasías filosóficas".

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 el tema me intriga enormemente. Pero quisiera saber cómo, cuándo y por qué se originó». En la actualidad, tiene importantes aplicaciones en computación y en inteligencia artificial, pero las primeras investigaciones remontan a principios de la década de 1920. Entre ellas figuran los pioneros estudios de Shönfinkel, Curry, Fitch, Church, Kleene, Rosser y Turing. Resuelve los acertijos del inspector Craig, el lógico Fergusson y el profesor Griffin y entenderás cómo es posible escribir programas informáticos en términos combinatorios. «Existe una correspondencia biunívoca entre los pájaros del bosque de Griffin y todos los programas de computación, de tal modo que, si al pájaro x le corresponde el 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 profesor Griffin cuando dijo que, dado cualquier programa de computación, se puede poner en correspondencia con algún pájaro del bosque».