DailyDirt: Computers Are Really Good At Math, So When Will Shalosh B. Ekhad Get Tenure?
from the urls-we-dig-up dept
- The era of being able to publish a significant mathematics paper completely without the aid of a computer is coming to a close. Checking programs for bugs and trying to find errors in a proof that is too long for a single human to read in a lifetime... is a problem. [url]
- Shalosh B. Ekhad is the name of math software that has been a co-author on several published papers since the late 1980s. Unfortunately, not all human mathematicians are appreciated for their use of computers, but at least one human (Doron Zeilberger) gives credit to both machines and the people who use them. [url]
- Thomas Hales wrote a program that solved the Kepler conjecture and produced a 300-page proof in 1998. Due to the difficulty of humans being able to check a 300-page proof for errors, Hales wrote two more programs to verify every part of the proof, and Hales has announced that the 1998 proof has been verified to be free of logic errors. [url]