Knowledge of unprovably true statements inspired key innovations in early computers.
El saber de la indecidibilidad en declaraciones verdaderas inspiró algunas innovaciones clave en las primeras computadoras.