Math Is Fun Forum
  Discussion about math, puzzles, games and fun.   Useful symbols: √ ∞ ≠ ≤ ≥ ≈ ⇒ ∈ Δ θ ∴ ∑ ∫ π -

Login

Username

Password

Not registered yet?

#1 2009-06-25 13:43:04

MathsIsFun
Administrator

Offline

Proof by Computer

"...several thousand hours spread over three years": http://www.nytimes.com/1988/12/20/scien … ck-it.html


"The physicists defer only to mathematicians, and the mathematicians defer only to God ..."  - Leon M. Lederman
 

#2 2009-06-25 17:16:06

bobbym
Administrator

Offline

Re: Proof by Computer

Thanks for the link.


In mathematics, you don't understand things. You just get used to them.
I have the result, but I do not yet know how to get it.
All physicists, and a good many quite respectable mathematicians are contemptuous about proof.
 

#3 2009-06-25 18:22:04

MathsIsFun
Administrator

Offline

Re: Proof by Computer

You are welcome.


"The physicists defer only to mathematicians, and the mathematicians defer only to God ..."  - Leon M. Lederman
 

#4 2009-06-25 19:06:03

ProvedAPointRIAI
Banned

Offline

Re: Proof by Computer

Please pass this on to bobbym...


bobbym's Quote:

The artificial intelligence community rates a computers intelligence at between a paramecium and a cricket. Hardly a genius, but they do have nice personalities.


Quote: He/She Who Laugh's Last...Laugh's Last!


Bye bye!!

 

#5 2009-06-25 19:08:45

bobbym
Administrator

Offline

Re: Proof by Computer

Hi ProvedAPointRIAI or MathGenius1 or MG1 or ARB...

What did you learn how to do now? You have to stick to the topic of the thread. Oh, and by the way, if you are going to pass me something make it money. roflol

Last edited by bobbym (2009-06-25 19:43:23)


In mathematics, you don't understand things. You just get used to them.
I have the result, but I do not yet know how to get it.
All physicists, and a good many quite respectable mathematicians are contemptuous about proof.
 

Board footer

Powered by FluxBB