El Entscheidungsproblem de Hilbert y el sueño de decidirlo todo
David Hilbert planteó si existe un procedimiento finito para decidir la verdad de cualquier enunciado matemático; la respuesta negativa abrió la teoría de la computación.
1 artículos
Hilbert
Índice de etiquetas editoriales y cobertura filtrada.