Category: Logic

• 

  Barry Cooper, 1943-2015

  October 28, 2015
• Lecture: Gödel, Incompleteness & Unprovable Theorems

  July 23, 2014
• A hat game 2

  May 31, 2012
• A hat game 1

  May 31, 2012
• AI and the Church-Turing Thesis

  May 8, 2012
• John Derrick

  February 10, 2012
• Ultimate L

  July 28, 2011
• An Idiotic Paradox

  June 6, 2011
• Book review: Naming Infinity

  March 13, 2011
• Concrete Incompleteness 1

  October 21, 2010