Kurt Gödel and the foundations of mathematics : horizons of truth /

"This volume commemorates the life, work, and foundational views of Kurt Gödel (1906-1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency - with the other widely accepted axioms of set theory - of the axiom...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Baaz, Matthias (Editor ), Papadimitriou, Christos H. (Editor ), Putnam, Hilary W. (Editor ), Scott, Dana S. (Editor ), Harper Jr., Charles L. (ditor.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 2011.
Temas:
Gödel, Kurt.
Gödel, Kurt / Influence.
Gödel's theorem.
Mathematics > Philosophy.
Théorème de Gödel.
Mathématiques > Philosophie.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Acceso en línea:Texto completo

Ejemplares similares

Ejemplares similares