4 ms·
A prominent example for proofs by computer algorithms is the 4 color theorem: http://en.wikipedia.org/wiki/Four_color_theorem http://en.wikipedia.org/wiki/Four
by netrus 13y ago
A prominent example for proofs by computer algorithms is the 4 color theorem:
http://en.wikipedia.org/wiki/Four_color_theorem http://en.wikipedia.org/wiki/Four_color_theorem
- aardvark179 13y agoThat's not quite the same thing. The 4 colour theorem was proved by boiling it down to several thousand test cases and using a computer program to test those by colouring them. This paper is about using theorem provers to check axioms for consistency and proofs derived from those.