Category Archives: Gödel’s theorems

G

Gödel Without Tears, for onscreen reading

Just to say that my Gödel Without Tears notes can now be downloaded in two versions, differing only in formatting. There’s the A4 version as before: but also a version reformatted to suit the screen proportions of an iPad which will be … Continue reading

Posted in Gödel's theorems | Leave a comment

GWT2

A complete first draft of the revised version of Gödel Without Tears is now available for download here. I hope in due course to improve the suggestions for further reading, particularly with pointers to resources on the web. But the … Continue reading

Posted in Gödel's theorems | Leave a comment

Gödel Without (Too Many) Tears, 2014 version

I’ve made a start updating the notes Gödel Without Tears. The previous version of the notes was downloaded nearly three thousand times in the last twelve months: so it certainly seems worth putting in the effort to produce a better … Continue reading

Posted in Gödel's theorems, Logic | 2 Comments

Gödel’s incompleteness theorems, on SEP at last

The Stanford Encyclopedia of Philosophy (what would we do without it?) has at last filled one of its notable gaps in coverage: there is now a entry by Panu Raatikainen on Gödel’s Incompleteness Theorems. It isn’t quite how I would have written … Continue reading

Posted in Gödel's theorems | 6 Comments

Back to Gödel Without Tears — but not a MOOC

For a number of years, when I taught a course on Gödel’s incompleteness theorems, I distributed handouts, which — as is the way of these things — grew and grew and eventually became early drafts of An Introduction to Gödel’s Theorems. But … Continue reading

Posted in Gödel's theorems | 3 Comments

An open problem about Rosser sentences?

Fix on a provability predicate Prov for a suitable theory T (there’s a lot of choices to make here, starting of course with a choice of Gödel coding). Then any Gödel sentence in the sense of a fixed point for … Continue reading

Posted in Gödel's theorems, Logic | 4 Comments

IGT2 … and now available as an ebook

IGT2 is now available from here as an ebook (don’t ask me why it should be a trifle more expensive that the UK paperback … publishers’ pricing policies for e-editions generally is a mystery). Anyway, according to info on the site, … Continue reading

Posted in Gödel's theorems | Leave a comment

IGT2: a spotter’s guide

So here’s how to spot IGT2 out in the wild, lurking shyly on the bookseller’s shelves, trying to hide its gaudy plumage … Distinctive yellow flashes, and quite a bright blue-green spine with white markings. Multi-coloured on the front. Thought … Continue reading

Posted in Gödel's theorems | 2 Comments

Gödel, 2nd edition again

OK, here for download [from August, no longer available] are the opening 22 chapters (164 pages) of a draft of the 2nd edition of my Gödel book). This covers up to and including the first, Gödelian, proof of the First Incompleteness … Continue reading

Posted in Gödel's theorems | 6 Comments

Another instalment of IGT2 (mostly harmless)

Over three months after the last instalment, here is another helping of the draft version of the second edition of my Gödel book. To keep things simple, I am posting as a single document a corrected version of what are … Continue reading

Posted in Gödel's theorems | 1 Comment