Flashcards

Kurt Gödel

Eliana Guerrero English 8 cards

Cards in this deck (8)

1Kurt GödelNació en 1906 en Brunn (ahora República Checa).
Falleció en 1978 en Princeton (New Jersey).
21929 y 1931A la edad de 23 años obtuvo su doctorado con la tesis "Suficiencia del cálculo lógico de primer orden".
Con 25 años de edad publicó su logro principal el "Teorema de la incompletitud de Gödel".
31.- Reconocido por dar conferencias en la Universidad de Princeton.Publicó otro trabajo "Consistencia del axioma de elección y la hipótesis del continuo generalizada con los axiomas de la teoría de conjuntos" (1940).
42.- Su trabajo inició nuevas ramas de estudio de la lógica-matemática.3.- Todo sistema axiomático tiene postulados o axiomas cuya certeza o falsedad será imposible demostrar.
54.- Ningún sistema de representaciones es reducible a5.- El teorema Gödel implica que las computadoras nunca podrán ser programadas para contestar toda pregunta matemática.
66.- La deducción formal no puede ser de certeza matemática.7.- Demostró que no existe peligro en tomar la hipótesis del continuo como un axioma de la Teoría de conjuntos, sin que aparezca contradicción alguna.
78.- La prueba modal que Gödel utilizó para probar la existencia de Dios (ser superior), fue probada en una Mac, para demostrar que una tecnología avanzada puede ayudar a la ciencia.9.- Cualquier sistema matemático debe ser más completo que el previsto por David Gilbert, que solo suponía la deducción formal.
810.- Las matemáticas no son un objeto finito.Gracias.

Description: Flashcards on Kurt Gödel, created by Eliana Guerrero on 20/09/2020.
Created by: Eliana Guerrero
Views: 4
Rating