How to Solve It
1957
RS
RS
Raymond Smullyan
estadounidense
Raymond Smullyan fue un matemático, lógico y mago estadounidense, conocido por sus trabajos en lógica y por sus ingeniosos acertijos y paradojas. Es relevante por su capacidad para hacer accesibles conceptos complejos a través del humor y la creatividad.
Obras en el archivo
20 títulos
Teoría de la Recursión
1961·filosofia
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.
Forever Undecided
1961
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.
Teoría de la Computabilidad
1961·filosofia
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.
Elementos de lógica y teoría de modelos
1968·filosofia
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.
Elementos de Lógica Matemática y Teoría de la Computación
1968·filosofia
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.
The Lady or the Tiger?
1972
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.
What Is the Name of This Book?
1978
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.
The Mind's I
1981
Sobre el teorema de la incompletitud de Gödel
1992·divulgacion
Este libro ofrece una explicación clara y concisa de los teoremas de incompletitud de Gödel, haciéndolos accesibles a un público más amplio. Utiliza acertijos lógicos ingeniosos para ilustrar conceptos complejos relacionados con la indecidibilidad y la autorreferencia.
Socratic Logic
1998
Socratic Logic es un enfoque innovador para enseñar lógica a través de diálogos socráticos, donde se combinan humor, juegos de palabras y paradojas para iluminar conceptos lógicos complejos.
Autores relacionados
Aparecen junto a Raymond Smullyan en búsquedas del archivo