Mock a Mockingbird and Other Logic Puzzles: Incluyendo 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 el que Smullyan es bien conocido. También es una introducción suave y humorística a la lógica combinatoria y las metamatemáticas asociadas, construida sobre una metáfora ornitológica elaborada.
Autor | Raymond Smullyan |
---|---|
País | Estados Unidos |
Idioma | inglés |
Editor | Knopf |
Fecha de publicación | 1985 |
Tipo de medio | Imprimir ( tapa blanda ) |
Paginas | 246 |
ISBN | 0-19-280142-2 |
OCLC | 248314322 |
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 tiene conexiones profundas con cuestiones de computabilidad y demostrabilidad . La exposición de Smullyan toma la forma de un relato imaginario de dos hombres que se adentran en 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 Moses Schönfinkel significa pájaro hermoso). Cada especie de ave 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 una llamada distintiva, que emite cuando escucha la llamada de otro pájaro. Por tanto, una llamada inicial de ciertos "pájaros" da lugar a una secuencia de llamadas en cascada por una sucesión de pájaros.
En lo profundo del bosque habita el ruiseñor, que imita a otras aves que se escuchan a sí mismas. La cascada resultante de llamadas y respuestas se asemeja a modelos abstractos de computación . 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 cambia a la historia del inspector Craig de Scotland Yard, que aparece en los 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 Russel, luego al bosque sin nombre, luego al bosque de Gödel y finalmente al bosque maestro. donde también responde La Gran Pregunta.
Ver también
enlaces externos
- Keenan, David C. (2001) " Diseccionar un ruiseñor " .
- Rathman, Chris, " Combinator Birds " .