And from K. Gödel: “Either mathematics is too big for the human mind or the human mind is more than a machine.”