alt text
Add to favourites

OBRAS COMPLETAS

GODEL, KURT

VAT included

Description
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 e s necesariamente incompleto y que es imposible probar su consistencia con sus propios medios/ y en 1938-1939 probó la consistencia r elativa del axioma de elección y la hipótesis del continuo respecto de los demás axiomas de la teoría de conjuntos. Estas Obras comp letas re...[Read more]

Status: With stock

Availability

For your convenience, you can request the collection of this copy at any of our physical stores. The information on availability in e-commerce does not imply the existence of physical stock in the store.

To check the stock in a physical store, you can contact any of our stores.

DetailsALIANZA EDITORIAL
2006
469 Pages
Format: Rústica
ISBN: 9788420647739
Language: CASTELLANO
Translator: MOSTERÍN DE LAS HERAS, JESÚS
Category: Maths

THEMES