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
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Category Archives: This and that
Rediscovering reading …
One of the joys of retirement, I’m discovering, is that there seems to be a lot more time for reading. I mean reading that isn’t either logic/philosophy on the one hand, or wind-down late-night novels on the other. Of course, … Continue reading
Posted in This and that
Leave a comment
Cambridge news: congratulations/two jobs
First, the very warmest of congratulations to my colleague Michael Potter, who will become a Professor in the Faculty of Philosophy from October 1st. And about time too. Second, two temporary teaching posts have been advertised for October. They are … Continue reading
Posted in This and that
Leave a comment
Last chance to see
The exhibition ‘Jan Gossaert’s Renaissance’ is on at the National Gallery for another ten days. Warmly recommended. Especially to those, like us, who are really pretty ignorant of the Northern Renaissance. Quite a revelation. We learnt a lot, and some of … Continue reading
Posted in This and that
Leave a comment
A First Eleven, 1975
Retirement looms/beckons (depending on whether it’s a day that I feel it is to be regretted or welcomed). So I’ve started really clearing out my office (as opposed to the occasional half-hearted efforts in the past). Most of a filing … Continue reading
Posted in This and that
5 Comments
Intro to Gödel’s Theorems, Mk 2
I’ve just heard that CUP will probably look kindly on a proposal for a second edition of my Gödel book, to come out two or three years hence. There have already been a couple of (quite heavily) corrected reprints, but … Continue reading
Posted in This and that
4 Comments
AV vs FPTP
Apart from sounding off occasionally about Higher Education Bollocks (there really is a lot of it about), I tend to steer off politics here. My half-baked and (these days) ill-informed prejudices would be of little interest. Still, I’ve always been … Continue reading
Posted in This and that
8 Comments
Postcard from the Bahamas
We are staying with Ms Rum’n’Reason and Mr R&R on New Providence — more exactly, we’re staying in the north west corner of the island, well away from Nassau where the cruise ships dock. Here, as you can see, the … Continue reading
Posted in This and that
2 Comments
Huw Price to Cambridge
Good news, I hear as I get online from the Bahamas. Huw Price is definitely coming (back) to Cambridge as the next Bertrand Russell Professor of Philosophy on Simon Blackburn’s retirement. Also the danger that my lectureship would lapse on … Continue reading
Posted in This and that
Leave a comment
Only 46 years late …
Cambridge has its own funny little ways. One example: for decades, if you took Part III of the maths tripos — one of the tougher exams on planet Earth — you got no formal recognition at all, just the glory. … Continue reading
Posted in This and that
2 Comments
Back to work … and in praise of Jonathan Raban
A surprisingly busy term over. Almost. So, inter alia, I can at last get back to writing my ordinals book and to blogging about Alan Weir’s book Truth Through Proof. Watch this space. Meanwhile, I’ve just finished (re)reading Jonathan Raban’s … Continue reading
Posted in This and that
Leave a comment