Suppose that I'm a working mathematician that has just proved a Theorem, say, in Number Theory.
Does Gödel's Incompleteness Theorem imply that I can't know for sure if there exists a proof of the logical negation of my Theorem?
Suppose that I'm a working mathematician that has just proved a Theorem, say, in Number Theory.
Does Gödel's Incompleteness Theorem imply that I can't know for sure if there exists a proof of the logical negation of my Theorem?