Raymond Smullyan

Un texto que introduce la lógica matemática de manera didáctica y gradual, comenzando con la lógica proposicional y de predicados, para luego adentrarse en la completitud y la consistencia. Utiliza un estilo claro y muchos ejemplos para guiar al lector en la construcción de argumentaciones formales.

Este texto aborda la teoría de la computabilidad desde una perspectiva que combina la lógica matemática y la ciencia de la computación, explorando funciones recursivas, teoremas de incompletitud y problemas irresolubles.

En 'Forever Undecided', Raymond Smullyan explora la lógica y la filosofía a través de una serie de acertijos y dilemas, invitando al lector a reflexionar sobre decisiones, verdades y la naturaleza de la duda.

Un texto riguroso que profundiza en la teoría de la recursión, un pilar de la computabilidad, presentando el material con una claridad y elegancia distintivas. Smullyan es conocido por sus libros de lógica y acertijos.

Una introducción muy clara y rigurosa a los conceptos básicos de la lógica matemática y los sistemas axiomáticos, empleando un enfoque gradual y con abundancia de ejemplos y demostraciones claras.

Un libro que explora la lógica proposicional, la lógica de predicados y la teoría de la computabilidad, a menudo utilizando un estilo expositivo único con rompecabezas y parábolas.

Este libro introduce los fundamentos de la lógica matemática y la teoría de modelos de una manera clara, haciéndolos accesibles incluso para aquellos sin un fuerte bagaje matemático previo. Explora temas como la completitud, la compacidad y los teoremas de Löwenheim-Skolem.

Introduce la lógica de primer orden y la lógica proposicional de manera rigurosa y accesible, utilizando el sistema de tablero analítico para las demostraciones.

En este ingenioso cuento, el protagonista se enfrenta a una decisión crucial entre dos puertas: detrás de una hay una dama y detrás de la otra, un tigre. La elección involucra elementos de lógica y moralidad.

Una obra ingeniosa que invita al lector a explorar y resolver acertijos lógicos, a menudo a través de historias sobre detectives y paradojas, desafiando la naturaleza del conocimiento y la lógica misma.

Raymond Smullyan presenta una serie de rompecabezas lógicos y paradojas que, a primera vista, parecen simples pero requieren un pensamiento combinatorio y deductivo profundo para su solución, revelando la belleza de las matemáticas.

Un maestro lógico y filósofo nos invita a explorar enigmas matemáticos y paradojas lógicas que desafían nuestras suposiciones sobre la verdad, la certeza y la razón, presentados de forma amena.

Smullyan, un lógico y matemático reconocido, presenta los fundamentos de la lógica matemática de una manera accesible, y de ahí transita hacia implicaciones en la teoría de la computación y la inteligencia artificial, a menudo utilizando acertijos y paradojas.