| So next, the scientific method - an axiom of physics, of all science - says you cannot prove a hypothesis through observation, | Следующее, научный подход, аксиома физики и всей науки вообще - нельзя доказать гипотезу путем наблюдения. |
| Thus Post in his 1936 paper was also discounting Kurt Gödel's suggestion to Church in 1934-35 that the thesis might be expressed as an axiom or set of axioms. | Таким образом, Пост в своей статье 1936 года также отклонял предложение Курта Гёделя Чёрчу в 1934-5 годах о том, что тезис может быть выражен как аксиома или множество аксиом. |
| Although this axiom never fully applies in practice (unless inflation is zero and relative prices are stable), with low inflation, the usefulness of annual accounts is not hampered too much. | Хотя эта аксиома никогда в полной мере не применяется на практике (за исключением случаев, когда инфляция равна нулю, а относительные цены являются стабильными), в условиях низкой инфляции это не оказывает значительно негативного влияния на полезность годовых счетов. |
| It is an axiom of ecology that overshoots degrade the carrying capacity of the environment. | В экологии существует аксиома - превышение ухудшает ресурсоемкость окружающей среды. |
| One structure that weakens this axiom is a CC system: a ternary relation that is cyclic, asymmetric, and total, but generally not transitive. | Одна структура, более слабая, чем эта аксиома, это СС система - тернарное отношение, являющееся циклическим, асимметричным и полным, но, в общем случае, не транзитивным. |
| 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. | В республике успешно реализуется постулат «все дети обучаемы». |
| The Axiom roster consists of AxCrank, AxAlicia, AxHeart and AxRyung. | В состав Axiom входили AxCrank, AxAlicia, AxHeart и AxRyung. |
| AXIOM SW is a purely Czech company. It originated in 1991. | AXIOM SW - это фирма со стопроцентным чешским капиталом, учрежденная в 1991 году. |
| An important break turned up in 1994 when AXIOM SW entered the NAVISION partnership net, today it is Microsoft Dynamics. | Большие изменения произошли в 1994 г., когда AXIOM SW вступила в партнерскую сеть NAVISION, сегодня Microsoft Dynamics. |
| Axiom comes with an extension language called SPAD. | Язык расширений Axiom называется SPAD. |
| AXIOM SW has acquired a significant statute Microsoft Gold Certified Partner. | В 2006 г. фирма AXIOM SW получила весомый статус Microsoft Gold Certified Partner. |
| 5 There are several alternatives for this "non-triviality" axiom. | Существует несколько альтернативных аксиом такой «нетривиальности». |
| Thus Post in his 1936 paper was also discounting Kurt Gödel's suggestion to Church in 1934-35 that the thesis might be expressed as an axiom or set of axioms. | Таким образом, Пост в своей статье 1936 года также отклонял предложение Курта Гёделя Чёрчу в 1934-5 годах о том, что тезис может быть выражен как аксиома или множество аксиом. |
| 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), представляя новый набор аксиом для евклидовой геометрии, он использовал при обсуждении параллельных прямых аксиому в форме Плейфера, а не оригинальную версию Евклида. |
| The core of post-Keynesian belief is the rejection of three axioms that are central to classical and mainstream Keynesian views: the neutrality of money, gross substitution, and the ergodic axiom. | Ядро посткейнсианской теории составляет отрицание трёх аксиом, принимаемых классиками и кейнсианцами мейнстрима: нейтральности денег, полного замещения и эргодичности. |