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
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Monthly Archives: May 2006
It’s that time of year again …
… when I’m buried in tripos marking. Distractions between marking sessions are necessary. So I’ve just finished reading Margaret Atwood’s The Penelopiad which made a wonderful diversion from the usual mixed bag of metaphysics scripts. Incidentally, the white smoke has … Continue reading
Posted in This and that
Leave a comment
Libraries should be circular?
When I was in Aberystwyth, I had a decent sized room in the Hugh Owen Building which is halfway up Penglais, with panoramic views over Cardigan Bay. In Sheffield, I had a huge room on the 12th floor of the … Continue reading
Posted in This and that
Leave a comment
Tired of ontology?
It requires a certain kind of philosophical temperament — which I seem to lack — to get worked up by the question “But do numbers really exist?” and excitedly debate whether to be a fictionalist or a modal structuralist or … Continue reading
Posted in This and that
3 Comments
Laws of nature
I’m giving just four second-year lectures on the philosophy of science this term, revisiting Lakatos (I’m a long-time fan). Last year I talked instead about laws of nature; rather to my surprise I found myself taking exactly the opposite line … Continue reading
Posted in This and that
Leave a comment
Ancestral logic
One of the many things I want to do once I’ve got my Gödel book finished is to slowly trawl through the first twenty years (say) of JSL to see what what our ancestors knew and we’ve forgotten. I was … Continue reading