Bosques Curiosos Y Pajaros Aristocraticos

El celeberrimo inspector Craig protagoniza nuevas e insolitas aventuras para conocer mas a fondo los secretos de la logica combinatoria: ´Debo confesar que el tema me intriga enormemente. Pero quisiera saber como, cuando y por que se origino´. En la actualidad, tiene importantes aplicaciones en computacion y en inteligencia artificial, pero las primeras investigaciones remontan a principios de la decada de 1920. Entre ellas figuran los pioneros estudios de Shonfinkel, Curry, Fitch, Church, Kleene, Rosser y Turing. Resuelve los acertijos del inspector Craig, el logico Fergusson y el profesor Griffin y entenderas como es posible escribir programas informaticos en terminos combinatorios. ´Existe una correspondencia biunivoca entre los pajaros del bosque de Griffin y todos los programas de computacion, de tal modo que, si al pajaro x le corresponde el programa X y al pajaro y le corresponde el programa Y, entonces al pajaro xy le correspondera el programa XY. Seguramente, a esto se referia el profesor Griffin cuando dijo que, dado cualquier programa de computacion, se puede poner en correspondencia con algun pajaro del bosque´.