Dialectical mathematics is a rigorously logical science, where statements are either true or false, and where objects with specified properties eithe… - William Rowan Hamilton

" "

Dialectical 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. Dialectical mathematics is an intellectual game played according to rules about which there is a high degree of consensus. The rules of the game of algorithmic mathematics may 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.