El celebérrimo inspector Craig protagoniza nuevas e insólitasaventuras para conocer más a fondo los secretos de la lógicacombinatoria: «Debo confesar que el tema me intriga enormemente. Peroquisiera saber cómo, cuándo y por qué se originó».En la actualidad, tiene importantes aplicaciones en computación y eninteligencia artificial, pero las primeras investigaciones remontan aprincipios de la década de 1920. Entre ellas figuran los pionerosestudios de Sh"nfinkel, Curry, Fitch, Church, Kleene, Rosser yTuring.Resuelve los acertijos del inspector Craig, el lógico Fergusson y elprofesor Griffin y entenderás cómo es posible escribir programasinformáticos en términos combinatorios. «Existe una correspondenciabiunívoca entre los pájaros del bosque de Griffin y todos losprogramas de computación, de tal modo que, si al pájaro x lecorresponde el programa X y al pájaro y le corresponde el programa Y,entonces al pájaro xy le corresponderá el programa XY. Seguramente, aesto se refería el profesor Griffin cuando dijo que, dado cualquierprograma de computación, se puede poner en correspondencia con algúnpájaro del bosque».
