Quote by Church, Alonzo
"A formal proof is a path through logical space that cannot be disputed."
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."