CABALLEROS, BRIBONES Y PÁJAROS EGOCÉNTRICOS. EJERCICIOS DE LÓGICA COMBINATORIA

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?