Monthly Archives: April 2017

In the last post there was plenty about Gödel but not much about Grammar and Go-the-game. Time to pay my debt! Basically I said that Gödel’s results proved that no fixed set of facts and rules can on their own form … Continue reading →

More than eighty five years ago  Kurt Gödel proved, roughly speaking, that no fixed set of a formal facts (like 23+14=37) and rules (like x+y = y+x) can establish the truth or falsity of every theorem about arithmetic over the counting … Continue reading →