``It is within mathematics that we find the clearest evidence that there must actually be something in our conscious thought processes that eludes computation''
Roger Penrose in Shadows of the Mind, 1994.
