Burlarse de un ruiseñor

To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic (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 el 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 , construidas 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 los "pájaros" inusuales (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, Moses Schönfinkel, el nombre de significa hermosa chispa (o posiblemente hermoso pinzón pequeño ). Cada especie de pájaro en el 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 lo tanto, un llamado inicial de ciertos "pájaros" da lugar a una secuencia en cascada de llamados de una sucesión de pájaros.

En lo profundo del bosque habita el sinsonte, que imita a otros pájaros escuchándose a sí mismos. La cascada de llamadas y respuestas resultantes es análoga a los modelos abstractos de computación . Con esta analogía en la mano, uno puede explorar temas avanzados en la teoría matemática de la computabilidad , como la computabilidad de Church-Turing y el teorema de Gödel .

Aunque el libro comienza con acertijos sencillos, finalmente pasa a una historia sobre el inspector Craig de Scotland Yard, que aparece en otros libros de Smullyan; viaja de bosque en bosque, aprendiendo de diferentes profesores sobre todos los diferentes tipos de aves. Comienza en un 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 a la Gran Pregunta.

Véase también

Enlaces externos

Keenan, David C. (2001) "Diseccionar un ruiseñor".
Rathman, Chris, "Aves combinadoras".