Comment by yters

Will differential programming be able to solve the halting problem?