[jonshea]

Landsburg actually addresses this in his next post! Regarding the Liar Paradox you bring up:

"""One of Kurt Godel’s great insights was that you can go a lot deeper by considering a slightly different sentence: “This sentence is not provable”. If that statement is false, then it’s provable. But surely no false statement should be provable! So maybe the statement is true. In that case, it’s true but not provable, which says something about the limits of logic. It says that not every true statement can be proved.""" [1]

fn 1: http://www.thebigquestions.com/2011/12/13/a-tale-of-three-pa...