ISBN: 9788420647739
Editorial: Alianza
Autor: Godel, Kurt
Año de edición: 2006
Edición: 1
N° Páginas: 469
Tipo de pasta: Pasta blanda
Descripción: 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 cons
- Idioma: Español
- Libro original impreso
- Nuevo y sellado
