Example: The Truth Set of Arithmetic
Every arithmetical set is hyperarithmetical, but there are many other hyperarithmetical sets. One example of a hyperarithmetical, nonarithmetical set is the set T of Gödel numbers of formulas of Peano arithmetic that are true in the standard natural numbers . The set T is Turing equivalent to the set, and so is not high in the hyperarithmetical hierarchy, although it is not arithmetically definable by Tarski's indefinability theorem.
Read more about this topic: Hyperarithmetical Theory
Famous quotes containing the words truth, set and/or arithmetic:
“Seeing then that truth consisteth in the right ordering of names in our affirmations, a man that seeketh precise truth had need to remember what every name he uses stands for, and to place it accordingly, or else he will find himself entangled in words, as a bird in lime twigs, the more he struggles, the more belimed.”
—Thomas Hobbes (1588–1679)
“All I’m telling you is that that little creature in there has as much right to live as you do. Don’t forget, you invaded his world. You sank a pipe six miles into the ground and when he climbed up you set dogs on him, shot him.”
—Richard Fielding, and Lee Sholem. Superman (George Reeves)
“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)