Whose song is Proof Using Finite Projective Geometry?

Artist		Album
David Stutz		Iolet :: Music from the World of Anathem
Neal Stephenson		Iolet :: Music from the World of Anathem