-
Английский
-
Русский
-
Английский
-
Русский
Аксиоматизация
Перевод аксиоматизация на английский язык
аксиоматизация
Существительное
Аксиоматизация математической теории позволяет упростить её изучение.
Axiomatization of a mathematical theory allows for simplifying its study.
Опеределения
аксиоматизация
Существительное
Создание аксиоматической системы для какой-либо области знаний.
Аксиоматизация физики требует тщательного выбора аксиом, чтобы избежать противоречий.
Идиомы и фразы
аксиоматизация математики
Аксиоматизация математики упрощает её изучение.
axiomatization of mathematics
Axiomatization of mathematics simplifies its study.
аксиоматизация теории
Аксиоматизация теории позволяет избежать противоречий.
axiomatization of theory
Axiomatization of theory helps to avoid contradictions.
аксиоматизация науки
Аксиоматизация науки способствует её систематизации.
axiomatization of science
Axiomatization of science contributes to its systematization.
аксиоматизация знания
Аксиоматизация знания важна для его передачи.
axiomatization of knowledge
Axiomatization of knowledge is important for its transmission.
аксиоматизация логики
Аксиоматизация логики облегчает понимание.
axiomatization of logic
Axiomatization of logic facilitates understanding.
Примеры
Некоторые из них являются весьма широкими, такие, как аксиоматизация физики (6-я Проблема) и, возможно, никогда не смогут быть завершены полностью.
Some are broad, such as the axiomatization of physics (problem 6) and might never be considered completed.
Гильберт был убежден, что аксиоматизация теорий – магистральный путь не только для чистой математики, но и для всех остальных областей человеческого знания по мере их математизации.
Hilbert was convinced that the axiomatization of theories is the main path not only for pure mathematics, but for all other areas of human knowledge as they mathematize.
В статье раскрыты основные методы математизации наук: математическое моделирование, формализация и аксиоматизация – в контексте градостроительства ХХ века; рассмотрены виды градостроительных моделей, основанных на математических методах.
The article describes the principal methods of science mathematisation: mathematical modelling, formalization and axiomatization in the context of 20th century town-planning and considers types of town-planning models based on mathematical methods.
Автором предложена аксиоматизация понятия одновременности, основанная на построении отношения временного предшествования из элементарного отношения между элементами древовидной структуры.
The author proposed an axiomatization of the notion of simultaneity based on the temporary precedence relation built from the basic relationships between elements of a treelike structure.
Эта аксиоматизация ограничивает предположение наивной теории множеств, согласно которой при наличии условия, всегда можно создать множество, собрав именно те предметы, которые ему соответствуют.
This axiomatisation restricts the assumption of naïve set theory, which states that, given a condition, you can always make a set by collecting exactly the objects satisfying the condition.