“The contribution of mathematics, and of people, is not computation but intelligence.”