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…
cartesian product ... stuff about computing mostly 