Either mathematics is too big for the human mind, or the human mind is more than a machine.
As quoted in Topoi : The Categorial Analysis of Logic (1979) by Robert Goldblatt, p. 13
