Finding those math theorems or conjectures just too hard to prove? Then, you need to attend this workshop.
Tell me it ain’t so!
2
Monthly Archives: February 2006
Colbert Report and Spam
According to Steven Colbert on tonight’s Colbert Report, equations are the devil’s sentences. For the past couple of days, this site has been under relentless spam attack (the spam has been showing up in older posts, so no one sees them but me). Clearly, these two events are related.
Flyspeck Project
Via Neighborhood of Infinity, I came across the Flyspeck Project, a project to provide a computer-checked proof of the Kepler conjecture.
The project who proposed by Thomas Hales, who has the only published proof of the theorem. His proof already includes some computer calculations, and turned out to be too complicated to be fully checked by peer review. A complete computer-checked proof would remove any doubts.
The Wikipedia entry links to this elementary introduction by Hales to the proof, Cannonballs and Honeycomb.
Weekend discussion
Understanding of geometry is innate, and cannot be learnt. Discuss.
Mathematical art
Justin Mullins, a British artist, takes photographs of mathematical equations and diagrams. He currently has an exhibition of his work at Lauderdale House, in Highgate, London, UK.
On the uniformization of algebraic curves
I spotted an interesting paper on arXiv with a totally self-explanatory title: On the uniformization of algebraic curves.