Tag Archives: Alan Turing

The history of computing

Posted on 10/10/2017 by

Today, the School of Computer Science at St Andrews put on this year’s Distinguished Lectures. The lecturer was Ursula Martin, and she spoke about the history of computing, or more precisely, “What every computer scientist should know about computer history”. … Continue reading →

Posted in events, history | Tagged , , , , | 3 Comments

On foundations

Posted on 29/06/2015 by

Jack Edmonds stayed in my house for two and a half weeks, while giving his two courses on polyhedral combinatorics in London (I reported on the second one here). Whenever we spend time together, we have a robust discussion about … Continue reading →

Posted in Uncategorized | Tagged , , , , , , , , | 3 Comments