El libro de acertijos de Gödel: Acertijos, paradojas y demostraciones

Estos nuevos acertijos de lógica recreativos ofrecen entretenidas variaciones de los teoremas de incompletitud de Gödel, presentando ingeniosos desafíos relacionados con el infinito, la verdad y la demostrabilidad, la indecidibilidad y otros conceptos. Creados por el célebre lógico Raymond Smullyan, los acertijos no requieren conocimientos previos de lógica formal y deleitarán a lectores de todas las edades.
La selección de acertijos y paradojas, que consta de dos partes, comienza con el examen de la naturaleza del infinito y de algunos sistemas curiosos relacionados con el teorema de Gödel. Los tres primeros capítulos de la Parte II contienen teoremas de Gödel generalizados. La lógica simbólica se pospone hasta los tres últimos capítulos, que ofrecen explicaciones y ejemplos de aritmética de primer orden, aritmética de Peano y una prueba completa del célebre resultado de Gödel que involucra enunciados que no pueden probarse ni refutarse. El libro también incluye una animada mirada a la teoría de la decisión, más conocida como teoría de la recursión, que desempeña un papel vital en la informática.


Autor: Raymond M. Smullyan
Editorial: Dover Publications
Publicado: 19/09/2013
Páginas: 288
Tipo de encuadernación: Tapa blanda
Peso: 0,70 libras
Tamaño: 8,40 alto x 5,30 ancho x 0,70 profundo
ISBN13: 9780486497051
ISBN10: 0486497054
Categorías BISAC:
- Matemáticas | Recreaciones y juegos
- Juegos y actividades | General
- Matemáticas | Lógica

Acerca del Autor
Raymond Smullyan obtuvo su doctorado en la Universidad de Princeton y enseñó en Dartmouth, Princeton, la Universidad de Indiana y el Lehman College de Nueva York. Conocido por sus rompecabezas y juegos de lógica matemáticos y creativos, también fue concertista de piano y mago. Escribió más de una docena de libros de rompecabezas de lógica y textos sobre lógica matemática. Raymond Smullyan: El bromista alegre
Raymond Smullyan (1919-2017), matemático, lógico, mago, creador de extraordinarios rompecabezas, filósofo, pianista y hombre de muchas facetas. El primer libro de Dover de Raymond Smullyan fue First-Order Logic (1995). En los últimos años han aparecido varios de sus mágicos libros de rompecabezas de lógica y matemáticas: The Lady or the Tiger (2009); Satan, Cantor and Infinity (2009); una colección original, nunca antes publicada, King Arthur in Search of His Dog and Other Curious Puzzles (2010); y Set Theory and the Continuum Problem (con Melvin Fitting, también reimpreso por Dover en 2010). Más vendrán en los años siguientes.

En palabras del autor:
Recientemente, alguien me preguntó si creía en la astrología. Pareció algo perplejo cuando le expliqué que la razón por la que no lo hago es que soy Géminis.

Algunas personas siempre critican las afirmaciones vagas. Yo tiendo más bien a criticar las afirmaciones precisas: son las únicas que pueden ser correctamente etiquetadas como 'erróneas'. -- Raymond Smullyan

Este título no es retornable