“After thinking about it for a sufficiently long time, the AI at some time or other will judge this statement to be false.”
This might very well be a logical fact because it’s truth or falsehood can be determined from the AI’s programming, something quite logically determinate. But it is quite difficult for the AI to discover the truth of the matter.
I’ve given such a logical fact before.
“After thinking about it for a sufficiently long time, the AI at some time or other will judge this statement to be false.”
This might very well be a logical fact because it’s truth or falsehood can be determined from the AI’s programming, something quite logically determinate. But it is quite difficult for the AI to discover the truth of the matter.