Mathematicians have been grappling, since at least the time of Appel and Haken's famous 1976 computer-assisted proof of the Four Color Theorem, with the role of computers in proving mathematical theorems. At this point, there are many results whose only known proof is something a computer generated and no human can read. We'll address the question: should we consider such results proven?
Math for Everyone is a math-related series, especially for undergraduates. October's talk will be led by Joshua Cooper of the University of South Carolina. Everyone, from Fields medalists to math-phobes, is welcome to attend.
View the event flyer (383kb PDF).