Is there an ultimate goal to mathematics progress?

[Newai]

Just as physicists are trying to answer their most fundamental questions with the LHC, are mathematicians in a similar bind? Is there a foreseeable time when they will no longer be faced with daunting mysteries?

 

[Tac-Tics]

Just as physicists are trying to answer their most fundamental questions with the LHC, are mathematicians in a similar bind? Is there a foreseeable time when they will no longer be faced with daunting mysteries?

The world isn't a mystery to solve. The search for the Higgs boson makes a pretty headline, but it won't be the end of science. Think of it like chess or football or whatever game you like. The rules are simple. The game is not.

The most fundamental questions of mathematics were resolved 80 years ago. In 1900, Hilbert wanted all of mathematical logic completely axiomatized in a consistent way. In 1931, we found it wasn't possible thanks to Godel. With the invention of computer science, we discovered that all of mathematics can be boiled down to a search algorithm and "solved" essentially the same way Big Blue plays chess. The caveat: to do anything as useful as that sentence sounds would take more resources than a billion universes would be able to provide.

The funny thing is that most modern mathematicians don't care or are even totally unaware of Hilbert and Godel. Godel's work isn't considered significant in the realm of mathematics (it is more important in logic and philosophy), and the reason is that it isn't really applicable to what everyone does.

That sounds a lot like the Higgs boson to me. Yeah, it's the truth. It's fundamental. But it's also totally useless to 99.99% of people in physics. Food chemists will still churn out new products to turn kids' mouths green. Bioengineers will work on new ways to use bacteria to process goods. And all of the material scientists and electrical engineers will continue to pretend that nothing is smaller than the electron.

 

[Newai]

Wow. That's a lot for me to think about, given the perspective I've had for many years. Thanks!