Búsqueda por
palabras:
  • Paraula 1
  • Paraula 2
  • Paraula 3
  • Paraula 4
 Palabra exacta
Filtrar por
temas:
Filtrar por
autores:

GÖDEL, KURT (1906-1978)

Nac. en Brno (Checoslovaquia), se trasladó en 1924 a Viena, donde estuvo en relación estrecha con miembros del llamado «Círculo de Viena». Emigrado a los Estados Unidos, fue desde 1935 hasta su muerte miembro perma­nente del «Institute of Advanced Study», en Princeton (New Jersey). Entre sus contribu­ciones a la lógica matemática figuran: su teorema de la incompletitud con la prueba de que la teoría numérica elemental y cualquier lógica suficientemente rica para alojarla son o inconsistentes (véase Consistente) o incompletas (véase Completo); su teorema y la prueba de que no puede formalizarse una prueba de consistencia para todo sistema bien definido de axiomas a base de tales axiomas; y, finalmente, su demostración de que la hipótesis cantoriana del continuo es consistente con los demás axio­mas de la teoría de los conjuntos si estos axiomas son consistentes. Nos extendemos con más detalle sobre los dos primeros teo­remas en el

Este web utiliza "cookies" propias y de terceros para ofrecerle un mejor servicio, al navegar el usuario acepta su uso Más info
ACCEPTAR