Common Subtraction

Some articles on common subtraction, subtraction:

Algorithm Characterizations - 1943, 1952 Stephen Kleene's Characterization - 1952 "Turing's Thesis"
... Examples "Functions" include "common subtraction m-n" and "addition m+n" "Partial function" "Common subtraction" m-n is undefined when only natural numbers (positive ... Addition (also is the Constant function if one operand is 0) Increment (Successor function) Common subtraction (defined only if x ≥ y) ... Proper subtraction x┴y (as defined above) The identity function for each i, a function UZn = ΨZn(x1.. ...

Famous quotes containing the word common:

    There is all the poetry in the world in a name. It is a poem which the mass of men hear and read. What is poetry in the common sense, but a hearing of such jingling names? I want nothing better than a good word. The name of a thing may easily be more than the thing itself to me.
    Henry David Thoreau (1817–1862)