Hyperarithmetical Theory
In recursion theory, hyperarithmetic theory is a generalization of Turing computability. It has close connections with definability in second-order arithmetic and with weak systems of set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory.
Read more about Hyperarithmetical Theory: Hyperarithmetical Sets, Example: The Truth Set of Arithmetic, Fundamental Results, Relativized Hyperarithmeticity and Hyperdegrees, Generalizations
Famous quotes containing the word theory:
“[Anarchism] is the philosophy of the sovereignty of the individual. It is the theory of social harmony. It is the great, surging, living truth that is reconstructing the world, and that will usher in the Dawn.”
—Emma Goldman (1869–1940)