Abstract

It has been claimed that computer-assisted proof utilizes empirical evidence in a manner unheard of in traditional mathematics and therefore its employment forces us to modify our conception of proof. This paper provides a critical survey of some arguments for this claim. It starts by revisiting a well known paper by Thomas Tymoczko on the computer proof of the Four-Color Theorem. Drawing on some ideas from the works of Tyler Burge and others, it then considers a way to see the philosophical significance of computer proof that casts doubts on the claim.