Either mathematics is too big for the human mind, or the human mind is more than a machine.
Quotes from Topoi : The Categorial Analysis of Logic — Kurt Gödel
Attribution
Quotes and notes from Wikiquote: Kurt Gödel (page history), available under CC BY-SA 4.0.