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 McCarthy, Michael Rabin) as well as many prominent computer scientists. The workshop was organized years ago, before I got my Ph.D., hence before I was in any position to be invited. But due to the Intifada, the workshop had to be postponed. I am honored and humbled to have been invited to be here.

I hope I'll have some time to post about it.