Robinson Arithmetic

In mathematics, Robinson arithmetic, or Q, is a finitely axiomatized fragment of Peano arithmetic (PA), first set out in R. M. Robinson (1950). Q is essentially PA without the axiom schema of induction. Since Q is weaker than PA, it is incomplete. Q is important and interesting because it is a finitely axiomatized fragment of PA that is recursively incompletable and essentially undecidable.

Read more about Robinson Arithmetic:  Axioms, Metamathematics

Famous quotes containing the words robinson and/or arithmetic:

    We cannot know how much we learn
    From those who never will return,
    Until a flash of unforeseen
    Remembrance falls on what has been.
    —Edwin Arlington Robinson (1869–1935)

    O! O! another stroke! that makes the third.
    He stabs me to the heart against my wish.
    If that be so, thy state of health is poor;
    But thine arithmetic is quite correct.
    —A.E. (Alfred Edward)