To me it's one of those things where you just go 'damn' because of the perplexing relations that exist between math and physics. If anything hints at what the hell goes on in this universe, to me it's stuff like this.
To me it's one of those things where you just go 'damn' because of the perplexing relations that exist between math and physics. If anything hints at what the hell goes on in this universe, to me it's stuff like this.
I think it's Very Not Good to see a totally unplausible mathematical result in physics and take it as anything other than an open problem that needs more work. It's okay to be amazed by it, but it's not okay to say "sure, okay, let's just leave this as it is".
There are stuff like this https://en.wikipedia.org/wiki/1_%2B_2_%2B_3_%2B_4_%2B_%C2%B7..., but writing 1+2+3+... = -1/12 is purely formal and pretending to deduce it from physics is silly because you are not performing any sum at all.
Same with these infinite sums. By the math you learn in middle school, you can't have infinite sums. But break the rules for just a second and again we have something that is helpful with real physics.
What does it even mean to exist?
Far better to talk about whether a number is defined in a particular numerical system.
In the real numbers, sqrt(-1) isn't defined. But why privilege the real numbers as "existing"? Despite an official-sounding designation, they're very deeply weird.
The real numbers are famously uncountable. But any subset of them that can be enumerated is by definition countable.
Think about the consequences of that for a moment. No matter what you do, the subset of the reals you can enumerate is countable, meaning the subset you can't enumerate is uncountable. In a rather flippant way, you could describe the real numbers as "mostly useless." Most of them exist to make some theorems work, rather than being a number that you could ever use to describe anything - solely because describing the number would require an infinite amount of information.
In a pretty significant sense, it's valid to say that the real numbers are mostly figments of analysts' imagination.
If they "exist", might as well say complex numbers exist too. They're actually more useful in physics than real numbers are.
Similarly weird feeling is encountering zeta(-1) = -1/12 after years of calculus teachers telling you to ignore divergent sums because they are infinite.
When you're first learning about imaginary numbers in 8th or 9th grade, the answer to "what is sqrt(-1)?" _should_ be undefined. If you claim otherwise, you're pulling the rug out from under their feet, because the number system that they are familiar with indeed has sqrt(-1) undefined.
Instead, the teacher should go on to introduce a new system of mathematical objects that have certain rules, and the students could play around with them and see how they have two components, how you can plot those two components in 2 dimensions, how you can think of them as arrows sticking out of the origin, how you can combine their components to rotate each other, etc. Then work backwards into showing that we can call these objects complex numbers for short, because those operations are similar to addition, multiplication, etc. And finally, just as a curiosity, you can see that sqrt(z) = i for z = -1 + 0i.
There's no need to introduce this whole concept of an imaginary number line that points off in a direction nobody can see or measure. The whole takeaway should be that you can't just square real numbers get negatives. If you have something that can "multiply" by itself to get its own inverse, then you have either overloaded the multiplication operator with something very very different, or you're dealing with an object that can "rotate" through another dimension. It's an ordinary two dimensional space, and the only difference between the two axes is their name, just like "x" and "y". In my opinion, this lesson should actually be reassuring to a young mathematical intuition: there's only so many ways to skin this cat.
And here's some "ancient" HN commentary on that article: https://news.ycombinator.com/item?id=2712575