Raymond Smullyan

Bosques curiosos y pájaros aristocráticos (eBook, PDF)

Juegos para imitar a un pájaro imitador

• Format: PDF

Produktbeschreibung

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".

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Gedisa Editorial
• Seitenzahl: 160
• Erscheinungstermin: 3. Mai 2021
• Spanisch
• ISBN-13: 9788418525568
• Artikelnr.: 61689948

Autorenporträt

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 What is the Name of this Book? y A Beginner's Further Guide to Mathematical Logic. Apasionado de la música y la magia, escribió también libros sobre ajedrez y filosofía taoísta.