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.
Heyo, Nik here! I just wanted to tell you that I made a free, 5-day email course based on Write Like A Pro, my flagship writing course. I tested the lessons with several thousand readers, and, so far, they've all resonated well. I'm trying to build a proper, evergreen funnel for the premium course, full of quality writing advice and great resources. This is only version 1.0, but the advice is rock solid.