I was wondering whether to spruce up my very rapidly written hand-outs on Gödel’s Theorems which I produced for the Cameleon weekend and publish them here. I was beginning to think I wouldn’t bother, as there are other things I want to be getting on with. But I just now read the chapter on incompleteness in Shawn Hedman’s A First Course in Logic, and that reminded me how crummy some textbook treatments can be, and hence of the need for crisp and clear presentations. Not that Hedman is technically wrong, of course (well, I haven’t read him that carefully, but the details look ok). But I defy any beginning student to take away from his chapter a really clear sense of what the key big ideas are, or of how to distinguish the general results from the hack-work needed to show that they apply to this or that particular theory. So back to those hand-outs!
- And let’s spread some further cheer this morning: https://t.co/1mUx9uSU7c, 19 hours ago
- Over 125 lucid(?) helpful(??) fun (???) posts on intro/intermediate logic for students listed at https://t.co/8BzsQyJzhO Spread the word!, 20 hours ago
- If you need cheering up this morning, this will hit the spot … https://t.co/UlZRLFypjP, 20 hours ago
- Now 125+ Logical Snippets at https://t.co/8BzsQyJzhO Answers to qns of interest to beginning/intermediate logic students. Spread the word!, Nov 21
- RT @I__Love__Italy: Venice https://t.co/EIGQrKe0JD, Nov 20