Hi Bob, The article is GOEDELCP in the Mizar Mathematical Library. Jesse On Feb 11, 2005, at 22:21, Robert M. Solovay wrote:
Someone recently mentioned a Mizar article on Godel's theorem. Could someone give me the cite for this article. Thanks, Bob Solovay