- metamathematical polynomial
- мат. метаматематический многочлен
Большой англо-русский и русско-английский словарь. 2001.
metamathematical polynomial
Смотреть что такое "metamathematical polynomial" в других словарях:
Church–Turing thesis — Church s thesis redirects here. For the constructive mathematics assertion, see Church s thesis (constructive mathematics). In computability theory, the Church–Turing thesis (also known as the Church–Turing conjecture, Church s thesis, Church s… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… … Wikipedia
Yuri Matiyasevich — Born March 2, 1947 (1947 03 02) (age 64) Leningra … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Hilbert , David — (1862–1943) German mathematician Hilbert studied at the university in his native city of Königsberg (now Kaliningrad in Russia) and at Heidelberg; he also spent brief periods in Paris and Leipzig. He took his PhD in 1885, the next year became… … Scientists
Juri Wladimirowitsch Matijassewitsch — (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Leningrad) ist ein russischer Mathematiker und Inform … Deutsch Wikipedia
Algebraic structure — In algebra, a branch of pure mathematics, an algebraic structure consists of one or more sets closed under one or more operations, satisfying some axioms. Abstract algebra is primarily the study of algebraic structures and their properties. The… … Wikipedia
Juri Matijassewitsch — Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Sankt Petersburg) ist ein russischer Mathematiker und… … Deutsch Wikipedia
Matijassewitsch — Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Sankt Petersburg) ist ein russischer Mathematiker und… … Deutsch Wikipedia
Yuri Matiyasevich — Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Sankt Petersburg) ist ein russischer Mathematiker und… … Deutsch Wikipedia
