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:
“I have lived in both worlds. And I think I prefer, to the indifferent, haphazard, money- mad hurry of the Outside World, that of my world; that sympathy and understanding grown shadowy since I have been away from it so long, still is more real to me than the world I am in now. Not only the spangles and the gay trappings made it colorful; there was an inner color that warmed the soul. And that I miss.”
—Josephine Demott Robinson (1865–1948)
“Under the dominion of an idea, which possesses the minds of multitudes, as civil freedom, or the religious sentiment, the power of persons are no longer subjects of calculation. A nation of men unanimously bent on freedom, or conquest, can easily confound the arithmetic of statists, and achieve extravagant actions, out of all proportion to their means; as, the Greeks, the Saracens, the Swiss, the Americans, and the French have done.”
—Ralph Waldo Emerson (1803–1882)