What do you think of proof by computer?
Posted: Fri Sep 25, 2015 8:30 am
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
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