Remix.run Logo
▲ cpa 3 hours ago

You care because Pierre de Fermat 16th century work on modular arithmetic was of “no intest to anyone else” except other theorists but it got to shine in the twentienth century in modern cryptography.

Doing theory is what gives you a chance to push the envelope to places you can’t even imagine when you’re knee deep in real world problems. And proving something is possible (if impractical) gives an incentive to find a better algorithm and may attract others.

For example see the first graph here: http://klotza.blogspot.com/2016/06/the-fall-of-twin-prime-ga...

▲ViscountPenguin 3 hours ago | parent | next [-]

Considering this line:

" In 1973, Jacques Morgenstern proved that you couldn’t get a Fourier transform faster than ½ n log n if you required that complex coefficients used in the computation had bounded magnitude"

I highly doubt this is going to somehow inspire people to make faster algorithms than the mathematical bound...

I have no problem with pure mathematics, my training was in it; but it seems very possible to me that most people funding theoretical computer science (as opposed to pure maths) probably assume the work has a more realistic computational model backing it up.

▲tomrod 2 hours ago | parent [-]

Does the apply to representation of complex numbers, which is not uncountably infinite and represented by floats?

▲adastra22 3 hours ago | parent | prev [-]

No, I don’t care. Until there is a real, practical result, I don’t care. There are plenty of examples of math discovered in service of solving a problem. There is nothing that says math has to be purely abstract first.

▲cpa 3 hours ago | parent | next [-]

Because clearly we’d have invented GPS if we had asked ourselves “how do I create a global positioning system with centimeter accuracy”?

▲adastra22 an hour ago | parent [-]

That is how we invented GPS...

▲cpa 36 minutes ago | parent | next [-]

And without relativity theory positioning error would be measured in kilometers.

▲robotpepi 22 minutes ago | parent | prev [-]

doesn't it use special relativity or some modern physics?

▲mrheosuper 41 minutes ago | parent | prev | next [-]

And that's fine, caring about everything is exhausting, someone has to solve real world problem. But dismissing a result since it's not practical is not fine

▲asdff 3 hours ago | parent | prev | next [-]

You can't imagine how that severely limits the potential size of the discovery space shackling it to present day problems?

▲doug_durham 26 minutes ago | parent [-]

I think the poster is distinguishing between currently practical and ever practical. Galactic algorithms can never be realized.

▲satvikpendem 2 hours ago | parent | prev | next [-]

Ironic username as I doubt we'd get to the stars with your philosophy.

▲calf 43 minutes ago | parent | prev [-]

How far are you willing to go? In your radical pragmatism, are you an intuitionist, or even a finitist? Oh wait, these are pure math topics that you do not care a about!