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:
“Truth exists. The sole purpose of this proposition is to assert the existence of truth against imbeciles and sceptics.”
—Edward Herbert Of Cherbury, Lord (1583–1648)
“The cunningest dissimulation is when a man pretends to be caught in the traps others set for him; and a man is never so easily over-reached as when he is contriving to over-reach others.”
—François, Duc De La Rochefoucauld (1613–1680)
“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)