| http://www.w3.org/ns/prov#value | - In Godel, Escher, Bach, Hofstadter accomplishes a truly remarkable feat: he makes a major result of twentieth-century mathematical logic accessible to someone without formal training in mathematics (which is not to say the book is an easy read).
|