TY - BOOK AU - Fresán,Javier TI - El sueño de la razón : : la lógica matemática y sus paradojas T2 - El mundo es matemático SN - 9788447369720 PY - 2010/// CY - s.l. : PB - RBA, KW - LÓGICA KW - MATEMÁTICA N1 - Cap.1. El método Axiomático. -- Cap.2. Las paradojas. -- Cap.3. El Programa de Hilbert. -- Cap.4. Los teoremas de Gódel. -- Cap.5. Las Maquinas de Turing. -- Cap.6. Bien acaba lo que no acaba ER -