In Bryan Birch's talk last week he said that Atkin's article "Feasible
Computability" is an absolute "must read" for anybody who wants to do
math research and use a computer. Amazingly, I had never even heard
of it. I just read it, and it's pretty interesting (and short).
Check it out:
http://www.chilton-computing.org.uk/acl/applications/number/p003.htm
By the way, the "ATLAS" mentioned in the article is a big 1960s computer...
--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org