General recursion theorem
mathematics
Cantor’s theorem, originally stated for ordinals, which extends inductive proof to recursive construction. The proof is by pasting together “attempts” (partial solutions).
[Better explanation?]
(1995-06-15)
Read Also:
- General-rule
noun, Law. 1. See under (def 10). [rool] /rul/ noun 1. a principle or regulation governing conduct, action, procedure, arrangement, etc.: the rules of chess. 2. the code of regulations observed by a religious order or congregation: the Franciscan rule. 3. the customary or normal circumstance, occurrence, manner, practice, quality, etc.: the rule rather than […]
- General-relativity
noun 1. Physics. See under (def 2). [rel-uh-tiv-i-tee] /ˌrɛl əˈtɪv ɪ ti/ noun 1. the state or fact of being . 2. Physics. a theory, formulated essentially by Albert Einstein, that all motion must be defined to a frame of reference and that space and time are , rather than absolute concepts: it consists of […]
- General san martin
[jen-er-uh l san mahr-teen; Spanish he-ne-rahl sahn mahr-teen] /ˈdʒɛn ər əl sæn mɑrˈtin; Spanish hɛ nɛˈrɑl sɑn mɑrˈtin/ noun 1. a city in E Argentina, a suburb of Buenos Aires.
- General-sarmiento
[jen-er-uh l sahr-myen-toh-, -mee-en-; Spanish he-ne-rahl sahr-myen-taw] /ˈdʒɛn ər əl sɑrˈmyɛn toʊ , -miˈɛn-; Spanish hɛ nɛˈrɑl sɑrˈmyɛn tɔ/ noun 1. a city in E Argentina, a suburb of Buenos Aires.
- General-semantics
noun, (used with a singular verb) 1. a philosophical approach to language, developed by Alfred Korzybski, exploring the relationship between the form of language and its use and attempting to improve the capacity to express ideas. noun 1. (functioning as sing) a school of thought, founded by Alfred Korzybski, that stresses the arbitrary nature of […]