gjm comments on Gödel’s Legacy: A game without end