|
|
|
|
|
|
by chuckadams
714 days ago
|
|
|
I actually like the symbol phrasing, it's more general than halting. You can't prove that any arbitrary program that can be in state X will ever actually reach state X. Besides, I feel like https://xkcd.com/1266/ is relevant :) |
|
|