Would you accept a math proof by computer?

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

Post Reply
Philosophy Explorer
Posts: 5621
Joined: Sun Aug 31, 2014 7:39 am

Would you accept a math proof by computer?

Post by Philosophy Explorer »

I would. One case is the four-color theorem that was proven by computer. It's a bit controversial because humans can't verify the proof, just computers which is good enough for me.

Here are some more proofs:

http://www.theverge.com/2014/2/19/54265 ... s-to-check

More about a math proof:

http://theconversation.com/a-purported- ... what-52491

Any thoughts?

PhilX
Post Reply