Title: Metamathematics, machines, and Gödel's proof
Subjects: Automatic theorem proving, Data processing, Gödel's theorem, Computer science, mathematics