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:
“The truth is not simply what you think it is; it is also the circumstances in which it is said, and to whom, why, and how it is said.”
—Václav Havel (b. 1936)
“Reason is natural revelation, whereby the eternal father of light, and fountain of all knowledge, communicates to mankind that portion of truth which he has laid within the reach of their natural facilities: Revelation is natural reason enlarged by a new set of discoveries communicated by God immediately, which reason vouches the truth of, by the testimony and proofs it gives, that they come from God.”
—John Locke (1632–1704)
“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)