000			04372nam a22003497a 4500
003			OSt
005			20241030144958.0
008			241003b |||||||| |||| 00| 0 eng d
015			_aB.44745-2002
020			_a84-7432-030-5
040			_aBiblioteca Especializada de Derecho _bBiblioteca Especializada de Derecho _cs-pa _eRDA _ds-pa
043			_as-esp
082			_221 _a790.01
092			_a790.01 _SSM666b
100			_aSmullyan, Raymond _eAutor _95053
242			_aThis translation published by arrangement with Alfret A. Knopf, inc.
245			_aBosque curiosos y pájaros aristocráticos: _bJuegos para imitar a un pájaro imitador II _nVolumen II
250			_aPrimera Edición
260			_aBarcelona - España; _b"gedisa" Editorial _c2002
300			_a157 páginas; _bTapa flexible. _c19 x 13 centímetros; _fImpreso _gPequeño
336			_2rdaconten _atexto _btxt
337			_2rdamedio _ano mediado _bn
338			_2Volumen _anc
505			_a-- 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.
520			_aAntes 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).
521			_adirigido a los estudiantes, docentes de la carrera de Derecho.
650			_aDERECHO MEDIO AMBIENTE _95365
653			_aARISTOCRATICOS
653			_aDESCUBRIMIENTO
653			_aBOSQUES
942			_2ddc _cBK _n0 _e21
999			_c4492 _d4492