Mathematics is no more computation than typic is literature - John Allen Paulos