Примеры в контексте "Axiomatic - Аксиоматической"

Перевод

Примеры

Примеры: Axiomatic — Аксиоматической

• 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 axiomatic quantum theory, S-matrix is considered as a functional of a function g: M -> {\displaystyle g:M\to} defined on the Minkowski space M {\displaystyle M}.

  В аксиоматической формулировке квантовой теории поля S-матрица является функционалом «функции области взаимодействия» g: M -> {\displaystyle g:M\to}, определённой на пространстве Минковского M {\displaystyle M}.

• 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

• Аксиома
• Аксиоматическую
• Аксиоматических
• Требует доказательства тот факт
• Аксиоматические
• Аксиоматичным
• Самоочевидно
• Необходимости доказывать
• Самоочевидным
• Аксиоматическая
• Хакеры
• Аксиоматического