CptBork:
A classic example of GIT is the Liar's Paradox-like statements such as:
The following statement is true: The prior statement is false.
Let's treat 0 * N = 0 and x ^ 0 = 1 as axioms.
If you now combine them as 0 ^ 0 you have two conflicting axioms. You have the same sort of problem you have in the pseudo-Liar's Paradox, where the statement is wrong under one rule no matter what. This is a classic example of GITS. There is no truth value in the system of mathematics for this statement. It is neither true nor false, because the system is incapable of coherently adressing the answer.
In a case like or , we first have to say that these things exist, and define them, before we can prove or disprove anything regarding these objects. We know that from the basic axioms of math, these types of terms are undefinable, so in order to define them we'd have to add extra axioms. I don't see how Godel's theorem talks about this anymore than how it talks about whether math can be used to prove or disprove that Hollywood stars wear nice clothes.
A classic example of GIT is the Liar's Paradox-like statements such as:
The following statement is true: The prior statement is false.
Let's treat 0 * N = 0 and x ^ 0 = 1 as axioms.
If you now combine them as 0 ^ 0 you have two conflicting axioms. You have the same sort of problem you have in the pseudo-Liar's Paradox, where the statement is wrong under one rule no matter what. This is a classic example of GITS. There is no truth value in the system of mathematics for this statement. It is neither true nor false, because the system is incapable of coherently adressing the answer.