Mathematics is no more computation than typing is literature