Gerald Sussman explains how programming can help understand Analytical Mechanics and Differential Geometry, and make some concepts of General Relativity come alive. Indeed, a well-crafted program is an expression of an idea, and it may be a work of art.