OBRAS COMPLETAS (GODEL)

Descripción

La casi mtica fama de Kurt Gdel entre lgicos matemticos y filsofos descansa en tres logros de importancia excepcional: en 1930 prob la suficiencia del clculo lgico de primer orden en 1931 prob que todo sistema formal que contenga un poco de aritmtica 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 eleccin y la hiptesis del continuo respecto de los dems axiomas de la teora de conjuntos. Pero sus artculos y trabajos de una concisin legendaria y de una incomparable densidad intelectual no siempre resultan fciles de consultar pues se encuentran desperdigados en publicaciones actas y revistas de varios pases. Estas Obras completas renen la totalidad de los escritos de Gdel hasta ahora publicados. Ordenados cronolgicamente cada uno de ellos va precedido de una breve introduccin de Jess Mostern que los sita en su contexto ms general y a veces los resume someramente.