*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.

–