Аксиома - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы, определение
- аксиома сущ ж
- axiom, postulate(постулат)
- аксиома выбора – axiom of choice
- axiomatic
-
| имя существительное | |||
| axiom | аксиома | ||
| fundamental truth | аксиома | ||
- аксиома сущ
- постулат · истина · утверждение
истина, утверждение, постулат, догма
теория, ложь, предположение
Аксиома Положение, принимаемое без доказательств.
В этом случае GF действительно является теоремой в F’, потому что это аксиома. |
In this case, GF is indeed a theorem in F’, because it is an axiom. |
Таким образом, единственная аксиома Адама Смита, широко интерпретируемая ... достаточно охарактеризовать значительную часть человеческого социокультурного предприятия. |
Thus, Adam Smith's single axiom, broadly interpreted ... is sufficient to characterize a major portion of the human social and cultural enterprise. |
Неофициально вторая аксиома гласит, что не имеет значения, ограничимся ли мы W на одном шаге или ограничимся сначала V, а затем W. |
Informally, the second axiom says it doesn't matter whether we restrict to W in one step or restrict first to V, then to W. |
Единственная групповая аксиома, которая требует некоторых усилий для проверки, состоит в том, что каждый элемент G обратим. |
The only group axiom that requires some effort to verify is that each element of G is invertible. |
Если аксиома выбора верна, то это верно и без предположения, что V имеет конечную размерность. |
If the axiom of choice holds, this is true without the assumption that V has finite dimension. |
Согласно определению классической философии, аксиома-это утверждение, которое настолько очевидно или хорошо обосновано, что принимается без споров или вопросов. |
As defined in classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question. |
Аксиома или постулат - это утверждение, которое считается истинным, чтобы служить предпосылкой или отправной точкой для дальнейших рассуждений и аргументов. |
An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. |
Эта предпосылка существенна, но явно не обозначается ни как закон термодинамики, ни как аксиома Каратеодорического пути. |
This presupposition is essential but is explicitly labeled neither as a law of thermodynamics nor as an axiom of the Carathéodory way. |
Еще одно слово, которое означает почти то же самое, что и принцип, - это аксиома, хотя эти два слова обычно используются в разных контекстах. |
Another word that means nearly the same as principle is axiom, though these two words are usually used in different contexts. |
This was not the axiom he wanted. |
|
В оригинальной формулировке Пеано аксиома индукции является аксиомой второго порядка. |
In Peano's original formulation, the induction axiom is a second-order axiom. |
Насколько я могу судить, это не более чем аксиома, как и аксиома коммутативности сложения. |
As far as I can see, it's nothing more then an axiom, just like the axiom of commutativity of addition. |
Принцип математической индукции обычно формулируется как аксиома натуральных чисел; см. |
The principle of mathematical induction is usually stated as an axiom of the natural numbers; see Peano axioms. |
Аксиома супремума реалов относится к подмножествам реалов и поэтому является логическим утверждением второго порядка. |
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement. |
Аксиома часто используется как сокращенное выражение для доктрины о том, что Церковь необходима для спасения. |
The axiom is often used as shorthand for the doctrine that the Church is necessary for salvation. |
Таким образом, аксиома является элементарной основой для формальной логической системы, которая вместе с правилами вывода определяет дедуктивную систему. |
Thus, an axiom is an elementary basis for a formal logic system that together with the rules of inference define a deductive system. |
Not too bad for someone who doesn't know what axiomatic means. |
|
Чувство, что каждая аксиома твоей жизни оказалась неверной, и ничего на самом деле нет. |
feeling as though every axiom in your life turned out to be false, and there is actually nothing. |
Именно кнут репрессивных действий создаёт пряник сверхприбылей. - Это аксиома. |
It's the stick of law enforcement that creates... the carrot of huge profit that is economic truth. |
Если когда-либо добавляется аксиома, которая делает систему завершенной, она делает это ценой того, что делает систему непоследовательной. |
If an axiom is ever added that makes the system complete, it does so at the cost of making the system inconsistent. |
Его попытка подкрепить аксиоматизированную математику определенными принципами, которые могли бы устранить теоретическую неопределенность, закончилась неудачей. |
His attempt to support axiomatized mathematics with definitive principles, which could banish theoretical uncertainties, ended in failure. |
В шестой задаче Гильберта он поставил перед исследователями задачу найти аксиоматическую основу для всей физики. |
In Hilbert's sixth problem, he challenged researchers to find an axiomatic basis to all of physics. |
Девятая, заключительная аксиома - это утверждение второго порядка принципа математической индукции над натуральными числами. |
The ninth, final axiom is a second order statement of the principle of mathematical induction over the natural numbers. |
Легко, поскольку существует своего рода аксиома - Россия может действовать рефлекторно и может быть опасна. |
Easy, as far as there is a kind of an axiom - Russia might act reflectively and might be dangerous. |
Аксиома критики должна состоять не в том, что поэт не знает, о чем он говорит, а в том, что он не может говорить о том, что он знает. |
The axiom of criticism must be, not that the poet does not know what he is talking about, but that he cannot talk about what he knows. |
Позже этот процесс был описан как переход от механики к аксиоматике. |
The process was later described as moving from mechanics to axiomatics. |
Аксиоматизации первого порядка арифметики Пеано имеют еще одно техническое ограничение. |
First-order axiomatizations of Peano arithmetic have another technical limitation. |
Это не библейская аксиома для применения к любым и всяким обстоятельствам. |
It's not a biblical axiom for application to any and all circumstances. |
При таком определении четность нуля - не теорема, а аксиома. |
With this definition, the evenness of zero is not a theorem but an axiom. |
После завершения аксиоматизации теории множеств он начал сталкиваться с аксиоматизацией квантовой механики. |
After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics. |
Даже бесконечный список аксиом не может быть полным, последовательным и эффективно аксиоматизированным. |
It is not even possible for an infinite list of axioms to be complete, consistent, and effectively axiomatized. |
Топос также можно рассматривать как особый тип категории с двумя дополнительными аксиомами топоса. |
A topos can also be considered as a specific type of category with two additional topos axioms. |
Набор аксиом также не должен быть избыточным; утверждение, которое может быть выведено из других аксиом, не должно рассматриваться как аксиома. |
A set of axioms should also be non-redundant; an assertion that can be deduced from other axioms need not be regarded as an axiom. |
В конце концов, это аксиома, что ответственный человек, услышав такое предложение, сообщит о нем в полицию/ФБР и т. д. |
After all since it's AXIOMATIC that a RESPONSIBLE PERSON would, upon hearing of such a suggestion, REPORT it to the police/FBI, etc. |
Существует много различных, но эквивалентных аксиоматизаций арифметики Пеано. |
There are many different, but equivalent, axiomatizations of Peano arithmetic. |
Константин Каратеодори сформулировал термодинамику на чисто математической аксиоматической основе. |
Constantin Carathéodory formulated thermodynamics on a purely mathematical axiomatic foundation. |
Это не было частью систематического упражнения в аксиоматике. |
It was not part of a systematic exercise in axiomatics. |
Эти принципы должны единообразно соответствовать здравым логическим аксиомам или постулатам. |
These principles should uniformly adhere to sound logical axioms or postulates. |
Это включает в себя шесть примитивных предложений от ✸9 до ✸9.15 вместе с аксиомами сводимости. |
This includes six primitive propositions ✸9 through ✸9.15 together with the Axioms of reducibility. |
Эта часть иногда упоминается как вторая фундаментальная теорема исчисления или аксиома Ньютона-Лейбница. |
This part is sometimes referred to as the second fundamental theorem of calculus or the Newton–Leibniz axiom. |
Непосредственно из определения можно показать, что CJ, c, приведенные выше, удовлетворяют аксиомам классов черна. |
Directly from the definition, one can show cj, c given above satisfy the axioms of Chern classes. |
Сгибы, удовлетворяющие аксиомам Хузиты-Хатори, могут построить точно такой же набор точек, как и протяженные конструкции, используя компас и конический чертежный инструмент. |
Folds satisfying the Huzita–Hatori axioms can construct exactly the same set of points as the extended constructions using a compass and conic drawing tool. |
Может быть, и аксиома, но не в этом деле. |
' It may be an axiom but it isn't so in this case. |
Традиционные исследователи суфизма считают абсолютно аксиоматичным, что знание о Боге-это не психологическое состояние, порожденное контролем дыхания. |
The traditional scholars of Sufism hold it as absolutely axiomatic that knowledge of God is not a psychological state generated through breath control. |
Аксиоматическая теория множеств тогда еще не была сформулирована. |
Axiomatic set theory was at that point not yet formulated. |
Следующее, научный подход, аксиома физики и всей науки вообще - нельзя доказать гипотезу путем наблюдения. |
So next, the scientific method - an axiom of physics, of all science - says you cannot prove a hypothesis through observation,. |
Одна из таких аксиоматизаций начинается со следующих аксиом, описывающих дискретное упорядоченное полукольцо. |
One such axiomatization begins with the following axioms that describe a discrete ordered semiring. |
Чтобы квалифицироваться как векторное пространство, множество V и операции сложения и умножения должны соответствовать ряду требований, называемых аксиомами. |
To qualify as a vector space, the set V and the operations of addition and multiplication must adhere to a number of requirements called axioms. |
Гипотеза континуума и аксиома выбора были одними из первых математических утверждений, показавших свою независимость от теории множеств ZF. |
The continuum hypothesis and the axiom of choice were among the first mathematical statements shown to be independent of ZF set theory. |
Но я пытаюсь обратить внимание на место этих вещей в аксиоматике термодинамики. |
But I am trying to draw attention to the place of these things in the axiomatics of thermodynamics. |
Нам нужна аксиома Счетного выбора, чтобы проиндексировать все множества a, b, c, ... одновременно. |
We need the axiom of countable choice to index all the sets a, b, c, ... simultaneously. |
Поэтому никакая формальная система не является полной аксиоматизацией полной теории чисел. |
Therefore, no formal system is a complete axiomatization of full number theory. |
Отсюда аксиома вне Церкви нет спасения. |
Hence the axiom ‘outside the Church there is no salvation’. |
- аксиома Архимеда - Archimedean principle
- аксиома бесконечности - axiom of infinity
- аксиома замены - exchange axiom
- аксиома математической индукции - axiom of complete induction
- аксиома отделимости - separation axiom
- аксиома полноты - completeness axiom
- аксиома расстояния - distance axiom
- аксиома сводимости - reducibility axiom
- аксиома треугольника - triangle axiom
- эквациональная аксиома - equational axiom
- аксиома вольфрама - tungsten axiom
- аксиома пустого множества - axiom of empty set
- аксиома связей - relations axiom
- Аксиома аддитивности - axiom of additivity
- аксиома выделения - excision axiom
- Аксиома доступности - axiom of accessibility
- аксиома измеримости - axiom of measurability
- Аксиома индукции - axiom of induction
- Аксиома конструктивности - axiom of constructibility
- аксиома концепция - axiomatic conception
- Аксиома недоступности - axiom of inaccessibility
- аксиома о параллельности - parallel postulate
- аксиома ограничения - axiom of limitation
- Аксиома основания - axiom of foundation
- аксиома полезности - utility axiom
- Аксиома разделения - axiom of separation
- Аксиома суперпозиции - axiom of superposition
- аксиома того - axiom of addition
- армия аксиома - army axiom
- это аксиома - it is axiomatic
