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:

    There was not much that was ahead of him,
    And there was nothing in the town below—
    Where strangers would have shut the many doors
    That many friends had opened long ago.
    —Edwin Arlington Robinson (1869–1935)

    Your discovery of the contradiction caused me the greatest surprise and, I would almost say, consternation, since it has shaken the basis on which I intended to build my arithmetic.... It is all the more serious since, with the loss of my rule V, not only the foundations of my arithmetic, but also the sole possible foundations of arithmetic seem to vanish.
    Gottlob Frege (1848–1925)