- explicit definability
- мат. явная определимость
Большой англо-русский и русско-английский словарь. 2001.
explicit definability
Смотреть что такое "explicit definability" в других словарях:
Beth definability — In mathematical logic, Beth definability states that for any two models A , B of a first order theory T in the language L ⊇ L, if A | L = B | L (where A | L is the reduct of A to L ) implies that for all tuples a of A , A ⊨ φ [ a ] if and only if … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Constructible universe — Gödel universe redirects here. For Kurt Gödel s cosmological solution to the Einstein field equations, see Gödel metric. In mathematics, the constructible universe (or Gödel s constructible universe), denoted L, is a particular class of sets… … Wikipedia
Turing degree — Post s problem redirects here. For the other Post s problem , see Post s correspondence problem. In computer science and mathematical logic the Turing degree or degree of unsolvability of a set of natural numbers measures the level of algorithmic … Wikipedia
Reduction (recursion theory) — In computability theory, many reducibility relations (also called reductions, reducibilities, and notions of reducibility) are studied. They are motivated by the question: given sets A and B of natural numbers, is it possible to effectively… … Wikipedia
Robert Rumely — Robert Scott Rumely (* 23. Juni 1952 in Pullman (Washington)) ist ein US amerikanischer Mathematiker, der sich mit Zahlentheorie beschäftigt. Inhaltsverzeichnis 1 Leben 2 Schriften 3 Weblinks … Deutsch Wikipedia
