Principales descubrimientos en la lógica matemática de Gödel
|
Created by CRISTINA ELIZABETH GARCIA REYES
about 4 years ago
|
|
Close
|
|
Created by CRISTINA ELIZABETH GARCIA REYES
about 4 years ago
|
|
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
