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

Posted in Books | 1 Comment

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