News for hackers. Stuff that matters.
Re:The Paradox of the Proof by pfortuny on Friday May 10, 2013 @08:14AM (#5685751)
You are wrong. It is reality what drives mathematicians to work, not a pure abstraction. It is because of reality that maths is interesting. It is because of Geo-metry that algebra is so relevant.

Not to speak of Calculus...

Re:The Paradox of the Proof by brazzy on Friday May 10, 2013 @09:39AM (#5686073)
> It is reality what drives mathematicians to work, not a pure abstraction.

In general, no.

> It is because of reality that maths is interesting. It is because of Geo-metry that algebra is so relevant.

Perhaps to you, but not to most mathematicians, certainly not those working in academical settings. Have you ever looked at group theory or topology?

I don't think you've ever done the kind of math that mathematicians do. What you learn in school is not math, it's calculating. What mathematicians do is to invent constructs that have no basis in reality and prove statements about them, then come up with more constructs based on those statements, ad infinitum.

Sometimes those constructs may be designed to model real world problems, and getting funding is probably easier in those areas, but just as often the applicability is only discovered afterwards - or not at all.

The best example (because it's something we've actually all learned about) is complex numbers. They were first invented in teh 16th century and considered pointless and irrelevant at first. People soon discovered that they could be useful in proofs about non-complex numbers as well, but it took several centuries before they were found to be directly applicable in electrical engineering (many more applications have been discovered since).

Re:The Paradox of the Proof by ricardobeat on Saturday May 11, 2013 @01:59AM (#5689833)
> invent constructs that have no basis in reality

Regardless of how abstract you get, how far you go, math is always tied to our physical reality. The basic operations are reflections on properties of our universe. The "kind of stuff" mathematicians do" allows us to model and reason about our world in ways that wouldn't be possible any other way (that we know of).

Re:The Paradox of the Proof by rickhanlonii on Saturday May 11, 2013 @10:56AM (#5690758)
>math is always tied to our physical reality

I'm sorry but even if this is objectively valid, this not a claim that you can support. There are entire sub-fields of maths in which there are no known physical attachments.

Now, that's not to say that some time in the future we won't discover the relationship between every mathematical concept and some physical system. But at this moment, the claim you are making has a numerable set of counter examples, with a very large order. For one example, take the Banach–Tarski paradox:

>Given a solid ball in 3‑dimensional space, there exists a decomposition of the ball into a finite number of non-overlapping pieces, which can then be put back together in a different way to yield two identical copies of the original ball.[1]

This is, as far as we know, physically nonsense.

That being said, there is quite a lively debate among mathematicians as to whether or not math is tied to reality.

[1] http://en.wikipedia.org/wiki/Banach%E2%80%93Tarski_paradox

Re:The Paradox of the Proof by brazzy on Saturday May 11, 2013 @02:36AM (#5689913)
> The basic operations are reflections on properties of our universe.

No, this is most definitely not true for all branches of mathematics.

Re:The Paradox of the Proof by freefrag on Friday May 10, 2013 @08:30AM (#5685806)
He's not wrong.

To many mathematicians reality is largely irrelevant. For example G. H. Hardy, an extremely prominent British Mathematician, believed that true Mathematics is an art form and is not useful. He dismissed applications of mathematics as dull and boring.

And I can relate to him. It's incredible how complex, beautiful structures arise from a couple of simple axioms. It doesn't matter if what you study will be relevant or not, what matters is that it's fun and stimulating to explore.

Re:The Paradox of the Proof by stephencanon on Friday May 10, 2013 @09:57AM (#5686157)
A (somewhat tongue-in-cheek) question to ponder: If Hardy were alive today, would he turn his back on Number Theory as too useful, and study something more theoretical like the existence of long-time solutions to Navier-Stokes?
Re:The Paradox of the Proof by 30thElement on Friday May 10, 2013 @09:24AM (#5686008)
As someone with a degree in applied math, the pure abstract is more interesting than the applied. Applied math is like building really amazing and intricate sand castles on the beach. Pure math is like building the same sand castle, but in the sky and it's kept aloft purely by how beautiful it is, freed from constraints like "touches the ground" and "can support itself under gravity".

A lot of my friends feel the same way, with some of them specifically avoiding having "real world" applications of their work, as if that makes it an even better sand castle.

As to why I have an applied degree instead of doing pure math, numerical analysis makes a weird intuitive sense to me, and I figured building decent sand castles on the beach was better than making terrible sand castles in the sky that could barely hold themselves up. It also gets the grant money.

Re:The Paradox of the Proof by pfortuny on Friday May 10, 2013 @10:40AM (#5686422)
Look, I am an Algebraic Geometer and have done Schemes and whatnot. It is REALITY and this has nothing to do with "applied" or "pure". The fact that it is abstact has nothing to do with its being unreal.

Just to clarify: I am an expert too.

Re:The Paradox of the Proof by rickhanlonii on Saturday May 11, 2013 @11:57AM (#5690988)
Pure math evangelist here. To be clear, it is only reality insofar as the axioms in which the theorems are derived are reality, and only insofar as our understanding and application logic is an objectively valid construct of reality.

When it all works out as beautifully as it does, in say Euler's Identity, it's hard to remember the possibility that the axioms could turn out false, or logic as we know it flawed.

But assuming (heh) that the axioms are true and that our understanding of logic is valid, "pure" math is as much apart of reality as "applied" math. And I'll choose proving the Fundamental theorem of Galois theory over number crunching in Matlab as my exercise in experiencing reality every time.