
 Chaitin, The Unknowable 
  I'm going to tell you why the field of metamathematics was invented, and to summarize what it has achieved, and the light that it sheds—or doesn't—on the fundamental nature of the mathematical enterprise. 
  Metamathematics was promoted, mostly by Hilbert, as a way of confirming the power of mathematics, as a way of perfecting the axiomatic method, as a way of eliminating all doubts. 
  So in a sense, metamathematics was a fiasco, it only served to deepen the crisis that it was intended to resolve. 
 www.umcs.maine.edu /~chaitin/unknowable/ch1.html (9269 words) 
