Libro Juegos Por Siempre Misteriosos PDF
Traduciendo el argumento de Gödel desde el dominio matemático al reino de los seres humanos y sus creencias. El autor explica las bases de las ideas de Gödel en un lenguaje comprensible para todos. Una abundante colección de acertijos sobre mentirosos y verídicos (knaves y knights) acompaña una descripción introductoria de la lógica simbólica y una explicación de cómo resolver grupos enteros de este tipo de enigmas. En los capítulos posteriores hay, por ejemplo el tema de The "Creencias autosuficientes". ¿Cómo puede una simple creencia convertirse en una convicción de que es verdadera a través de una proposición particular? ¿Es un fenómeno religioso? Smullyan explica cómo estos sistemas de creencias se relacionan con importantes sistemas matemáticos y, finalmente, con la "semántica de mundos posibles", iniciada por Leibniz y perfeccionada por el lógico Saul Kripke.
Raymond M. Smullyan
