A Logical Symbolism for Proof in Elementary Geometry
The pupil who draws dashes through lines or angles in a geometric diagram to denote equality by hypothesis is taking advantage of an elementary logical symbolism. Ever since the days of Boole and Frege such symbolisms have become increasingly important in representing and furthering mathematical thought. Present day symbolic logic, which is an outgrowth of the methods of logical symbolism, has begun to revolutionize such diverse fields as the design of mathematical instruments, insurance analysis, brain physiology, and electrical network design. The study of symbolic logic at present occupies the full time research of at least two hundred creative mathematicians in our universities and industrial laboratories.