para imitar un Mockingbird y otros rompecabezas de la lógica: Incluyendo una aventura asombrosa en la lógica combinatoria (1985, ISBN 0-19-280142-2) está un libro al lado del matemático y de Raymond Smullyan del lógico . Contiene muchos rompecabezas recreacionales no triviales de la clase para la cual Smullyan es bien sabido. Es también una introducción apacible y chistosa a la lógica combinatoria y al asociado Metamathematics, empleado una metáfora ornitológica elaborado .
La lógica combinatoria, funcionalmente equivalente al cálculo de la lambda, es una rama de la lógica simbólica que tiene la energía expresiva de la teoría determinada, y con las conexiones profundas a las cuestiones del computability y del provability . La exposición de Smullyan toma la forma de una cuenta imaginaria de dos hombres que van en un bosque y que discuten el " inusual; birds" (combinators) encuentran allí. Cada especie de pájaro en los soportes de bosque de Smullyan para una clase particular de Combinator que aparece en el tratamiento convencional de la lógica combinatoria. Cada pájaro tiene una llamada distintiva, que emite cuando oye la llamada de otro pájaro. Por lo tanto una llamada inicial por cierto " birds" da lugar a una secuencia de conexión en cascada de llamadas por una sucesión de pájaros. (La observación de pájaros era una manía del inventor de la lógica combinatoria, del curry de Haskell.)
Profundo dentro del bosque mora el Mockingbird, que repite detrás las llamadas del pájaro que oye. La cascada resultante de llamadas y de respuestas analogizes a los modelos abstractos de la computación. Con esta analogía a disposición, una puede explorar asuntos avanzados en la teoría matemática del computability, tal como Iglesia-Turing Computability y teorema de Gödel.
Ver también
Lógica combinatoriaCálculo del combinator del ESQUÍ
B, C, K, sistema de W
Combinator del punto fijo
Cálculo de la lambda
Rompecabezas
Lógica
La lógica desconcierta * matemáticas
Enigmas * paradojas
.
| Random links: | Acto del gato y del ratón | Inglaterra cuenta con que cada hombre haga su deber | Espantapájaros (novela) | Noticias de la comunidad del BI | Comunicaciones de proceso de Digitaces |