Principales descubrimientos en la lógica matemática de Gödel
|
Criado por CRISTINA ELIZABETH GARCIA REYES
aproximadamente 4 anos atrás
|
|
Fechar
|
|
Criado por CRISTINA ELIZABETH GARCIA REYES
aproximadamente 4 anos atrás
|
|
KURT GÖDEL
ESTUDIOS Y APORTACIONES
SU INTERES POR LA LÓGICA MATEMÁTICA
Establecido en EE: U.U. En 1938 PRODUJÓ 2 TRABAJOS IMPORTANTES
TEOREMA DE LA INCOMPLETITUD DE LA ARITMETICA
(1931)
PRIMER TEOREMA DE GÖDEL
TÉCNICA NUMERACIÓN DE GÖDEL
SEGUNDO TEOREMA DE GÖDEL
NUMERACIÓN DE GÖDEL
Aportación que ayudo a los creadores de lenguaje de programación.
TEOREMA DE COMPLETITUD DE DEL CÁCULO DE PREDICADOS DE PRIMER ORDEN
TEORIA DE COLECCIONES DE OBJETOS
GÖDEL Y SU TRABJO EN EL CAMPO DE LA RELATIVIDAD
