Godel’s Theorems

Peter Smith has posted the complete draft of his book on Godel’s Theorems online (forthcoming from CUP).  Among other things, the book contains some interesting and provocative remarks about the Church-Turing thesis, including an argument that it is provable.  Smith invites everyone to check out his book and send him comments and corrections.His …

Workshop on Computation

The workshop on the Origins and Nature of Computation is over. It was an amazing experience: many of the best computability theorists and computer scientists, philosophers of computation, and historians of computation discussing together. One of the presenters, Stewart Shapiro, has a new book on Vagueness in Context (OUP, 2006), …

The Origins and Nature of Computation

I’m in Jerusalem at the workshop on The Origins and Nature of Computation, which started today. Many of the most prominent historians and philosophers of computation are here (e.g., Kripke, Copeland, Sieg, Shagrir, Stewart Shapiro), and so are some of the founding fathers of computer science (e.g., Martin Davis, John …

Back to Top