Unsolvable Problems: 1990 Lecture Notes

Could the day ever come when mathematics proceeds in a purely mechanistic fashion - that it requires no genuinely new insights? This sounds like a good question for an afternoon's debate. But, strange as it may seem, there is actually a theorem in mathematics to the effect that this subject can never become routine! This result, called Godel's theorem, is one of the greatest discoveries in mathematics of the twentieth century. And - perhaps even more remarkable - the proof of this theorem c...