Tag: Kurt Gödel
-
“Ultimate L” explained
Well, that is what I wanted to write about – Hugh Woodin‘s theories of infinity, and indeed I found a blog that discussed a lot of this – http://caicedoteaching.wordpress.com/2010/10/19/luminy-hugh-woodin-ultimate-l-i/ But that is somewhat beyond me! And there does not appear to be a wikipedia article on this, so you may have to wait for some…
-
Goedel’s Incompeteness theorem surpassed?
Gödel’s Incompleteness Theorems are one of the cornerstone’s of modern mathematical thought but it is also a major blot on the mathematical landscape – as it establishes an inherent limit on the ability of mathematicians to describe the mathematical world: the first theorem (often thought of as the theorem) states that no consistent (ie self-contained)…
-
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…