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: May 2010
Another Cambridge bookshop gone
It must be almost fifty years since I first bought a book at Galloway and Porters. But I’ve just bought my last book there as they are closing down at the end of the month, after trading for over a … Continue reading
Posted in Books
Leave a comment
Hydra games, anyone?
Ok, there’s the foundations-significant Kirby/Paris hydra battle, where we can show that Hercules always wins, by a transfinite induction up to ε0. Now, there must be lots of other hydra games — maybe some of them even a bit interesting! … Continue reading
Posted in Logic
Leave a comment
Curry, Lukasiewicz, and Field (revised)
As I said in the last post, we’ve fairly recently started working through Field’s Saving Truth from Paradox in our reading group. It fell to me to introduce Ch. 4 on Curry’s Paradox and (infinite valued) Lukasiewicz logics yesterday. I … Continue reading
Posted in Logic
8 Comments
Squeezing arguments
When I was in NZ, I gave a talk at four universities on the prospects for a squeezing argument to prove Church’s Thesis. But in fact half of the talk had to be about the very idea of a squeezing … Continue reading
Posted in Logic
6 Comments
Proving FLT
Colin McLarty has posted a preprint of a forthcoming BSL piece “What does it take to prove Fermat’s Last Theorem?‘. I don’t pretend to understand everything here. But even if you don’t get all the details, the paper still should … Continue reading
Posted in Logic
Leave a comment
Bell’s The Axiom of Choice
A fun talk this afternoon in CMS from John Bell on “The Axiom of Choice in a Constructive Setting”, delivered with really engaging zest: went home with renewed enthusiasm to read the rest of Bell’s recent book which I started … Continue reading
More logic matters
David Marans has posted a slideshow, originally called “Logic Matters” but now “Logic Gallery“, which has a sequence of familiar and not-so-familiar quotations on logic (and thumbnail sketches of their originators).
Posted in Logic
Leave a comment