El teorema de Löb
Creencias autosuficientes y sistemas matemáticos
Raymond Smullyan
¿En qué circunstancias puede la simple creencia en una proposición convertirse en convicción? ¿Acaso se trata aquí de un fenómeno religioso? El lógico M. H. Löb desarrolló un teorema que arroja luz sobre estas preguntas y que, además, se relaciona estrechamente con el teorema de la incompletitud de Gödel. Raymond Smullyan traslada los fundamentos básicos de ambos teoremas del dominio matemático a la psicología de los seres humanos y sus creencias y, a través de un lenguaje divulgativo y una colección de juegos extraordinariamente divertidos, te explica cómo la lógica modal y los sistemas de creencias de un razonador se relacionan con importantes sistemas matemáticos. La mayor parte de los problemas de este libro puede ser resuelta por personas que no tengan formación especial, aunque siempre se requiere la aplicación de un agudo ingenio. Finalmente, tendrás la posibilidad de familiarizarte y entretenerte con la semántica de los mundos posibles, iniciada por Leibniz y perfeccionada por el lógico Saul Kripke.
Raymond Smullyan
Raymond Smullyan fue un conocido matemático, filósofo, mago y humorista estadounidense, autor de numerosos libros de lógica y matemática recreativa, entre los cuales cabe destacar What is the Name of this Book? y A Beginner’s Further Guide to Mathematical Logic. Apasionado de la música y la magia, escribió también libros sobre ajedrez y filosofía taoísta.
Tema:
Matemáticas; Aritmética; Enigmas; Lógica; Semántica.
Conceptos clave:
Autores vinculados:
Smullyan, Raymond
Publico:
General, amantes de los desafíos matemáticos y los pasatiempos que combinan entretenimiento y aprendizaje.
IBIC:
WD/PB
Desafíos matemáticos
Código
040873
ISBN
9788419406828
16x23
Pág.
160
Rústica con solapas
P.V.P.
12,9000 €
Precio sin iva
12,4 €
18 junio 2024
|