Monthly Archive for January, 2010

Two Summer Schools

Talented undergraduates* who are interested in the topics covered on this blog should consider applying to at least one of the following programs: Carnegie Mellon Summer School in Logic and Formal Epistemology, UCLA Summer School in Mathematical Logic . * The CMU program will also consider “students who will have just completed their first year of [...]

Read Full Post »

Packing tetrahedron

What’s the most efficient way to pack a group of identical spheres? It is to stack them like your grocer stacks oranges, which Kepler conjectured would yield a packing density of 74%, and Thomas Hales proved Kepler right in 1998. What’s the most efficient way to pack a group of identical, regular tetrahedron? Here answers [...]

Read Full Post »