1 déc. 1929 - Vannevar Bush
Description:
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.Ajouté au bande de temps:
Date:
1 déc. 1929
Maintenaint
~ Il y a 95 ans