|
|
|
|
|
|
by umanwizard
705 days ago
|
|
|
Whether it’s possible to prove it halts or not is irrelevant. It either does halt, or not. Whether a human can prove that a function has a particular value doesn’t change whether that function is computable in the technical sense being used here. |
|
|