Philosophy Now Forum

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