OBRAS COMPLETAS
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...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: CASTELLANOTranslator: MOSTERÍN DE LAS HERAS, JESÚS
Category: Maths