Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines. I /
El llamado "teorema de incompletud" de la matemática, descubierto por Kurt Gödel en 1931, constituye una de las más importantes conquistas científicas del pasado siglo XX. Su hallazgo ha significado una revolución de los fundamentos de la lógica y de la matemática tan importante como la in...
Clasificación: | QA248 G6.2318 |
---|---|
Autor principal: | Gödel, Kurt |
Otros Autores: | Garrido, Manuel, 1925-2015 (tr) |
Formato: | Libro |
Idioma: | Español Alemán |
Publicado: |
Oviedo :
KRK,
2006.
|
Temas: |
Ejemplares similares
-
Teoría de conjuntos, lógica y temas afines /
por: Fernández de Castro, Max
Publicado: (2013) -
El teorema de Gödel /
por: Nagel, Ernest, 1901-1985
Publicado: (2007) -
Gödel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2001) -
Gödel's proof /
por: Nagel, Ernest, 1901-1985
Publicado: (2005) -
Language and godels theorem : a revised edition.
por: Tice, Bradley S.
Publicado: (2012)