Wednesday, March 18, 2015

Trying to kill the mathematical proof

SciAm writer John Horgan still defends his 1993 article on the Death of Proof:
“For millennia, mathematicians have measured progress in terms of what they could demonstrate through proofs — that is, a series of logical steps leading from a set of axioms to an irrefutable conclusion. Now the doubts riddling modern human thought have finally infected mathematics. Mathematicians may at last be forced to accept what many scientists and philosophers already have admitted: their assertions are, at best, only provisionally true, true until proved false.”

I cited Thurston as a major force driving this trend, noting that when talking about proofs Thurston “sounds less like a disciple of Plato than of Thomas S. Kuhn, the philosopher who argued in his 1962 book, The Structure of Scientific Revolutions, that scientific theories are accepted for social reasons rather than because they are in any objective sense ‘true.’” I continued:

“‘That mathematics reduces in principle to formal proofs is a shaky idea’ peculiar to this century, Thurston asserts. ‘In practice, mathematicians prove theorems in a social context,’ he says. ‘It is a socially conditioned body of knowledge and techniques.’ The logician Kurt Godel demonstrated more than 60 years ago through his incompleteness theorem that ‘it is impossible to codify mathematics,’ Thurston notes. Any set of axioms yields statements that are self-evidently true but cannot be demonstrated with those axioms. Bertrand Russell pointed out even earlier that set theory, which is the basis of much of mathematics, is rife with logical contradictions related to the problem of self-reference… ‘Set theory is based on polite lies, things we agree on even though we know they’re not true,’ Thurston says. ‘In some ways, the foundation of mathematics has an air of unreality.’”

After the article came out, the backlash—in the form of letters charging me with sensationalism – was as intense as anything I’ve encountered in my career.
For your typical naive reader, this just confirms a modern nihilism, as expressed by this comment:
If it is impossible to codify mathematics, and it is possible to state mathematical ideas that are true, but cannot be proven true, then the same applies to every field. Thus, the mere fact that you cannot prove some idea axiomatically proves nothing. People often demand proofs of that sort for moral or philosophical notions, like, say, the existence of God, but the whole exercise is empty. Thanks, Kurt.
Horgan deserved the criticism, and so did Thurston. It is not true that Godel proved that it is impossible to codify mathematics. It would be more accurate to say the opposite.

Russell did find an amusing set theory paradox in 1901, but it was resolved over a century ago. Set theory is not based on anything false.

Thurston was a great genius, and was famous for explaining his ideas informally without necessarily writing rigorous proofs. He was not an expert in the foundations of mathematics.

The quotes are apparently accurate, as he published as essay defending his views, and his record of claiming theorems and failed to publish the details of the proofs.

His essay complains about the theorem that the real numbers can be well-ordered, but there is no constructive definition of such an ordering.

From this and Godel's incompleteness theorem, he concludes that the foundations of mathematics are "shakier" than higher level math. This is ridiculous. I conclude that his understanding of the real number line is deficient. There is nothing shaky about math foundations.

It sounds crazy to question Thurston's understanding of real numbers, because he was a brilliant mathematician who probably understood 3-dimensional manifolds better than anything.

Doing mathematics is like building a skyscraper. Everything must be engineered properly. But the guy welding rivets on the 22nd floor may not understand how the foundations are built. That is someone else's department. So yes, someone can prove theorems about manifolds without understand how the real numbers are constructed.

It is still the case that mathematicians measure progress in terms of what they could demonstrate through a series of logical steps leading from a set of axioms to an irrefutable conclusion. The most famous works of the past 25 years were Fermat's Last Theorem and the Poincare Conjecture. Both took years to be accepted, because of the work needed to follow all those steps.

The idea that "theories are accepted for social reasons" is the modernist disease of paradigm shift theory.

A NY Times Pi Day article says:
Early mathematicians realized pi’s usefulness in calculating areas, which is why they spent so much effort trying to dig its digits out. ...

So what use have all those digits been put to? Statistical tests have suggested that not only are they random, but that any string of them occurs just as often as any other of the same length. This implies that, if you coded this article, or any other, as a numerical string, you could find it somewhere in the decimal expansion of pi.
That is a plausible hypothesis, and you might even find people willing to bet their lives on it. But you will not find it asserted as true in any mainstream math publication, because it has not been proved. Yes, math relies on proof, just as it has for millennia.

7 comments:

  1. Roger,
    as bad as the basic rudimentary logical skills of mathematicians is these days (they wish to believe logical operations can operate independently outside of time and causality), claiming math relies on proof (much, much less rigorous proof) is laughable. In an ideal situation, yes, math should rely on rigorous proofs. In actual reality, well, one look at MWI and anthropic goo, string theory, Black holes, any space time model of anything, blows that ideal out the window with quite a bit of gusto.

    Substitute 'excited hand waving' for 'proof' in your assertion that 'math relies on proof, just as it has for millennia', and I will agree with you. Otherwise, you are preaching an idealization that has not been practiced very consistently in historical reality.

    ReplyDelete
  2. Your examples of hand waving all involve physics, not math.

    ReplyDelete
  3. Here is the real world of mathematics:

    Send in a proof to some allegedly reputable journal to examine
    Wait 10 years until the monstrous backlog of proofs is gone
    The reviewer notices you are an amateur so disregards by default

    Even if you have a proof of the Riemann Hypothesis in your hand, its impossible to get it verified. It will either be stolen or nobody will take the considerable time to work through it because you are not a big shot mathematician.

    Thurston: ‘It is a socially conditioned body of knowledge and techniques.’
    Thurston is right. If you start using different techniques and mathematical structures that are not contemporary, forget about it. Even if the proof is correct, it will still be ignored because the reviewers won't bother taking the extra time to learn anything new.

    I want Roger to list employers other than the NSA that care if you can do proofs or not.

    ReplyDelete
  4. Much of the misery in physics today is because the mathematics department invaded physics quite some time ago, in a big way. Einstein was even tutored in the latest math fads of his time to 'dress up' his physics theories because a theory cloaked in convoluted bullshit complex mathematics is much more difficult to critique and evaluate. Mathematics and con artistry have quite a shared history together.



    ReplyDelete
  5. You're right as usual Dark Buzz. I remember when that article on the death of proof came out. I was in a math department at the time and it created lots of buzz (not dark though). That fact that I had forgotten about it tells you everything you need to know about it's eventual influence.

    ReplyDelete
  6. He's striving to prove that proofs are impossible.

    ReplyDelete
  7. Here is the triviality of Incompleteness: why ask a system you suspect whether it's consistent? It's a completely meaningless result with no practical value. Watch out for the circularity of these nonsense results.

    ReplyDelete