``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.
``Human mathematicians are not using a knowably sound algorithm in order to ascertain mathematical truth''
``The cognitive capabilities of human beings are not based on any knowably sound algorithm or algorithms and thus the essential features of the human mind will never be explained computationally''
Roger Penrose in Shadows of the Mind, 1994.