Slashdot Mirror
The End of Mathematical Proofs by Humans?
vivin writes "I recall how I did a bunch of Mathematical Proofs when I was in high school. In fact, proofs were an important part of Math according to the CBSE curriculum in Indian Schools. We were taught how to analyze complex problems and then break them down into simple (atomic) steps. It is similar to the derivation of a Physics formula. Proofs form a significant part of what Mathematicians do. However, according to this article from the Economist, it seems that the use of computers to generate proofs is causing mathematicians to 're-examine the foundations of their discipline.' However, critics of computer-aided proofs say that the proofs are hard to verify due to the large number of steps and hence, may be inherently flawed. Defenders of the same point out that there are non computer-aided proofs that are also rather large and unverifiable, like the Classification of Simple Finite Groups. Computer-aided proofs have been instrumental in solving some vexing problems like the Four Color Theorem."
Computer generated proofs really do seem like a real time saver. Provided that they work. Now, if we could only prove that... Let me think, how about building this atomic superpowered robotic monster to prove that computer generated proofs work? Or perhaps we could use those computers to prove it themselves!
especially when we already know the answer it's looking for. 42
Perhaps his proof was flawed and he realised it so he ripped the last page out?
That's what they said 50 years ago too ...
What does The Economist know? It's a right-wing rag.
What does Slashdot know? It's a left-wing rag.
"Nine times out of ten, starting a fire is not the best way to solve the problem." - my wife
How can the review of proof generated by computer by a human be considered "peer" review?
Why not have it verrified by other computers?
Was that just an intentionally terrible example, or did you not actaully understand a good portion of the book?
Shitram Brown, PhD
Professor of Mathematics
Just write a program to check it. :-)
As copyright owner of this comment, I authorize everyone to defeat any technological measure which limits access to it.
Speaking of toys - I found this on Thinkgeek.com and it's a perfect for your favorite mathematician. " If A Pretty Poster And A Cute Saying Are All It Takes To Motivate You, You Probably Have A Very Easy Job. The Kind Robots Will Be Doing Soon.". Seems very apropos....
I'd pay $500,000 for a program that can prove the Riemann Hypothesis.
oh come on.
so if I have 30 countries all touching and one has borders with 7 of them, very simple to color it with only 4 colors, hell my 4 year old can figure that out.
lay off the hemp and booze.
The end of mathematical proofs by humans? I think I speak for the entire high school populus by saying "Thank God!"
Yeah, right. The great AI machine will be delivered in the same week as my flying car. Taking orders now, please form an orderly queue.
According to rumors it will be bundled with Duke Nukem Forever.
On the flip side, according to my calculations, I lost e3 neurons, e1 synapses, and e0.5 operations per second to beer last weekend alone. That almost never happens to a computer.
Proud neuron in the Slashdot hivemind since 2002.
hey, don't ruin my hopes and dreams.
I wish that I was a catfish.
Which explains the glorious successes that subject has enjoyed in the last few decades ...
Yes, you're right. No one will ever build a chess-playing computer, computer controlled "braking systems", "automatic warehouses", and certainly, we'll just never accomplish the so called "computer controlled piloting system! "Autopilots", indeed!. They'll just never happen! AI will never work! Pie in the sky, the whole lot of it!
--
AC