Category Archives: Knights and Knaves

In the last post (my inaugural entry) we took a high altitude look at Gödel’s First Incompleteness Theorem.  In that post we introduced the sentence… G: I am not provable. In this post I would like to look at G within … Continue reading →