Dialectic mathematics is a rigorously logical science, where statements are either true or false, and where objects with specified properties either do or do not exist. Algorithmic mathematics is a tool for solving problems. Here we are concerned not only with the existence of a mathematical object, but also with the credentials of its existence. Dialectic mathematics is an intellectual game played according to titles about which there is a high degree of consensus. The rules ol the game of algorithmic mathematics vary according to the urgency of the problem on hand. We never could have put a man on the moon if we had insisted that the trajectories should be computed with dialectic rigor. The rules may also vary according to the computing equipment available. Dialectic mathematics invites contemplation. Algorithmic mathematics invites action. Dialectic mathematics generates insight. Algorithmic mathematics generates results.
–