Bosques curiosos y pajaros aristocraticos PDF
by Raymond Smullyan
- Information
Description
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 computación y en inteligencia artificial, pero las primeras investigaciones remontan a principios de la década de 1920.
Entre ellas figuran los pioneros estudios de Shönfinkel, Curry, Fitch, Church, Kleene, Rosser y Turing. Resuelve los acertijos del inspector Craig, el lógico Fergusson y el profesor Griffin y entenderás cómo es posible escribir programas informáticos en términos combinatorios. "Existe una correspondencia biunÃvoca entre los pájaros del bosque de Griffin y todos los programas de computación, de tal modo que, si al pájaro x le corresponde el programa X y al pájaro y le corresponde el programa Y, entonces al pájaro xy le corresponderá el programa XY.
Seguramente, a esto se referÃa el profesor Griffin cuando dijo que, dado cualquier programa de computación, se puede poner en correspondencia con algún pájaro del bosque".
Information
-
Download Now
- Format:PDF
- Publisher:Gedisa Editorial
- Publication Date:03/05/2021
- ISBN:9788418525568
Information
-
Download Now
- Format:PDF
- Publisher:Gedisa Editorial
- Publication Date:03/05/2021
- ISBN:9788418525568