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: April 2010
Pseuds vs academic bureaucrats
Let me come clean. By my lights, the University of Middlesex philosophy department appears to be a fount of appallingly pretentious pseudery and intellectual garbage of the worst kind. Don’t take my word for it; have a browse through the … Continue reading
Posted in Academic life, Rants
1 Comment
Shiny new L4L
Ok, that took less time than I thought it would. So there’s now an exciting new improved LaTeX for Logicians to gladden geeky hearts. There are some rough edges which will get smoothed, but it is functional. Now tell me … Continue reading
Posted in Geek stuff
2 Comments
Blowing the dust off LaTeX for Logicians
The LaTeX for Logicians pages have been woefully ignored of late. But at last — as a bit occupational therapy while my brain is still in a jet-lagged mush — I’ve started moving the pages to this site, updating content … Continue reading
Posted in Geek stuff
Leave a comment
Haaparanta and Kunen
Not too much serious work has got done the last couple of weeks, what with touristy visits and finishing Christchurch teaching. But I have been dipping into two recent books. Leila Haaparanta’s The Development of Modern Logic (OUP 2009, weighing … Continue reading
Posted in Books
Leave a comment
Postcard from Arrowtown
We spent Easter doing the touristy thing of driving down to Queenstown and taking the coach/boat trip to Milford Sound. Just beautiful. Less wildly dramatic but in its way as beautiful was the drive on from Queenstown to Wanaka over … Continue reading
Posted in This and that
Leave a comment
Gödel Without (Too Many) Tears — the whole story!
Just to say that all eleven handouts for my short course at UC Christchurch are now online here. These should serve as an introduction to the first three quarters of my Introduction. (Many thanks to David Makinson for catching some … Continue reading
Posted in Gödel's theorems
1 Comment