“Mathematical truth is not determined arbitrarily by the rules of some 'man-made' formal system, but has an absolute nature, and lies beyond any such system of specifiable rules. Support for the Platonic viewpoint ...was an important part of Godel's initial motivations.”