Top News, Articles, and Interviews in Philosophy

Gödel Without Tears, not quite the end

Philosophy News image
I was intending to post Chapter 17 today — the final chapter, dealing with Löb’s Theorem and related results. But looking again at my draft version yesterday, I thought it was/is rather a mess, and that some of the material is even in the wrong chapter. So some not-quite-trivial rewriting is needed. It will be a day or two before I can get down to doing that. Meanwhile, many thanks to all those (some here, more by email) who have sent corrections and comments and suggestions about earlier chapters. I’ll try to get a revised version of the whole thing, plus suggestions for further reading, and an index, done by the middle of next month. And then delight the world with another Big Red Logic Book … The post Gödel Without Tears, not quite the end appeared first on Logic Matters.

Continue reading . . .

News source: Logic Matters

blog comments powered by Disqus