Burlarse de un ruiseñor y otros acertijos de lógica: incluir una aventura asombrosa en lógica combinatoria (1985, ISBN 0-19-280142-2 ) es un libro del matemático y lógico Raymond Smullyan . Contiene muchos acertijos recreativos no triviales del tipo por los que Smullyan es bien conocido. También es una introducción amable y humorística a la lógica combinatoria y las metamatemáticas asociadas , construida sobre una elaborada metáfora ornitológica .
La lógica combinatoria, funcionalmente equivalente al cálculo lambda , es una rama de la lógica simbólica que tiene el poder expresivo de la teoría de conjuntos y con profundas conexiones con cuestiones de computabilidad y demostrabilidad . La exposición de Smullyan toma la forma de un relato imaginario de dos hombres que van a un bosque y discuten sobre los inusuales "pájaros" (combinadores) que encuentran allí (la observación de aves era un pasatiempo de uno de los fundadores de la lógica combinatoria, Haskell Curry , y otro fundador El nombre de Moisés Schönfinkel significa pájaro hermoso). Cada especie de pájaro del bosque de Smullyan representa un tipo particular de combinador que aparece en el tratamiento convencional de la lógica combinatoria. Cada pájaro tiene un llamado distintivo, que emite cuando escucha el llamado de otro pájaro. Por tanto, un canto inicial de ciertos "pájaros" da lugar a una secuencia en cascada de cantos de una sucesión de pájaros.
En lo profundo del bosque habita el ruiseñor, que imita a otras aves oyéndose a sí mismas. La cascada resultante de llamadas y respuestas se asemeja a los modelos abstractos de informática . Con esta analogía en la mano, se pueden explorar temas avanzados en la teoría matemática de la computabilidad , como la computabilidad de Church-Turing y el teorema de Gödel .
Si bien el libro comienza con acertijos simples, eventualmente pasa a la historia del inspector Craig de Scotland Yard, quien aparece en otros libros de Smullyan; viajando de bosque en bosque, aprendiendo de diferentes profesores sobre los diferentes tipos de aves. Comienza en cierto bosque encantado, luego va a un bosque sin nombre, luego al Bosque de Curry (llamado así por Haskell Curry), luego al Bosque de Russell, luego al Bosque Sin Nombre, luego al Bosque de Gödel y finalmente al Bosque Maestro. donde también responde La Gran Pregunta.