Gödel's proof / Ernest Nagel, James R. Newman; edited and with a new foreword by Douglas R. Hofstadter. - edición revisada - Universidad de San Buenaventura

Título

Gödel's proof / Ernest Nagel, James R. Newman; edited and with a new foreword by Douglas R. Hofstadter. - edición revisadaLibro / Impreso - Libros

Autor(es)

Nagel, Ernest, 1901-1985 (Autor)
Newman, James R., 1907-1966 (Autor)
Hofstadler, Douglas R., 1945- (Editor)

Publicación

New York, NY : New York University Press, c2001

Descripción Física

xxi, 129 p. ; rústica

Inglés;

ISBN

9780814758373

Clasificación(es)

511.3
MATEMATICAS Y ESTADISTICA

Materia(s)

Teorema de Godel; Lógica matemática; Gödel, kurt, 1906-1978;

Nota(s)

CONTENIDO: The problem of consistency
Absolute proofs of consistency
The systematic codification of formal logic
An example of a succesful absolute proof of consistency
The idea of mapping and its use in mathematics
Incluye referencias bibliográficas e indices

Ver en WorldCat

Catálogo Mundial - WorldCat

Ver en Google Books

Google Books

Disponibilidad

CodBarras	Localización	Estante	Signatura	Estado	Categoría

010088327	Biblioteca Fray Juan de Jesús Anaya Prada, O.F.M.	Segundo Piso	511.3 G581g	Disponible	7 días