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:
“The movies were my textbooks for everything else in the world. When it wasn’t, I altered it. If I saw a college, I would see only cheerleaders or blonds. If I saw New York City, I would want to go to the slums I’d seen in the movies, where the tough kids played. If I went to Chicago, I’d want to see the brawling factories and the gangsters.”
—Jill Robinson (b. 1936)
“I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.”
—Gottlob Frege (1848–1925)