Resumen de las principales aportaciones a la lógica del matemático Kurt Gödel
|
Created by LUIS RICARDO SALAZAR VARELA
over 3 years ago
|
|
Close
|
|
Created by LUIS RICARDO SALAZAR VARELA
over 3 years ago
|
|
Kurt Gödel
Lógico, matemático y filósofo austríaco
(1906-1978)
"El señor por qué”
Se interesó por la lógica matemática, "una ciencia anterior a todas las otras, que contiene las ideas y principios que subyacen a todas las ciencias", según dijo.
Revolución Godeliana. La incompletitud.
Hasta antes de 1900 las matemáticas se consideraron certeras e infalibles, pero para la fecha existían algunas inconsistencias en sus fundamentos y matemáticos que querían reestructurarlas para que siguieran siendo siempre acordes y libres de paradojas.
Gödel y sus aportaciones a la teoría de los conjuntos.
Gödel y la lógica intuicionista.
Gödel y la teoría de modelos.
Gödel y la física teórica
Trabajando en el campo de la teoría de la relatividad
Gödel y la filosofía
Función recursiva y teoría de la computabilidad
La prueba Ontólogica de Gödel
