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.
No hay comentarios.:
Publicar un comentario