| Not too bad for someone Who doesn't know what "axiomatic" means. | Неплохо для того, кто не знает, что означает "аксиома". |
| It was, however, not axiomatic that failure to raise an objection within twelve months should be regarded as acceptance. | Однако это не аксиома, что, если одна из сторон не выдвигает возражений в течение 12 месяцев, это означает ее согласие. |
| In announcing his candidacy, Kim asserted that the nomination of Park Geun-hye should not be viewed as axiomatic, despite a decade of preparation for the campaign on her part. | Объявляя его кандидатуру, Ким заявил, что выдвижение Пак Кынхе не следует рассматривать как аксиома, несмотря на десятилетие подготовка к кампании с её стороны. |
| The need to "arrive at a just appreciation of the amount, and avoid awarding double damages" was treated as axiomatic, for example, by the Permanent Court in the Chorzów Factory case. | Необходимость "достижения справедливой оценки суммы и недопущения двойного взыскания компенсации за ущерб" трактовалась как аксиома, например, в решении Постоянной палаты Международного правосудия по делу о фабрике Хорзов. |
| Subsequently, Res Jost gave a more general proof in the framework of axiomatic quantum field theory. | Впоследствии Рес Джост дал более общее доказательство в рамках аксиоматической квантовой теории поля. |
| He has worked on topics of first and second order logic, axiomatic set theory, computability and complexity. | Работал над предметом логики первого и второго порядка, аксиоматической теории множеств, теории вычислимости и сложности. |
| Bogoliubov causality condition is a causality condition for scattering matrix (S-matrix) in axiomatic quantum field theory. | Условие микропричинности Боголюбова - принцип причинности для матрицы рассеяния (S-матрицы) в аксиоматической квантовой теории поля. |
| The Prior Analytics contains his exposition of the "syllogism", where three important principles are applied for the first time in history: the use of variables, a purely formal treatment, and the use of an axiomatic system. | В Первой аналитике содержится его изложение силлогистики и впервые в истории применены три важнейших принципа: применение переменных, чисто формальное рассмотрение и использование аксиоматической системы. |
| However, this definition still can be used in type theory and in Quine's axiomatic set theory New Foundations and related systems (where it affords a rather surprising alternative solution to the Burali-Forti paradox of the largest ordinal). | Тем не менее, данное определение можно использовать в теории типов и аксиоматической теории множеств Куайна (Новые основания), а также других подобных системах (в которых оно позволяет сформулировать альтернативный и довольно неожиданный способ разрешения парадокса Бурали-Форти о наибольшем порядковом числе). |
| In the 1970s, Pierre Deligne created an axiomatic framework for the work of Shimura. | В 1970-х годах Пьер Делинь создал аксиоматическую схему для работы Шимуры. |
| In this connection, he draws attention to the axiomatic doctrine that a State may not invoke the provisions of its national law to justify non-compliance with international law. | В этой связи он обращает внимание на аксиоматическую доктрину, согласно которой государство не может ссылаться на положения своего внутреннего законодательства с целью оправдать несоблюдение положений международного права. |
| Carnap then attended the University of Jena, where he wrote a thesis defining an axiomatic theory of space and time. | Затем Карнап пишет диссертацию в Йенском университете, определяющую аксиоматическую теорию пространства и времени. |
| He tried to use the then current axiomatic set theory but found it unworkable for undergraduates, so he instead developed the first axioms for the more relevant composition of mappings of sets. | Он попытался использовать аксиоматическую теорию множеств, но нашёл её неподходящей для начинающих студентов, поэтому вместо этого он придумал несколько аксиом для композиции отображений множеств. |
| He constructed, jointly with Nikolay Bogoliubov, an axiomatic perturbation method for quantum field theory (1954-1958) and developed renormalization group method (1955-1956). | Совместно с Н. Н. Боголюбовым построил аксиоматическую теорию возмущений в квантовой теории поля (1954-1958) и разработал метод ренормализационной группы (1955-1956). |
| Thus, standard expositions of the canonical axiomatic set theories ZF and ZFC do not mention urelements. | Таким образом, в канонических аксиоматических теориях множеств ZF и ZFC урэлементы не упоминаются вовсе. |
| His courses on algebra and mathematical analysis reflected the changes taking place in these areas in the first half of the 20th century: function theory of polynomials was replaced by abstract algebra, mathematical analysis was based on axiomatic methods and set theory. | Его курсы алгебры и математического анализа отражает изменения, происходившие в этих областях в первой половине ХХ века: функциональная теория многочленов была заменена абстрактной алгеброй, математический анализ был основан на аксиоматических методах и теории множеств. |
| This definition must be abandoned in ZF and related systems of axiomatic set theory because these equivalence classes are too large to form a set. | В ZFC-теории и связанных с ней аксиоматических системах теории множеств такое определение неприемлемо, поскольку соответствующие классы эквивалентности слишком велики, чтобы их можно было считать множествами. |
| These are completely equivalent and either treatment has as its starting point the axiomatic version of the geometries under consideration. | Они полностью эквивалентны и оба служат исходной точкой для аксиоматических версий геометрии. |
| In practice, most mathematicians either do not work from axiomatic systems, or if they do, do not doubt the consistency of ZFC, generally their preferred axiomatic system. | Большинство математиков или не работают с уровня аксиоматических систем, или, если работают, то не сомневаются в корректности системы ZFC, наиболее популярной аксиоматической системы. |
| Axiomatic Theory of Expected Utility Equilibrium Strategies in Convex Compacts. | Аксиоматические теории ожидаемой полезности сбалансированных стратегий в соглашениях. |
| Under 'normal' conditions Lowe will be upward biased against Laspeyres, which in turn will be upward biased against a superlative index, while Young may have some problematic axiomatic properties. | В "нормальных" условиях формула Лове будет страдать завышением в сопоставлении с формулой Ласпейреса, которая в свою очередь будет показывать завышение в сопоставлении с превосходным индексом, в то время как формула Янга может иметь некоторые проблематичные аксиоматические свойства. |
| Axiomatic and stochastic approaches to indices | Аксиоматические и стохастические подходы к индексам |
| Though in a sense axiomatic, this is a basic statement of the conditions of State responsibility. | Хотя это положение и является в определенным смысле аксиоматичным, оно представляет собой базовое изложение условий, связанных с ответственностью государств. |
| It is almost axiomatic to say that the ongoing financial and economic crises have been aggravated by negative environmental trends, of which climate change has the most critical consequences. | Стало уже почти аксиоматичным говорить, что нынешний финансово-экономический кризис усугублен негативными экологическими тенденциями, из которых наиболее критические последствия имеет изменение климата. |
| Today it has already become axiomatic to say that the achievement of the development goals that have been agreed in the final documents of major conferences and high-level meetings within the United Nations is unthinkable without forging a new consensus on the foundations and principles of international economic cooperation. | Сегодня уже стало аксиоматичным говорить о том, что достижение целей развития, согласованных в итоговых документах крупнейших конференций и встреч на высшем уровне в рамках Организации Объединенных Наций, немыслимо без оформления нового консенсуса в отношении первооснов и принципов международного экономического сотрудничества. |
| An axiomatic characterization of these fields via valuation theory was given by Emil Artin and George Whaples in the 1940s. | Аксиоматическая характеризация таких полей через теорию показателей была дана Эмилем Артином и Джорджом Воплесом в 1940-м. |
| The temporary cost of money is a most important axiomatic norm in the financial market. | Временная стоимость денег - важнейшая аксиоматическая норма на финансовом рынке. |
| MG: I think to an extent, you have to understand that it's axiomatic among hackers that they do that. | МГ: В какой-то мере нужно понимать, что это именно то, что делают хакеры. |
| I think to an extent, you have to understand that it's axiomatic among hackers that they do that. | В какой-то мере нужно понимать, что это именно то, что делают хакеры. |
| He has also made contributions to the study of mathematical modeling and of the limits of the axiomatic method in the characterization of real-world structures. | Он также внёс вклад в изучение математического моделирования и пределов аксиоматического метода в характеристике структуры реальности. |
| Jan Łukasiewicz suggested in 1926 that one could improve on Hilbert systems as a basis for the axiomatic presentation of logic if one allowed the drawing of conclusions from assumptions in the inference rules of the logic. | Ян Лукасевич предположил в 1926, что можно улучшить системы Гильберта как базис аксиоматического представления логики, если варьировать вывод заключений из предположений правилами вывода. |