After nearly 11 years, I’ve finally decided to pull the plug on Usenet archive: Groupsrv.com.
The page you have requested no longer exists!
But don’t panic just yet!
I’ve coded this page in a way, that it’s monitoring each redirect & capturing data about the thread you’ve requested. Page you’ve requested is still available in Google’s Usenet Archive. You should be able to access it using following URL:
Note: I can’t guarantee that all Groupsrv.com pages can be found in Google Groups, but over 90% of the content should be there. If not, try the resources below!
Raymond Smullyan! – considerably more elementary than that of GĂ¶del‘s 1931 landmark paper. The contemporary understanding of GĂ¶del‘s theorem dates from this paper. Smullyan
GĂ¶del’s incompleteness theorems! – as GĂ¶del‘s incompleteness theorem and as the GĂ¶delâRosser theorem. GĂ¶del‘s second incompleteness theorem first appeared as "Theorem XI" in GĂ¶del‘s 1931
GĂ¶del’s ontological proof! – GĂ¶del‘s ontological proof is a formal argument for God’s existence by the mathematician Kurt GĂ¶del (1906â1978). It is in a line of development that goes
GĂ¶del (programming language)! – Basic ideas and features of GĂ¶del are mainly taken from Prolog language. It is named in honour of logician Kurt GĂ¶del, although the acronym âGod’s Own
Mechanism (philosophy)! – The GĂ¶del Theorem and Human Nature, a talk given by Hilary Putnam in the GĂ¶del centenary 2006  Lucas, J. R., 1961, "Minds, Machines, and GĂ¶del." Philosophy