After nearly 11 years, I’ve finally decided to pull the plug on Usenet archive:

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:

Not understanding Gödel..

Note: I can’t guarantee that all 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 [1] Lucas, J. R., 1961, "Minds, Machines, and Gödel." Philosophy

Leave a Reply

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code class="" title="" data-url=""> <del datetime=""> <em> <i> <q cite=""> <strike> <strong> <pre class="" title="" data-url=""> <span class="" title="" data-url="">

Post Navigation