Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- Peter Milne on Carnap and the Diagonalization Lemma (Continued)
- Peter Milne on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
Blogroll
Tweets @PeterSmith
- String quartets (currently playing) I most want to listen to. 1. Takacs. 2. Belcea. 3. Pavel Haas. Your favourites? #classical Posted 18 hours ago
- Tickets arrived for the Pavel Haas Qt @Wigmore-hall in July. Should be great. (Tickets still available … Just saying) Posted 18 hours ago
- Hmmmm. Supposed I better check what I've written more carefully or it will be hemlock for corrupting the youth. Again. Posted 19 hours ago
Monthly Archives: August 2006
Bad news for trees …
… but very good news for me! CUP have just agreed definitely to publish my Gödel book, having had a very positive “clearance review” from an obviously Very Wise Reader with Impeccable Logical Judgement. It just remains to continue working … Continue reading
Posted in This and that
Leave a comment
Joined up thinking and noisy cafés
Jacob Plotkin has e-mailed to point out a stupid mistake just five pages into the previous version(s) of the Gödel book. I’d given a really, really bad reason for saying (what is true) that the incompleteness of arithmetic entails the … Continue reading
Posted in This and that
Leave a comment
How to make life difficult for yourself
A posting on philos-l, on corner quotes: Choose a common font such as Arial. You’ll find a good enough corner there somewhere. Copy the symbol you want so you have it on the clipboard, then paste it into a Word … Continue reading
Posted in Geek stuff
3 Comments
Greg Restall on arithmetic
Greg Restall has put a very nice paper online, called ‘Anti-realist classical logic and realist mathematics’. I’ve always been tempted by logicism in the very broadest sense: but Greg’s critics, of course, will say that he’s just smuggled the rabbit … Continue reading
Gödeling along again
I’ve just posted a “maintenance upgrade” of the first 14 chapters of An Introduction to Gödel’s Theorems on the book’s website (and, now I’ve got a bit of time, redone the site from scratch as well so it is a … Continue reading
Posted in This and that
1 Comment
Categories: episode three
Kai von Fintel has just e-mailed, to send a link to the Good Math, Bad Math blog on category theory which is excellent — a series of mini-essays on concepts of category theory with some very helpful introductory explanations of … Continue reading
Slow work …
It’s slow work, going through my Gödel book a couple of chapters at a time checking for typos (down to the level of missing brackets or periods, ‘x’ for ‘y’, etc.), and looking for thinkos, sentences where the prose could … Continue reading
Posted in This and that
Leave a comment
Categories: episode two
A copy of Steve Awodey’s new Category Theory (Oxford Logic Guides 49) has just been delivered. His preface starts Why write a new textbook on Category Theory, when we already have Mac Lane’s Categories for the Working Mathematician? Simply put, … Continue reading
Posted in Logic
Leave a comment
Categories: episode one
I said I’d post occasional progress reports on getting to grips with Category Theory, to pass on recommendations about what I’ve found helpful, etc. (Perhaps I should explain that — when trying to get into a new chunk of maths … Continue reading
Posted in Logic
Leave a comment
Getting categorical
For a bit of light relief from matters Gödelian, I’m hoping to spend the next couple of months getting more to grips with category theory (well, and why not? — there are world-class category theorists just down the road at … Continue reading
Posted in This and that
1 Comment