| But when this axiom was formulated, the accelerating expansion of the universe, which implies a negative pressure, was not known yet. | Но когда была сформулирована эта аксиома, ускоряющееся расширение Вселенной, подразумевающее отрицательное давление, еще не было известно. |
| So next, the scientific method - an axiom of physics, of all science - says you cannot prove a hypothesis through observation, | Следующее, научный подход, аксиома физики и всей науки вообще - нельзя доказать гипотезу путем наблюдения. |
| Notably, even though this latter relation is frequently presented as an axiom of the theory, in Bohm's original papers of 1952 it was presented as derivable from statistical-mechanical arguments. | Стоит отметить, что, хоть это последнее соотношение нередко представляется как аксиома теории, в оригинальной статье Бома от 1952 года оно было представлено как вывод из статистико-механических аргументов. |
| The axiom "justice delayed is justice denied" remains all too true. | Аксиома «задержка в правосудии приводит к отказу в правосудии» неизменно сохраняет свой смысл. |
| "A" is for Axiom, your home sweet home. | На "а" - "Аксиома", ваш родной дом. |
| This axiom is crucial for the Millennium Development Goals and for sustaining gains in the future. | Данный постулат чрезвычайно важен для выполнения Целей развития тысячелетия и для закрепления достижений в будущем. |
| The axiom "all children can be taught" is being successfully implemented. | В республике успешно реализуется постулат «все дети обучаемы». |
| All the mathematical knowledge of Axiom is written in this language. | Вся математическая база Axiom написана на этом языке. |
| The general case was solved and implemented in Scratchpad, a precursor of Axiom, by Manuel Bronstein. | Общий случай был решён и реализован Мануэлем Бронштейном в Scratchpad (предшественнице системы Axiom). |
| Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). | Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов. |
| Project scratchpad was eventually sold to a numerical group called Numerical Algorithms Group (NAG) and was renamed Axiom. | В 1990-х годах система была продана компании Numerical Algorithms Group (NAG), получила название Axiom и стала коммерческим продуктом. |
| AXIOM SW has acquired a significant statute Microsoft Gold Certified Partner. | В 2006 г. фирма AXIOM SW получила весомый статус Microsoft Gold Certified Partner. |
| Financing this deal with company funds, Lawal organized it in collaboration with Carlos St. Mary, director of the diamond trading company Axiom Trading, and Dikembe Mutombo of Mutombo International Group. | Лаваль организовал эту сделку, которая должна была финансироваться за счет средств его компании, в сотрудничестве с Карлосом Сент-Мэри, директором компании по торговле алмазами «Аксиом трейдинг», и Дикембе Мутомбе из «Мутомбо интернэшнл груп». |
| He found all, up to isomorphism, realizations of the systems of axioms of classical geometries (Euclid, Lobachevsky and elliptic) if one omits the congruence axioms containing the concept of angle and supplement these systems with the axiom of "triangle inequality". | Он нашел все с точностью до изоморфизма реализации систем аксиом классических геометрий (Евклида, Лобачевского и эллиптической), если в них опустить аксиомы конгруэнтности, содержащие понятие угла, и пополнить эти системы аксиомой «неравенство треугольника». |
| When David Hilbert wrote his book, Foundations of Geometry (1899), providing a new set of axioms for Euclidean geometry, he used Playfair's form of the axiom instead of the original Euclidean version for discussing parallel lines. | Когда Давид Гильберт написал свою книгу «Основания геометрии» (1899), представляя новый набор аксиом для евклидовой геометрии, он использовал при обсуждении параллельных прямых аксиому в форме Плейфера, а не оригинальную версию Евклида. |
| For finite sets X, the axiom of choice follows from the other axioms of set theory. | Для конечного набора Х {\displaystyle X} аксиома выбора следует из других аксиом теории множеств. |
| Finally got through to Axiom Parcel Delivery's corporate office. | Я сумел дозвониться до корпоративного офиса "Аксиом Парсел". |