Bosques curiosos y pájaros aristocráticos: Juegos para imitar a un pájaro imitador (Desafíos Matemáticos nº 40860)

El celebérrimo inspector Craig protagoniza novedosas y también inusuales aventuras para saber mucho más intensamente los misterios de la lógica combinatoria: "Debo confesar que el tema me intriga de enorme manera. Pero quisiese comprender de qué manera, cuándo y por qué razón se produjo".

Hoy en día, tiene esenciales apps en computación y en IA (inteligencia artificial), pero las primeras indagaciones remontan a inicios de la década de 1920. Entre ellas aparecen los vanguardistas estudios de Shönfinkel, Curry, Fitch, Church, Kleene, Rosser y Turing.

Soluciona los interrogantes del inspector Craig, el lógico Fergusson y el instructor Griffin y comprenderás de qué forma es viable redactar programas informáticos en términos combinatorios. "Hay una correo biunívoca entre los pájaros del bosque de Griffin y todos y cada uno de los programas de computación, de forma que, si al pájaro x le corresponde el software X y al pájaro y le corresponde el software Y, entonces al pájaro xy le corresponderá el software XY. Indudablemente, a esto se refería el instructor Griffin en el momento en que mencionó que, dado cualquier programa de computación, se puede poner en correo con algún pájaro del bosque".