Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

"In Mathematics, Mistakes Aren’t What They Used To Be"

  1. May 7, 2015 #1
  2. jcsd
  3. May 7, 2015 #2

    jedishrfu

    Staff: Mentor

    Interesting paper. It reminds me of the battle between John Henry and the steam drill:

    http://americanfolklore.net/folklore/2010/07/john_henry.html

    The real question is do we use our brains alone or our computers alone or do we use our computers to extend our brain's reach like we use a telescope or other scientific equipment? There's room for all of these views kind of like the back to nature vs modern technology debate.

    Sometimes using a computer eliminates the search for a more creative way of solving the problem. In the end when the computer takes too long then we search for a faster way such as a faster computer or a faster algorithm whichever is more economically viable.
     
  4. May 7, 2015 #3
    It is said that all computer programs have at least one bug. When the bug emerges how bad the bite will be is anybody's guess. Who will check the computer? Or will we just accept anything that it tells us?
     
  5. May 7, 2015 #4
    ^^Very good point. So mathematical proofs can never truly be infallible and eternal; just more infallible and eternal than they were before you fed them to your computer proof assistant.
     
  6. May 7, 2015 #5

    jedishrfu

    Staff: Mentor

    You can think of it like virus protection. There's always a new computer virus that will defeat the best virus scanner. The scanners can't scan everything that comes by. They look for signatures so new viruses are adapted to not be detected.

    The same could be said of proofs. As we gain new insight, we may see a weakness in the proof's argument. The computer can only be as good as our understanding of a problem.
     
  7. May 7, 2015 #6
    Do we believe that nothing can create something better than itself? After all we are human.
     
  8. May 7, 2015 #7

    SteamKing

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper

    I think this episode illustrates why science and the scientific method are such handy tools.

    A theory and a proof were published, and to most people, that would be the end of it. However, one intrepid soul, Carlos Simpson, did a little checking and found a mistake.
    When Voevodsky heard about the mistake, he did the responsible thing and re-checked his work until he confirmed he was indeed in error.

    Now, a less gracious man might have gotten defensive about having the veracity of his work doubted, but he did a classy thing and acknowledged that his colleague had indeed found an error in his work.

    I think this is why science by consensus is to be avoided at all costs. Scientific theories and experimental results must constantly be checked against one another, especially when the theory may not be as fully developed as some would have us believe.
     
  9. May 7, 2015 #8

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    So your point is that humans make mistakes? You're obviously right.
     
  10. May 7, 2015 #9

    jedishrfu

    Staff: Mentor

    I think Arsenic adjusted his view somewhat when he learned that programs are not infallible in post #4.

    I like the quote that we all make mistakes but to really screw things up you need a computer which being a programmer is more true than you can imagine.

    Always remember on a clear disk you can seek forever...
     
  11. May 8, 2015 #10
    With regards to the statement that " to really screw things up you need a computer" reminds me of the Disney film " The Sorcerers Apprentice" in the hands of the wrong persons a wonderful power can cause unimaginable chaos.
     
  12. May 8, 2015 #11
    My point is clearly more than this, but to spell it out for you, I'm inferring from the fact that humans are infallible that one of the major selling points of pure theory in mathematics, that a proof is eternal, is rubbish, both due to the increasing probability of false results and the evolving standards of rigor which render previously satisfactory proofs false.

    Now bad results can propagate in science as well, but one of the ways to get a sense of how bad things are is whether or not the results are connecting with results elsewhere in the field or in other fields entirely, so I would argue that once a mathematical result becomes sufficiently complex, its basic validity is suspect until it connects at least with other mathematics and preferably with applications.
     
  13. May 8, 2015 #12

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    I'm sure some people say this, but I have never seen this claimed. Then again, this is philosophy which is hardly my strong point. But I would be really surprised if you could find many mathematicians who don't know by experience that proofs can be fallible since humans are fallible.

    There aren't many mathematical results that are not connected with other mathematics or (even very vaguely) to applications.

    In my opinion, the validity of a result in science (such as an experiment) increases when it is checked by many people. If a lot of people repeat an experiment a lot of times with (roughly) the same outcome, then we trust the outcome of the experiment more. The same is true with mathematics. If a proof is checked by many people and they all see no flaw, then the probability of the correctness of the proof increases. For example, I don't think there should be any doubt that the Hahn-Banach theorem is true.
     
  14. May 8, 2015 #13

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

  15. May 8, 2015 #14

    jedishrfu

    Staff: Mentor

    Have any of these wrong proofs been used to test the proof proving algorithm mentioned earlier?
     
  16. May 8, 2015 #15
    Did you mean to use the word "infallible" here?
     
  17. May 8, 2015 #16

    jedishrfu

    Staff: Mentor

    I always like how we tend to say "not infallible" over "fallible".
     
  18. May 8, 2015 #17

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    There are issue with computarized proof checking. The most obvious issue is that translating a proof into something that a machine can check is difficult. Very difficult. It takes a lot of time and effort. I don't really see proofs like the Poincare conjecture being checked soon.
    Furthermore, the reason that proofs are being accepted as right while they are wrong, has mostly to do that the way we write proofs is very informal and intuitive. Many math papers will take big leaps in their arguments, leaps which they find obvious since they work in the field. Sometimes, these leaps are wrong. The research mathematicians do not have the time nor patience to make a proof completely formal. That would completely halt mathematics. Instead, we rely on the power of numbers: many people checking the same proof. It is not infallible, but I don't think there is a better option.

    See also: https://www.sciencenews.org/article/how-really-trust-mathematical-proof
     
  19. May 8, 2015 #18

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    In my opinion, one of the bigger issues concerning the validity of mathematics are the sometimes shaky foundations used in mathematics. Of course, simple things like finite group theory are not an issue. Even if ZFC were to be proved inconsistent, finite group theory would still be true and we would just search for other axioms.

    But nowadays, we have seen the rise of category theory. And associated with it are many powerful assumptions on set theoretical level. Many of which could be inconsistent. I have little fear that ZFC is inconsistent. But the power of the assumptions nowadays can be very great. Inaccessible cardinals, measurable cardinals, etc. All of these are things I find a bit suspect.

    A more thought-out point of view can be see in the works of Penelope Maddy. For example: http://www.cs.umd.edu/~gasarch/BLOGPAPERS/belaxioms1.pdf
     
  20. May 8, 2015 #19

    jedishrfu

    Staff: Mentor

    Thanks Micro, its as I thought the proof checkers themselves are custom built for the proof and that means human error can be introduced as well. Originally, I thought that perhaps some new standardized technique like encoding a proof using prolog as used to test its validity.

    Prolog has some limitations in the kinds of problems it can solve/prove:

    http://www.cs.rochester.edu/~scott/173/notes/09_pred_logic
     
  21. May 8, 2015 #20

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    In this case, the only way of judging consistency of an axiom system would be to look at the applications of mathematics. The physical universe is obviously consistent. So results proven in pure mathematics can be checked by checking some physical property that they imply. This is not a proof, but merely an experiment. And thus even pure mathematics has been reduced to experimentation. This is not a new point-of-view: many mathematicians such as Gauss held this view. Arnold is a more extreme version of this. More information on this can be found in Kline's http://en.wikipedia.org/wiki/Mathematics:_The_Loss_of_Certainty
    See also Arnold's point of view with a very controversial (but in my opinion correct) first sentence: http://pauli.uni-muenster.de/~munsteg/arnold.html
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook