Those are entirely different. Peano developed a system for talking about arithmetic in a formalized way. This allowed people to talk about arithmetic in new ways, but it didn’t show that previous formulations of arithmetic were wrong. Godel then built on that to show the limits of arithmetic, which still didn’t invalidate that which came before.
The development of complex numbers as an extension of the real numbers didn’t make work with the real numbers invalid.
When a new scientific model is developed, it supercedes the old model. The old model might still have use, but it’s now known to not actually fit reality. Relativity showed that Newtowns model of the cosmos was wrong: it didn’t extend it or generalize it, it showed that it was inadequately describing reality. Close for human scale problems but ultimately wrong.
And we already know relativity is wrong because it doesn’t match experimental results in quantum mechanics.
Science is our understanding of reality. Reality doesn’t change, but our understanding does.
Because math is a fundamentally different from science, if you know something is true then it’s always true given the assumptions.
There’s a difference between an advance that repudiates prior understanding and one that doesn’t. You can, in maths - and I assume this is the point - know that you are right, in a way that you can’t with a more… epistemological science. Of course it’s more complex than that, and a lot of maths is pretty sciency, like deriving approximate solutions for PDEs is more experimental than you might imagine, but even though we might make improvements there, we’ll never go ‘oh actually those error bounds are wrong’. They might be non optimal but they’ll never be wrong
You’re contradicting yourself.
Is no different than:
Science isn’t changing, our understanding of it is. Same with math.
Those are entirely different. Peano developed a system for talking about arithmetic in a formalized way. This allowed people to talk about arithmetic in new ways, but it didn’t show that previous formulations of arithmetic were wrong. Godel then built on that to show the limits of arithmetic, which still didn’t invalidate that which came before.
The development of complex numbers as an extension of the real numbers didn’t make work with the real numbers invalid.
When a new scientific model is developed, it supercedes the old model. The old model might still have use, but it’s now known to not actually fit reality. Relativity showed that Newtowns model of the cosmos was wrong: it didn’t extend it or generalize it, it showed that it was inadequately describing reality. Close for human scale problems but ultimately wrong.
And we already know relativity is wrong because it doesn’t match experimental results in quantum mechanics.
Science is our understanding of reality. Reality doesn’t change, but our understanding does.
Because math is a fundamentally different from science, if you know something is true then it’s always true given the assumptions.
There’s a difference between an advance that repudiates prior understanding and one that doesn’t. You can, in maths - and I assume this is the point - know that you are right, in a way that you can’t with a more… epistemological science. Of course it’s more complex than that, and a lot of maths is pretty sciency, like deriving approximate solutions for PDEs is more experimental than you might imagine, but even though we might make improvements there, we’ll never go ‘oh actually those error bounds are wrong’. They might be non optimal but they’ll never be wrong