Kurt Gödel was a Platonist, logician and mathematician who developed the intention of making a profound and lasting impact on philosophical mathematics. His next task was to think of something! Amazingly, at the age of twenty five, he achieved his goal, publishing his incompleteness theorem.
A good friend of Albert Einstein’s, Einstein once said that late in life when his own work was not amounting to much, the only reason he bothered going to his office at the Institute for Advanced Study at Princeton was for the pleasure of walking home with Gödel.
John von Neumann wrote: “Kurt Gödel’s achievement in modern logic is singular and monumental – indeed it is more than a monument, it is a landmark which will remain visible far in space and time. … The subject of logic has certainly completely changed its nature and possibilities with Gödel’s achievement.”
While at university, Gödel attended a seminar run by David Hilbert who posed the problem of completeness: Are the axioms of a formal system sufficient to derive every statement that is true in all models of the system? Continue reading