For a popular exposition of some relevant issues, see the article in Nature about Hales' proof of the Kepler Conjecture: http://www.nature.com/cgi-taf/DynaPage.taf?file=/nature/journal/v424/n6944/full/424012a_fs.html