SpaceTimeMind

You may (or may not) have noticed that Pete Mandik and Richard Brown (me) have started a podcast, called SpaceTimeMind, where we talk about tax law updates for 2014, uh, I mean, er, we talk about space and time and mind! The first episode is up now (and has been …

Online Lectures by Davis, Kripke, and McCarthy

Oron Shagrir informed me that three of the lectures from the recent Workshop on the Origins and Nature of Computation that took place in Jerusalem and Tel Aviv have been posted online, courtesy of the Van Leer Jerusalem Institute.Martin Davis, “The Church-Turing Thesis: Consensus and Opposition“Saul Kripke, “From Church’s Thesis to …