Bosque curiosos y pájaros aristocráticos: Juegos para imitar a un pájaro imitador II Volumen II

-- AGRADECIMIENTOS. -- PREFACIO. -- PRIMERA PARTE. PÁJAROS QUE CANTAN. -- 1. El bullicioso bosque de Curry. -- 2. El bosque de Russell. -- 3. El bosque sin nombre. -- 4. El bosque de Gödel. -- SEGUNDA PARTE. EL BOSQUE MAESTRO. -- 5. El bosque maestro. -- 6. Pájaros aristocráticos. -- 7. El descubrimiento de Craig. TERCERA PARTE. EL PROBLEMA FUNDAMENTAL. --8. El principio del punto fijo. -- 9. Una mirada al infinito. --10. Pájaros lógicos. --11. Pájaros aritméticos. -- 12. ¿Hay algún pájaro ideal?. --EPÍLOGO.

Antes de decir de qué trata este libro, me gustaría relatar un delicioso episodio verídico. Poco después de la publicación de mi primer libro de adivinanzas -¿Cómo se llama este libro?-* recibí una carta de una mujer desconocida que sugería una solución alternativa a uno de mis acertijos, que me pareció más elegante que la que yo había dado. La carta terminaba con «Cariños» y el nombre de ella. Yo no tenía la menor idea de quién podía ser, ni sabía si era casada o soltera. Le respondí expresándole mi agrado por su solución y preguntándole si podía usarla en una edición posterior. También le sugerí que si aún no se había especializado en sus estudios universitarios, considerara la posibilidad de graduarse en matemática, ya que había mostrado un definido talento. Poco después, me contestó: <<Gracias por su amable carta. Tiene mi permiso para usar la solución. Tengo nueve años y medio y estoy en quinto grado. Le gustaban especialmente las adivinanzas sobre caballeros y bribones (veraces y mentirosos). De hecho, estas adivinanzas demostraron ser extremadamente populares tanto entre los jóvenes como entre los viejos y, por lo tanto, he dedicado los ocho primeros capítulos de este libro [publicado en esta versión castellana en dos volúmenes: Caballeros, bribones y pájaros egocéntricos y Bosques curiosos y pájaros aristocráticos] a nuevos acertijos de este tipo. Su dificultad varía desde lo extremadamente elemental a la muy sutil meta adivinanza del Capítulo 8 de Caballeros, bribones..., sobre la Fuente de la Juventud. (Cualquiera que resuelva esa adivinan- za merece ser ordenado Caballero.) El resto del libro se lanza en una dirección completamente distinta y se sumerge en aguas lógicas mucho más profundas que to- dos mis libros anteriores. El lector aprenderá de qué se trata la lógica combinatoria. Este tema notable está desempeñando un papel clave en ciencia de la computación y en inteligencia artificial, por lo que este libro es muy oportuno. (No lo planeé así; sólo tuve suerte.) Pese a su profundidad, este tema no es más difícil que el álgebra o la geometría de la escuela secundaria. Así como la ciencia de la computación ha encontrado ahora su camino en el currículum del secundario, tengo la esperanza de que la lógica combinatoria siga pronto el mismo camino. La lógica combinatoria es una ciencia abstracta que trata de objetos llamados combinadores. No es necesario decir qué son esos objetos; lo importante es que actúan entre sí. Se puede llamar combinadores a lo que uno quiera (por ejemplo, programas de computadora).

dirigido a los estudiantes, docentes de la carrera de Derecho.