axioms примеры

• It’s as if mathematicians would start with the axioms.
  Это как если бы математики начинали бы с аксиом.
• The above properties depend on some axioms valid for groups.
  Описанные выше свойства зависят от некоторых аксиом для групп.
• The axioms were first defined by Manuel Blum in 1967.
  Впервые эти аксиомы были сформулированы Мануэлем Блюмом в 1967 году.
• Separation In general, quotient spaces are ill-behaved with respect to separation axioms.
  Отделимость В общем случае факторпространства плохо себя ведут относительно аксиом отделимости.
• In 1902, he further showed that one of Hilbert's axioms for geometry was redundant.
  В 1902 году он доказал, что одна из аксиом Гильберта следует из остальных.
• Then, by the axioms defining an ordered field, ω, ω2, and 1 are all positive.
  Тогда, по аксиомам, определяющим упорядоченное поле, ω, ω2 и 1 все положительны.
• The practice of combining conflicting axioms indicated the failure or distortion of the language of description.
  Практика объединнения или конфликтные утверждения указывали на искажение языка описания.
• The choice of axioms is not easy. Is it sufficient that axioms are not contradictory?
  Выбор аксиом нелёгок. Достаточно ли того, чтобы в системе аксиом не было противоречия?
• The choice of axioms is not easy. Is it sufficient that axioms are not contradictory?
  Выбор аксиом нелёгок. Достаточно ли того, чтобы в системе аксиом не было противоречия?
• An assignment of Halsted's led Moore to prove that one of Hilbert's axioms for geometry was redundant.
  Под руководством Халстеда Мур доказал, что одна из аксиом Гильберта является излишней.
• That might imply revisiting some of the fundamentals and axioms of the debate on the issue.
  Для этого, возможно, придется переосмыслить некоторые постулаты и аксиомы, лежащие в основе обсуждения этой проблемы.
• From the point of view of synthetic geometry, projective geometry should be developed using such propositions as axioms.
  С точки зрения синтетической геометрии проективную геометрию следует создавать, используя такие утверждения в качестве аксиом.
• Readers must accept a number of facts at the start without proof, and these are called axioms or postulates.
  Сначала читатели должны принять некоторое число фактов без доказательства — эти факты называют аксиомами или постулатами.
• Both finite affine plane geometry and finite projective plane geometry may be described by fairly simple axioms.
  Как конечная аффинная геометрия на плоскости, так и конечная проективная геометрия на плоскости могут быть описаны достаточно простыми аксиомами.
• Under the Zermelo–Fraenkel approach, the axioms impede the construction of a set of all sets which do not belong to themselves.
  В предположениях Цермело-Френкеля аксиомы препятствуют конструированию множества всех множеств, которые не принадлежат самим себе.
• Importantly, Blum's speedup theorem and the Gap theorem hold for any complexity measure satisfying these axioms.
  Важным является тот факт, что и теорема Блюма об ускорении, и теорема о промежутке верны для любых мер сложности, удовлетворяющих этим аксиомам.
• Once proper adjustments are made that deal with external dependencies, then the axioms of probability theory concerning statistical independence will apply.
  После внесения надлежащих регулировок, это уже будет касаться внешних зависимостей, а затем будут применяться аксиомы теории вероятностей относительно статистической зависимости.
• An examination of the first two axioms shows that they are nearly identical, except that the roles of points and lines have been interchanged.
  Рассмотрение первых двух аксиом показывает, что они почти идентичны, разве что роли точек и прямых поменялись.
• On the other hand, mathematicians can be perfectly happy with a set of non-contradictory axioms that do not reflect the real world at all.
  С другой стороны, математики вполне могут быть довольными, работая с набором непротиворечивых аксиом, которые не отражают реальный мир вообще.
• Theoretical justifications of the idea of number are connected first of all with the definition of "natural number" and Peano's axioms formulated in 1889.
  Теоретические обоснования представления о числе связаны в первую очередь со строгим определением натурального числа и аксиомами Пеано, сформулированными в 1889 году.