Mathematics is no more computation than typing is literature.

—John Allen Paulos