Editorial Gedisa
Colección DESAFÍOS MATEMÁTICOS, Número 0
Lugar de edición
Barcelona
Fecha de edición mayo 2021 · Edición nº 1
Idioma español
EAN 9788418525551
160 páginas
Libro
encuadernado en tapa blanda
Dimensiones 160 mm x 230 mm
El celebérrimo inspector Craig protagoniza nuevas e insólitas aventuras para conocer más a fondo los secretos de la lógica combinatoria: Debo confesar que el tema me intriga enormemente.
Pero quisiera saber cómo, cuándo y por qué se originó .
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 .
Raymond Smullyan fue un conocido matemático, filósofo, mago y humorista estadounidense, autor de numerosos libros de lógica y matemática recreativa, entre los cuales cabe destacar x{0026}lt;i What is the Name of this Book?x{0026}lt;/i y x{0026}lt;i A Beginnerx{0026} x02019;s Further Guide to Mathematical Logicx{0026}lt;/i . Apasionado de la música y la magia, escribió también libros sobre ajedrez y filosofía taoísta.
|