Computerizing Mathematics: Logic and Computation
Michael J. Beeson · 1990
Abstract The two central aspects of mathematics are logic and computation. Mathematics has been used to compute the orbits of the planets and spaceships, to explain the ice ages, and to design tall buildings and majestic ships. The calculus, whose very name emphasizes calculation, was created in part to solve the problem of the calculation of longitude at sea, whose application to navigation was an important commercial problem of the era. Applied mathematics and engineering rely upon the computational aspect of mathematics.