Godel’s theorems on the incompleteness and undecidability of mathematical systems are among the deepest and most significant discoveries of the 20th century. They represent a dramatic failure of one of the fondest hopes of European Enlightenment philosophers. This was their core faith that all human knowledge can be obtained by using…
