It is the purpose of this brief study to furnish a concrete illustration of the thesis that every formula translation system is effectively equivalent to a class of combinatorial systems. Two systems are effectively equivalent if each is effective in its behaviour and both yield identically the same results when set into operation on the same initial set of information.
展开▼