What is a digital computer? This thing that you and I are conversing on is a digital computer. So a digital computer program takes in integers and returns integers. A digital computer program, therefore, represents a Diophantine equation. The two of them proved, using very different techniques, that there was no general and finite solution to decidability.