Unlike physics, there are no conceivable alternate universes with different math. That's what's so cool about math: it could not possibly be any different. There could be alternate universes where they've discovered different amounts of it, or named the discoveries different things, but everything that is "wrong" in math in our universe is universally (multiversally?) wrong.
Why not? There's not much tethering our axioms-on-paper to what is necessarily true, past what we can empirically observe. For instance, a universe that is "exactly like ours, except the truth of the continuum hypothesis is flipped" seems no less conceivable than our own universe, given that we don't even have any solid evidence for its truth or falsehood in the first place.
If we're willing to treat mathematical and logical ideas as physically contingent, then it's only a few further steps to "the concepts of identity and discreteness and measure in this universe are different than ours, so all our mathematical axioms are not applicable". Though it would be very difficult to translate any stories from such a universe into our own ideas.
We can and do create two alternate models of math with CH and ~CH as axioms, in this universe, right now. No need for alternate universes. There's no reason to think the CH is either true or false in the natural laws of our universe -- what would that even mean?
I suppose it's distantly possible that models where CH is true happen to represent our own universe much better than models where CH is false, and that there are other universes that are better represented by models where CH is false. Even if that were true, all the math is still the same, we're just preferring some models over others.
Presumably something like "you can/cannot collect an uncountable group of points in physical space and still not have enough to fill a physical volume".
Anyway, the idea is that properties of 'ordinary' numbers and logical constructs could similarly just be models specifically useful for our own universe. E.g., propositional logic only works because our universe allows us to write truth tables that are causally valid, natural numbers only work because our universe allows us to count over discrete objects, etc.
There'd be no big gap between 'physics' and 'math': all 'math' that we can talk about would just be the 'physics' of things that work on paper in our universe. And in particular, 'the physics of math-on-paper' could conceivably work differently in an alternate universe, and our own ideas and discoveries would be inapplicable.
> propositional logic only works because our universe allows us to write truth tables that are causally valid, natural numbers only work because our universe allows us to count over discrete objects, etc.
No, none of this is true. Our universe also allows us to write truth tables that are not valid. We do not dematerialize upon writing down a logical fallacy. Our universe does not seem to contain any infinities at all, and if it does, they're almost certainly countable; yet we can still reason about uncountable infinities without ever having observed them. Our universe seems to exist in only 4 dimensions, yet we can still reason about high dimensional spaces. Why should the constraints of our universe matter to our math at all, other than making some things more obvious than others?
> all 'math' that we can talk about would just be the 'physics' of things that work on paper in our universe
That is just patently obviously not what math is. We have tons of math that is not describing the physics of our universe as we know it.
That's what GP was saying ("there are no conceivable alternate universes with different math", and none with a different derivative in particular), but I see no reason why math-as-we-know-it couldn't just be inapplicable to different 'conceivable' universes.
Really? For that to be possible, the continuum hypothesis would have to be either true or false in our universe, which does not appear to be the case.
But... we don't. We use integers to describe physical space. We have real numbers as a mathematical construct, but we have never applied them to even a single physical problem. That's impossible to do, because specifying a real number takes an infinite amount of information.
Maybe Pemulis gave Hal an obviously wrong derivative, and when uncorrected, drove Pemulis to abruptly end the tutoring. Maybe Pemulis said it right but Hal heard it wrong. Or...
Maybe it's "just" another sign they're in an alternate universe where even the math is different. That's pretty much how I feel about it