https://www.imosver.com/gl/libros/obras-completas-02799801650279980165Obras completas27.5La casi mítica fama de Kurt G"del entre lógicos, matemáticos y filósofos descansa en tres logros de importancia excepcional: en 1930 probó la suficiencia del cálculo lógico de primer orden; en 1931 prhttps://static.serlogal.com/imagenes_small/9788420/978842064773.jpgLibrosLibros/MATEMATICASSin stock temporalmenteALIANZA000https://static.serlogal.com/imagenes_small/9788420/978842064773.jpg0010770237001019450228.9551.452006/06/069788420647739Godel, KurtLibrosaño_2006idioma_CastelánCformato_Tapa blanda o Bolsilloautor_Godel, Kurtsaga_SIN COLECCION
Este tipo de cookies permiten ao usuario a navegación a través dunha páxina web, plataforma ou aplicación e a utilización das diferentes opcións ou servizos que nelas existan.
imosverlaravel_session
Descrición
Esta cookie é necesaria para que o sitio web funcione e non se pode desactivar nos nosos sistemas.
Duración
Sesión
Dependencias
Dominio
imosver.com
OCT8NE
Descrición
Esta cookie utilízase para o correcto funcionamento do Chat de Oct8ne para prestar o servizo de atención ao cliente ao usuario.
Son aquelas que posibilitan o seguimento e análise do comportamento dos usuarios na nosa páxina. A información recollida utilízase para a medida da actividade dos usuarios na web e a elaboración de perfís de navegación dos usuarios.
_clsk
Descrición
Rexistra datos estatísticos do comportamento do visitante na web. Isto utilízase para análises internas por parte do operador da web.
Duración
1 ano
Dependencias
_clsk,MUID,_clck
Dominio
logglytrackingsession
Descrición
Identifica e rexistra a sesión do usuario con fins analíticos.
Duración
Sesión
Dependencias
Dominio
.imosver.com
GOOGLE_ANALYTICS
Descrición
Rexistra unha identificación única que se utiliza para xerar datos estatísticos sobre como utiliza o visitante o sitio web.
Duración
1 ano
Dependencias
Dominio
.imosver.com
Son aquelas que nos permiten adaptar a navegación na nosa páxina web ás súas preferencias (por exemplo, idioma, navegador utilizado, etc.).
_fbp
Descrición
Utilizado por Facebook para ofrecer unha serie de produtos publicitarios, como ofertas en tempo real de terceiros anunciantes.
La casi mítica fama de Kurt G"del entre lógicos, matemáticos y filósofos descansa en tres logros de importancia excepcional: en 1930 probó la suficiencia del cálculo lógico de primer orden; en 1931 probó que todo sistema formal que contenga un poco de aritmética es necesariamente incompleto y que es imposible probar su consistencia con sus propios medios; y en 1938-1939 probó la consistencia relativa del axioma de elección y la hipótesis del continuo respecto de los demás axiomas de la teoría de conjuntos. Pero sus artículos y trabajos, de una concisión legendaria y de una incomparable densidad intelectual, no siempre resultan fáciles de consultar, pues se encuentran desperdigados en publicaciones, actas y revistas de varios países. Estas Obras completas reúnen la totalidad de los escritos de G"del hasta ahora publicados. Ordenados cronológicamente, cada uno de ellos va precedido de una breve introducción de Jesús Mosterín, que los sitúa en su contexto más general y a veces los resume someramente.