“Either mathematics is too big for the human mind, or the human mind is more than a machine.”
Kurt Gödel (1906–1978) logician, mathematician, and philosopher of mathematics
As quoted in Topoi : The Categorial Analysis of Logic (1979) by Robert Goldblatt, p. 13