Comment by layer8
There is a truth of the matter regarding whether a program will eventually halt or not, even when there is no computable proof for either case. Similar for the incompleteness theorems. The correct response in such cases is “I don’t know”.
You know something I don’t hear a lot from chatGPT? “I don’t know”