En algunas ocasiones las existencias pueden estar erróneas o no se lo podremos conseguir en el plazo señalado. Confiamos en su comprensión y le agradecemos la confianza depositada. Esperamos no defraudarle.
Trasladando el argumento de Gödel del 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 veraces (bribones y caballeros) acompaña una descripción introductoria de la lógica simbólica y una explicación de la forma de resolver grupos enteros de este tipo de acertijos. En los capítulos posteriores se encuentra, por ejemplo el tema de las "creencias autosuficientes". ¿Cómo puede una mera creencia convertirse en una convicción de que es cierta a través de determinada proposición? ¿Acaso se trata aquí de un fenómeno religioso? Smullyan explica cómo esos sistemas de creencias se relacionan con importantes sistemas matemáticos y, finalmente con la "semántica de los mundos posibles", iniciada por Leibniz y perfeccionada por el lógico Saul Kripke.
Este sitio web sólo utiliza cookies propias. Puedes configurar la utilización de cookies u obtener más información aquí
Más información sobre el uso de "cookies" y sus opciones de privacidad
Este sitio web utiliza cookies propias que se detallan a continuación en el panel de configuración.
A través del mismo, puede aceptar o rechazar de forma diferenciada el uso de cookies, que están clasificadas en función del servicio. En cada uno de ellos encontrará información adicional sobre sus cookies. Puede encontrar más información en la Política de cookies.
Estrictamente necesarias (técnicas):
Se usan para actividades que son estrictamente necesarias para gestionar o prestar el servicio que usted nos ha solicitado y, por tanto, no exigen su consentimiento.
