Tag: Gödel

What is this “complexity” of which you speak?
What is this “complexity” of which you speak?. My review of an excellent companion volume to “Godel, Escher, Bach”

Incompleteness in the natural world
A post inspired by Godel, Escher, Bach, Complexity: A Guided Tour, an article in this week’s New Scientist about the clash between general relativity and quantum mechanics and personal humiliation. The everyday incompleteness: This is the personal humiliation bit. For the first time ever I went on a “Parkrun” today – the 5km Finsbury Park…

How I discovered the fundamental theorem of arithmetic by chance
Actually, of course, I rediscovered it. I have been attempting to read, for the third time Douglas Hofstadter‘s celebrated Godel, Escher, Bach: I bought a copy in Washington DC in 2009 and loved it (though didn’t get very far before I put it down for some reason) but I have always struggled to get deeply…

Gödel, Turing and decidability
I am still wandering around in the world opened to me by The Annotated Turing – perhaps a little lost, but I have been reading some guide books. The most recent of these has been Gödel’s Proof which gives a gentle(ish) introduction to Gödel’s incompleteness theorem. This is a short, but fascinating book that I repeatedly…