Tag: godel

In the previous post we looked at the system of Gödel numbering that allowed Gödel to map any natural number to a unique mathematical expression. In this post we will look at how Gödel succeeded in using this system of numbering to make mathematical statements refer to themselves. First remember that Gödel used the following…

I was first introduced to Gödel’s incompleteness theorems when I was doing my master’s degree when one of my apartment mates suggested that I should read Gödel, Escher, Bach: An Eternal Golden Braid by Douglas Hofstadter. When I read the book, I was immediately hooked. However, to be frank, I did not understand that Hofstadter…