The Last Lecture: Computability Questions in the Sphere Packing Problem