The Prague Astronomical Clock

The astronomical clock in the Old Town Square in Prague is a tourist trap, and the square is full of people taking selfies of themselves as the clock strikes. A schematic of the clock shows how it measures: – time – zodiac, solar and lunar movements, sunrise and sunset. It also has figures representing vanity,…

Automatic Theorem Proving

To Microsoft Research in Cambridge on Thursday, to hear Prof Sir Timothy Gowers lecturing on What are the Prospects for Automatic Theorem Proving?. An example of the English academic at his best: self-deprecatory, cautious, but absolutely certain when on his own ground. Above all, able to explain a complex subject in a way which a…

Free will in Kingston

Went to the Kingston Philosophy Cafe last night for a very interesting talk by Roger Jennings on Free Will. Two things stayed with me: 1. is it possible to imagine how one would act if one was convinced that there was no free will and every action was predetermined? (I can’t imagine that.) 2. Is…