Lógica de Primer Orden

Este estudio autónomo es tanto una introducción a la teoría de la cuantificación como una exposición de nuevos resultados y técnicas en métodos "analíticos" o "libres de cortes". Se centra en el punto de vista de los tableaux. Incluye 144 ilustraciones.

Autor: Raymond M. Smullyan, Mathematics
Editorial: Dover Publications
Publicado: 30/01/1995
Páginas: 176
Tipo de encuadernación: Tapa blanda
Peso: 0.38 libras
Tamaño: 8.48h x 5.42w x 0.39d
ISBN13: 9780486683706
ISBN10: 0486683702
Categorías BISAC:
- Matemáticas | Lógica

Sobre el 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ática y creativa, 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 rompecabezas extraordinarios, filósofo, pianista y hombre de muchas facetas. El primer libro de Dover de Raymond Smullyan fue First-Order Logic (1995). Los últimos años han traído varios de sus mágicos libros de lógica y rompecabezas matemáticos: 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 subsiguientes.

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 'incorrectas'." -- Raymond Smullyan

Este título no es retornable