I think the typical example is if you do a search for a proof of inconsistency in Peano arithmetic. You don’t expect to find any inconsistencies, but you can’t prove that you won’t.
More like trying to find the Godel statement of the universe; it provably exists, and provably cannot be positively identified.
I think the typical example is if you do a search for a proof of inconsistency in Peano arithmetic. You don’t expect to find any inconsistencies, but you can’t prove that you won’t.
More like trying to find the Godel statement of the universe; it provably exists, and provably cannot be positively identified.