30 dic 1930 anni - Kurt Gödel- Lenguajes formales basados en operaciones aritméticas
Descrizione:
Kurt Gödel publicó un documento sobre los lenguajes formales basados en operaciones aritméticas. Lo usó para codificar arbitrariamente sentencias y pruebas formales, y mostró que los sistemas formales, como las matemáticas tradicionales, son inconsistentes en un cierto sentido, o que contienen sentencias improbables pero ciertas. Sus resultados son fundamentales en las ciencias teóricas de la computación.Aggiunto al nastro di tempo:
Data:
30 dic 1930 anni
Adesso
~ 94 years ago