On Saturday, October 6, 2012 9:42:57 PM UTC+1, Frederick Williams wrote: > Paul wrote: > > > > > > David Ullrich used to append this quotation to his newsgroup postings: > > > > > > "Understanding Godel isn't about following his formal proof. > > > That would make a mockery of everything Godel was up to." > > > > > > Since I'm obsessed with following in full detail a rigorous account of Godel's theorems (I've yet to find one online which has the detail I want and where I don't get stuck on one of the steps), then obviously I must be doing completely the wrong thing, ullrichistically speaking. > > > > > > If following his formal proof is the wrong way to understand Godel, then what is a better way to understand Godel? > > > > Professor Ullrich was quoting some twit to mock him.
Thanks. That interpretation never occurred to me. I assumed the quote was part of Professor Ullrich's signature because Professor Ullrich endorsed it.