Mathematics is no more computation than typing is literature

john allen