It’s not that it’s wrong about the math. The math is correct. Instead, it’s wrong about the linkage between the math and the reality. The math uses certain assumptions that will turn out not to be true in reality, and without those assumptions the math doesn’t hold.
There’s also discussion here that seems to build elaborate schemes around null sets[1].
(By which I mean, building interesting theories that e.g. require agents solve the Halting problem.)
This is another case where the math is correct, it just doesn’t quite say what you thought it did. A implies B only says something about B if A is true, after all.
(I think this forum would benefit from studying impossibility results more, and computability in general.)
There’s also discussion here that seems to build elaborate schemes around null sets[1].
(By which I mean, building interesting theories that e.g. require agents solve the Halting problem.)
This is another case where the math is correct, it just doesn’t quite say what you thought it did. A implies B only says something about B if A is true, after all.
(I think this forum would benefit from studying impossibility results more, and computability in general.)
“Assume you have some X satisfying property P”, where it turns out that there is no X satisfying property P.