Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- 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
- David Auerbach 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
Blogroll
Tweets @PeterSmith
- Just how did my generation so f***-up UK state education that Gove and co. can now get away with all this? http://t.co/FrlA6Ol2 Posted 7 hours ago
- Kleeneness is next to Gödelness. But you knew that ... Posted 7 hours ago
- There's a youtube video of David Fray playing the 3rd of the Moments Musicaux -- see what you think http://t.co/IU5YPDhu Posted 1 day ago
Category Archives: This and that
Amethe von Zeppelin (continued)
A generous correspondent (much better at this Googling malarkey than I) writes: “Amethe Smeaton was the daughter of a colonial administrator (later a liberal MP) called Donald Smeaton. She was born in the late 1890s and was at Girton College … Continue reading
Posted in This and that
Leave a comment
Amethe von Zeppelin
I’ve had Carnap’s The Logical Syntax of Language on my shelves for over forty years. I can’t say it was ever much consulted; but I’ve been reading large chunks of it today, in connection with Gödel. Carnap’s book is often … Continue reading
Posted in This and that
1 Comment
A Christmas card
With all good wishes for a peaceful Christmas
Posted in This and that
Leave a comment
Back to Grice …
Piled on my study floor — part of the detritus from clearing my faculty office — are some box files containing old lecture notes and the like. I’m going through, trashing some bundles of pages and scanning others for old … Continue reading
Posted in This and that
Leave a comment
LaTeX now works in comments too …
If you want to insert LaTeX maths into a comment (‘cos the ascii mock-up of some bit of logical notation is just too horrible), then you now can. If ‘$ some-code $’ gives you what you want in standard LaTeX, … Continue reading
Posted in This and that
Leave a comment
Leonardo at the National Gallery
Bother. All pre-bookable tickets for the Leonardo Da Vinci exhibition at the National Gallery are sold out from now to the end of the show in February. It would have been good to go a second time. But at least … Continue reading
Posted in This and that
Leave a comment
Three philosophy jobs in Cambridge
Three lectureships have been advertised, and the details are here. No, this isn’t the wildly overdue expansion of the Cambridge philosophy faculty from an establishment of twelve (as it has been for thirty years). I’ve already retired, Jane Heal retires … Continue reading
Posted in This and that
Leave a comment
Vermeer in Cambridge
We went today to the Fitzwilliam Museum to see for the first time (but definitely not the last) Vermeer’s Women: Secrets and Silence. A rather wonderful exhibition, astonishingly gathering four Vermeers in the same room, with another twenty-eight pictures from the Dutch ‘Golden … Continue reading
Posted in This and that
1 Comment
Beginning maths, beginning philosophy
Tim Gowers has begun what he plans to be a long series of posts on his blog giving advice for beginning Cambridge mathmos. But the posts should of course be of great interest for new undergraduate mathematicians anywhere. So spread … Continue reading
Posted in This and that
6 Comments
Abortion, again
It has been depressing to see the issue of abortion being politicised again in the UK, when a hard-won, decent and humane settlement has been in place. And it is particularly depressing for a philosopher to see that usual dreadful … Continue reading
Posted in This and that
18 Comments