tag:blogger.com,1999:blog-83835622011-09-06T04:24:42.213-04:00The purpose of the flyspeck project is to <a href="http://www.math.pitt.edu/~thales/flyspeck/">formalize the proof</a> of the Kepler Conjecture. thaleshttp://www.blogger.com/profile/07625883694629354403noreply@blogger.comBlogger41100tag:blogger.com,1999:blog-8383562.post-1112808433465395992005-04-06T13:27:00.000-04:002005-04-06T13:45:40.490-04:00<p>To learn about the Flyspeck Project (the formal proof of Kepler's sphere packing problem), start with the <a href="http://www.math.pitt.edu/%7Ethales/flyspeck/index.html">Flyspeck Project Fact Sheet</a>. </p> <p>To learn more about Gonthier's proof of the Four-Color Theorem with comments on the flyspeck project, see Mackenzie's <a href="http://www.sciencemag.org/cgi/content/full/307/5714/1402a">What in the Name of Euclid</a> and the Economist's <a href="http://www.economist.com/science/displaystory.cfm?story_id=3809661">Proof and Beauty</a></p><div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/8383562-111280843346539599?l=flyspeck-blog.blogspot.com' alt='' /></div>thaleshttp://www.blogger.com/profile/07625883694629354403noreply@blogger.com6tag:blogger.com,1999:blog-8383562.post-1095638463624401062004-09-19T20:01:00.000-04:002004-09-19T20:03:41.033-04:00The <a href="http://www.math.pitt.edu/~thales/flyspeck/blog/utah_tphol.html">slides</a> from Hales's Park City presentation on the flyspeck project have been posted on the internet. <div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/8383562-109563846362440106?l=flyspeck-blog.blogspot.com' alt='' /></div>thaleshttp://www.blogger.com/profile/07625883694629354403noreply@blogger.com90tag:blogger.com,1999:blog-8383562.post-1095633462054101282004-09-19T18:37:00.000-04:002004-09-19T18:37:42.053-04:00There is now a <a href="http://groups-beta.google.com/group/flyspeck/">google group</a> for the flyspeck project. It is set up with public archives, but only members can post, and members must be approved before joining. If I have set things up correctly, new contributions to this blog should be automatically distributed to the flyspeck google group. <div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/8383562-109563346205410128?l=flyspeck-blog.blogspot.com' alt='' /></div>thaleshttp://www.blogger.com/profile/07625883694629354403noreply@blogger.com44tag:blogger.com,1999:blog-8383562.post-1095565095608946752004-09-18T23:35:00.000-04:002004-09-18T23:38:15.606-04:00I returned today from the TPHOL-2004 conference in Park City. People were interested in setting up a site where we can share thoughts about the flyspeck project. Here it is! <div class="blogger-post-footer"><img width='1' height='1' src='https://blogger.googleusercontent.com/tracker/8383562-109556509560894675?l=flyspeck-blog.blogspot.com' alt='' /></div>thaleshttp://www.blogger.com/profile/07625883694629354403noreply@blogger.com3