An Investigation on the Logical Structure of Mathematics (XIII): A Method of Programming of Proofs in Mathematics for Electronic Computing Machines
Sigekatu Kuroda · Nagoya Mathematical Journal · 1960
In spite of invaluable importance of the fundamental circuit logic of performing the basic logical operators AND, OR, and NOT in achieving complicated computations for electronic computing machines, the research of planning and programming of proving a given mathematical or logical assertion for electronic computing machines is incomparatively far behind. This is of course partly because of little practical demand for solving such a theoretical problem, but there is also the essential reason for it that the proving procedures are much more difficult than the computing ones.