Fechar
PRINCIPALES APORTACIONES
KURT GÖDEL EN LA LÓGICA
EL TEOREMA DE INCOMPLETITUD (1931)
Primer teorema de Gödel
Un segundo teorema de Gödel
TECNICA "NUMERACION DE GÖDEL
Para demostrar este teorema desarrolló una técnica denominada numeración de Gödel, el cual codifica expresiones formales como números naturales
Ya establecido en EE.UU
PRESENTA
DOS IMPORTANTES TRABAJOS
CONSISTENCIA DEL AXIOMA DE ELECCIÓN
Este
importante resultado fue obtenido por Kurt Gödel en 1940
LA HIPOTESIS DEL CONJUNTO GENERALIZADO
(1940)
EN 1931 KURT GÖDEL DEMOSTRO con
EL TEOREMA DE INCOMPLETITUD
Lo anterior implicó en su momento:
IMPORTANTE APORTACIÓN
