Quote by Church, Alonzo
"The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise."
More from Church, Alonzo
"I found that there were about 600 or so lot of people who were by definition only people who were trying to figure things out."
"The task is not so much to see what no one has yet seen; but to think what nobody has yet thought about that which everybody sees."
"One cannot escape the feeling that these mathematical formulae have an independent existence and an intelligence of their own."
"In mathematics you don't understand things. You just get used to them."