What do you think of 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

What do you think of proof by computer?

Post by Philosophy Explorer »

Here is one example:

https://www.newscientist.com/article/dn ... -oKtPldWAU

Another example is the proof of the four-color conjecture by Appel & Hanken through a computer which you can google (some mathematicians object to this type of proof).

PhilX
Post Reply