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:
“Now view yourself as I was, on the spot—
With a slight kind of engine. Do you see?
Like this . . . You wouldn’t hang me? I thought not.””
—Edwin Arlington Robinson (1869–1935)
“‘Tis no extravagant arithmetic to say, that for every ten jokes,—thou hast got an hundred enemies; and till thou hast gone on, and raised a swarm of wasps about thine ears, and art half stung to death by them, thou wilt never be convinced it is so.”
—Laurence Sterne (1713–1768)