Computers and the Future of Mathematical Proof
Presenter
March 30, 2005
Keywords:
- Computer science
Abstract
Computers crash, hang, succumb to viruses, run buggy programs, and harbor spyware. By contrast, mathematics is free of all imperfection. Why are imperfect computational devices so vital for the future of mathematics?