Вторая аксиома счетности - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
второй дом - secondary residence
линия производства сахара второй кристаллизации - second product line
между второй четвертью и полнолунием - gibbous
второй период развития биогеографии - the second period of the development of biogeography
второй тон (буква) - second tone (letter)
давление второй ступени - second stage pressure
порядок ухода на второй круг - missed approach procedure
уваривание утфеля второй кристаллизации - B-boiling
уход на второй круг с выпущенными закрылками - flaps-down overshoot
Синонимы к второй: другой, голос, на втором месте, следующий, дальнейший, во-вторых, блюдо, напасть, чепуха, второстепенный
Значение второй: Не основной, не главный, второстепенный.
аксиома замены - exchange axiom
аксиома нормы - norm axiom
аксиома сводимости - reducibility axiom
аксиома сохранения - retention axiom
аксиома счетности - denumberability axiom
аксиома треугольника - triangle axiom
эквациональная аксиома - equational axiom
аксиома вольфрама - tungsten axiom
аксиома параллельности евклида - parallel postulate
аксиома пустого множества - axiom of empty set
Синонимы к аксиома: истина, утверждение, постулат, догма
Антонимы к аксиома: теория, ложь, предположение
Значение аксиома: Положение, принимаемое без доказательств.
Согласно этому аргументу, доказательство любой теории основывается либо на круговом рассуждении, бесконечном регрессе, либо на недоказанных аксиомах. |
According to this argument, the proof of any theory rests either on circular reasoning, infinite regress, or unproven axioms. |
Арифметика Пеано и теория множеств Цермело-Френкеля являются аксиоматизациями теории чисел и теории множеств соответственно в логику первого порядка. |
Peano arithmetic and Zermelo–Fraenkel set theory are axiomatizations of number theory and set theory, respectively, into first-order logic. |
Это включает в себя шесть примитивных предложений от ✸9 до ✸9.15 вместе с аксиомами сводимости. |
This includes six primitive propositions ✸9 through ✸9.15 together with the Axioms of reducibility. |
Угощение должностных лиц ВВС - аксиома в нашем деле. |
See, wining and dining Air Force dignitaries is common in our business. |
Одна из таких аксиоматизаций начинается со следующих аксиом, описывающих дискретное упорядоченное полукольцо. |
One such axiomatization begins with the following axioms that describe a discrete ordered semiring. |
Это диктует необходимость более активного вовлечения частных, академических и государственных исследовательских учреждений, с тем чтобы, когда это требуется, можно было бросать вызов ортодоксальным аксиомам. |
This called for greater engagement of private, academic and government research institutions with a view to challenging conventional wisdom when necessary. |
При таком определении четность нуля - не теорема, а аксиома. |
With this definition, the evenness of zero is not a theorem but an axiom. |
Позже этот процесс был описан как переход от механики к аксиоматике. |
The process was later described as moving from mechanics to axiomatics. |
Эти принципы должны единообразно соответствовать здравым логическим аксиомам или постулатам. |
These principles should uniformly adhere to sound logical axioms or postulates. |
Древние китайские математики не развивали аксиоматический подход, но сделали успехи в разработке алгоритмов и алгебры. |
Ancient Chinese mathematicians did not develop an axiomatic approach, but made advances in algorithm development and algebra. |
Сгибы, удовлетворяющие аксиомам Хузиты-Хатори, могут построить точно такой же набор точек, как и протяженные конструкции, используя компас и конический чертежный инструмент. |
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. |
Алгоритмическая проблема аксиоматизации табличной нормальной модальной логики. |
Algorithmic Problem of Axiomatization of Tabular Normal Modal Logic. |
Традиционные исследователи суфизма считают абсолютно аксиоматичным, что знание о Боге-это не психологическое состояние, порожденное контролем дыхания. |
The traditional scholars of Sufism hold it as absolutely axiomatic that knowledge of God is not a psychological state generated through breath control. |
Следующее, научный подход, аксиома физики и всей науки вообще - нельзя доказать гипотезу путем наблюдения. |
So next, the scientific method - an axiom of physics, of all science - says you cannot prove a hypothesis through observation,. |
Его попытка подкрепить аксиоматизированную математику определенными принципами, которые могли бы устранить теоретическую неопределенность, закончилась неудачей. |
His attempt to support axiomatized mathematics with definitive principles, which could banish theoretical uncertainties, ended in failure. |
Единственная групповая аксиома, которая требует некоторых усилий для проверки, состоит в том, что каждый элемент G обратим. |
The only group axiom that requires some effort to verify is that each element of G is invertible. |
Аксиоматическая теория множеств тогда еще не была сформулирована. |
Axiomatic set theory was at that point not yet formulated. |
Отсюда аксиома вне Церкви нет спасения. |
Hence the axiom ‘outside the Church there is no salvation’. |
Легко, поскольку существует своего рода аксиома - Россия может действовать рефлекторно и может быть опасна. |
Easy, as far as there is a kind of an axiom - Russia might act reflectively and might be dangerous. |
Аксиома жемчужина космического флота BNL. |
The jewel of bnl fleet, The Axiom. |
Или другое условие, предположение установлено безошибочной логикой, основанной на других аксиомах или постулатах. |
Or the second condition, that the proposition is deduced by infallible logic based on other axioms or postulates. |
Может быть, и аксиома, но не в этом деле. |
' It may be an axiom but it isn't so in this case. |
Именно кнут репрессивных действий создаёт пряник сверхприбылей. - Это аксиома. |
It's the stick of law enforcement that creates... the carrot of huge profit that is economic truth. |
This was not the axiom he wanted. |
|
Константин Каратеодори сформулировал термодинамику на чисто математической аксиоматической основе. |
Constantin Carathéodory formulated thermodynamics on a purely mathematical axiomatic foundation. |
Существует также подход Александра Гротендика, показывающий, что аксиоматически нужно только определить случай линейного расслоения. |
There is also an approach of Alexander Grothendieck showing that axiomatically one need only define the line bundle case. |
Аксиома критики должна состоять не в том, что поэт не знает, о чем он говорит, а в том, что он не может говорить о том, что он знает. |
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. |
Если когда-либо добавляется аксиома, которая делает систему завершенной, она делает это ценой того, что делает систему непоследовательной. |
If an axiom is ever added that makes the system complete, it does so at the cost of making the system inconsistent. |
Даже бесконечный список аксиом не может быть полным, последовательным и эффективно аксиоматизированным. |
It is not even possible for an infinite list of axioms to be complete, consistent, and effectively axiomatized. |
В этом случае GF действительно является теоремой в F’, потому что это аксиома. |
In this case, GF is indeed a theorem in F’, because it is an axiom. |
Аксиома часто используется как сокращенное выражение для доктрины о том, что Церковь необходима для спасения. |
The axiom is often used as shorthand for the doctrine that the Church is necessary for salvation. |
Аксиома супремума реалов относится к подмножествам реалов и поэтому является логическим утверждением второго порядка. |
The supremum axiom of the reals refers to subsets of the reals and is therefore a second-order logical statement. |
Два года спустя Генри Бейкер и Хьюитт опубликовали свод аксиоматических законов для актерских систем. |
Two years later, Henry Baker and Hewitt published a set of axiomatic laws for actor systems. |
В шестой задаче Гильберта он поставил перед исследователями задачу найти аксиоматическую основу для всей физики. |
In Hilbert's sixth problem, he challenged researchers to find an axiomatic basis to all of physics. |
Некоторые авторы используют счетность для обозначения того, что здесь называется счетно-бесконечным, и не включают конечные множества. |
Some authors use countable to mean what is here called countably infinite, and do not include finite sets. |
Согласно определению классической философии, аксиома-это утверждение, которое настолько очевидно или хорошо обосновано, что принимается без споров или вопросов. |
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. |
Формальное доказательство - это доказательство, в котором каждый логический вывод был возвращен к фундаментальным аксиомам математики. |
A formal proof is a proof in which every logical inference has been checked back to the fundamental axioms of mathematics. |
Логические позитивисты считали научные теории дедуктивными теориями-что содержание теории основано на некоторой формальной системе логики и на базовых аксиомах. |
The logical positivists thought of scientific theories as deductive theories—that a theory's content is based on some formal system of logic and on basic axioms. |
Непосредственно из определения можно показать, что CJ, c, приведенные выше, удовлетворяют аксиомам классов черна. |
Directly from the definition, one can show cj, c given above satisfy the axioms of Chern classes. |
Первая аксиома утверждает существование хотя бы одного члена множества натуральных чисел. |
The first axiom asserts the existence of at least one member of the set of natural numbers. |
Девятая, заключительная аксиома - это утверждение второго порядка принципа математической индукции над натуральными числами. |
The ninth, final axiom is a second order statement of the principle of mathematical induction over the natural numbers. |
Этот выбор произволен, так как аксиома 1 не наделяет константу 0 какими-либо дополнительными свойствами. |
This choice is arbitrary, as axiom 1 does not endow the constant 0 with any additional properties. |
Аксиоматизации первого порядка арифметики Пеано имеют еще одно техническое ограничение. |
First-order axiomatizations of Peano arithmetic have another technical limitation. |
Существует много различных, но эквивалентных аксиоматизаций арифметики Пеано. |
There are many different, but equivalent, axiomatizations of Peano arithmetic. |
Еще одно слово, которое означает почти то же самое, что и принцип, - это аксиома, хотя эти два слова обычно используются в разных контекстах. |
Another word that means nearly the same as principle is axiom, though these two words are usually used in different contexts. |
Гипотеза континуума и аксиома выбора были одними из первых математических утверждений, показавших свою независимость от теории множеств ZF. |
The continuum hypothesis and the axiom of choice were among the first mathematical statements shown to be independent of ZF set theory. |
Таким образом, единственная аксиома Адама Смита, широко интерпретируемая ... достаточно охарактеризовать значительную часть человеческого социокультурного предприятия. |
Thus, Adam Smith's single axiom, broadly interpreted ... is sufficient to characterize a major portion of the human social and cultural enterprise. |
Набор аксиом также не должен быть избыточным; утверждение, которое может быть выведено из других аксиом, не должно рассматриваться как аксиома. |
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. |
Принцип математической индукции обычно формулируется как аксиома натуральных чисел; см. |
The principle of mathematical induction is usually stated as an axiom of the natural numbers; see Peano axioms. |
Ранее Менгер и Биркофф аксиоматизировали сложную проективную геометрию в терминах свойств ее решетки линейных подпространств. |
Earlier, Menger and Birkhoff had axiomatized complex projective geometry in terms of the properties of its lattice of linear subspaces. |
После завершения аксиоматизации теории множеств он начал сталкиваться с аксиоматизацией квантовой механики. |
After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics. |
Неофициально вторая аксиома гласит, что не имеет значения, ограничимся ли мы 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. |
Топос также можно рассматривать как особый тип категории с двумя дополнительными аксиомами топоса. |
A topos can also be considered as a specific type of category with two additional topos axioms. |
Это не библейская аксиома для применения к любым и всяким обстоятельствам. |
It's not a biblical axiom for application to any and all circumstances. |
Но я пытаюсь обратить внимание на место этих вещей в аксиоматике термодинамики. |
But I am trying to draw attention to the place of these things in the axiomatics of thermodynamics. |
Это не было частью систематического упражнения в аксиоматике. |
It was not part of a systematic exercise in axiomatics. |
Это явно не противоречит математической аксиоматизации этих анализов. |
This is clearly not incompatible with a mathematical axiomatization of those analyses. |
Поэтому никакая формальная система не является полной аксиоматизацией полной теории чисел. |
Therefore, no formal system is a complete axiomatization of full number theory. |
В конце концов, это аксиома, что ответственный человек, услышав такое предложение, сообщит о нем в полицию/ФБР и т. д. |
After all since it's AXIOMATIC that a RESPONSIBLE PERSON would, upon hearing of such a suggestion, REPORT it to the police/FBI, etc. |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «вторая аксиома счетности».
А именно, здесь можно найти перевод (значение) «вторая аксиома счетности» на английском языке, синонимы, антонимы, краткое определение слов: вторая, аксиома, счетности . Также, к фразе «вторая аксиома счетности» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
