> Therefore, all basic claims are more or less false. We just do not know why they are false. The entire body of science and mathematics therefore does not rest on a set of true statements but on a set of difficult-to-prove-false statements. Disproving a claim may even require showing where we can find a bug in the successor function. This is seriously hard, but still possible, because we know that these bugs must exist.
We do NOT know that these bugs exist. Gödel has shown us that any useful formalization of mathematics (such as the commonly utilized Zermelo–Fraenkel "ZF" set theory) cannot prove its own consistency. However, that does not imply that it must be inconsistant.
The fact that thousands of mathematicians have used ZF for about a hundred years without finding a contradiction makes me confident that even if it's inconsistant, we should be able to patch it up easily enough. But honestly I don't expect that to happen.
> The fact that thousands of mathematicians have used ZF for about a hundred years without finding a contradiction makes me confident that even if it's inconsistant, we should be able to patch it up easily enough. But honestly I don't expect that to happen.
As an example of this, the Greeks assumed that every number was rational (actually, that any two numbers could be expressed as an integer multiple of some common unit). When they did prove that this was false, they re-worked math without it and found that (almost?) all of their other theorems still worked even without the assumption that all numbers were rational.
In my opinion, Kurt Gödel's claim points to something that seems to go wrong in Alonzo Church's successor function. For the sake of the argument, let's call that a bug. It would take a serious amount of work to point out how that would affect Zermelo–Fraenkel.
Instead try to write a program which proves that the limit sin(1/x) x->0 does not exist. (Remember proving that a single function doesn't work isn't enough. You have to prove no such function exists.)
I think it may be possible to phrase a claim for this.
for any almostZero, it is possible to find an integer m1, so that the m1.2.pi + pi/2 is greater than 1/almostZero and therefore for which sin(m1.2.pi+pi/2) =1; 1/(m1.2.pi + pi/2) will be smaller than 1/almostZero. It is also possible to find an integer m2, so that m2.pi+pi is greater than 1/almostZero and therefore for which sin(m2.pi+pi) =0; 1/(m2.pi+pi) will be smaller than 1/almostZero.
The claim: find me an almostZero for it is not possible to find such m1,m2.
This could be a possibility, but I haven't written the program yet ;-)
I suspect that such program could revolve around showing that for any arbitrarily small number -- almostZero -- you can always find two smaller numbers x1,x2 as such that sin(1/x1) is smaller and sin(1/x2) is larger than sin(1/almostZero). The Popper-compliant claim could be: find me an almostZero for which the defeating function will be incapable of producing such x1 and x2. I am not sure about all of this, though. Unless you have investigated something very similar before, it takes time to investigate things like that.
> Therefore, all basic claims are more or less false. We just do not know why they are false. The entire body of science and mathematics therefore does not rest on a set of true statements but on a set of difficult-to-prove-false statements. Disproving a claim may even require showing where we can find a bug in the successor function. This is seriously hard, but still possible, because we know that these bugs must exist.
We do NOT know that these bugs exist. Gödel has shown us that any useful formalization of mathematics (such as the commonly utilized Zermelo–Fraenkel "ZF" set theory) cannot prove its own consistency. However, that does not imply that it must be inconsistant.
The fact that thousands of mathematicians have used ZF for about a hundred years without finding a contradiction makes me confident that even if it's inconsistant, we should be able to patch it up easily enough. But honestly I don't expect that to happen.