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
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
History of the Churchâ€“Turing thesis! – 1976:94 van Heijenoort 1976:83 GĂ¶del 1931a in (Davis 1965:6), 1930 in (van Heijenoort 1967:596) GĂ¶delâ€™s theorem IX, GĂ¶del 1931a in (Davis 1965:36) This