Possible ways of mechanization for counting using a binary system are discussed. Shows a binary representation of the numbers and geometric models having eight triples of lamps. Provides three problem sets. (YP)

Several subtraction algorithms are analyzed to see if they involve borrowing. The main focus is on an analysis of a procedure called the residue method. The operational arithmetic which underlies the symbolic manipulations is examined and conditions where the method does and does not use borrowing are highlighted. (MP)