Blum’s axioms - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция
Blum’s axioms - Аксиомы Блюма
one of the axioms - одна из аксиом
axioms of congruence - Аксиомы конгруэнтности
axioms of incidence - Аксиомы падения
axioms of metric - Аксиомы метрики
axioms of commonsense reasoning - аксиоматика естественного рассуждения
Синонимы к axioms: maxims, principles, witticisms, truths, standards, sentences, sayings, saws, rules, proverbs
Антонимы к axioms: ambiguities, absurdities, nonsenses
Значение axioms: plural of axiom.
The spin and twin axioms can be verified experimentally. |
Аксиомы спина и Близнецов могут быть проверены экспериментально. |
Propositional logic itself was known to be consistent, but the same had not been established for Principia's axioms of set theory. |
Сама пропозициональная логика была известна как непротиворечивая, но то же самое не было установлено для аксиом теории множеств Principia. |
This includes six primitive propositions ✸9 through ✸9.15 together with the Axioms of reducibility. |
Это включает в себя шесть примитивных предложений от ✸9 до ✸9.15 вместе с аксиомами сводимости. |
Paul Cohen later constructed a model of ZF in which AC and GCH are false; together these proofs mean that AC and GCH are independent of the ZF axioms for set theory. |
Пол Коэн позже построил модель ZF, в которой AC и GCH ложны; вместе эти доказательства означают, что AC и GCH независимы от аксиом ZF для теории множеств. |
On September 20, 1958, King was signing copies of his book Stride Toward Freedom in Blumstein's department store in Harlem when he narrowly escaped death. |
20 сентября 1958 года Кинг подписывал экземпляры своей книги Шаг к свободе в универмаге Блюмштейна в Гарлеме, когда ему едва удалось избежать смерти. |
If FA is provable from the axioms of S, then the corresponding assertion A must be true. |
Если FA доказуемо из аксиом S, то соответствующее утверждение A должно быть истинным. |
This convention is not peculiar to the 2-order; it is one of the axioms of an additive valuation in higher algebra. |
Это соглашение не свойственно 2-му порядку; это одна из аксиом аддитивной оценки в высшей алгебре. |
A proof does not necessitate that the conclusion be correct, but rather that by accepting the axioms, the conclusion follows logically. |
Доказательство не требует, чтобы вывод был правильным, но скорее, что, принимая аксиомы, вывод следует логически. |
Additionally, an order can be Dedekind-complete, as defined in the section Axioms. |
Кроме того, порядок может быть Дедекинд-полным, как определено в разделе аксиомы. |
This is the original problem written in Japanese, and we had to teach it 2,000 mathematical axioms and 8,000 Japanese words to make it accept the problems written in natural language. |
Исходная задача записана на японском, нам понадобилось научить робота 2 000 математических аксиом и 8 000 тысячам японских слов, чтобы он смог воспринимать задачи, написанные на естественном языке. |
You see, Misty my time manipulator employs axioms from the quantum theory of molecular propulsion. |
Вот видишь, Мисти... мой временной манипулятор использует постулаты... квантовой теории движения частиц. |
How reconcile those eyes, that voice, with the hard-reasoning, dry, merciless way in which he laid down axioms of trade, and serenely followed them out to their full consequences? |
Как примирить эти глаза, этот голос, и этот жесткий, сухой, безжалостный тон, каким он объяснял, что рабочие никого не должны винить в своих страданиях? |
Geometry is the purest realization of human reason; but Euclid's axioms cannot be proved. |
Г еометрия является чистым воплощением человеческой логики, но изначальные аксиомы Евклида необходимо принимать на веру. |
Or the second condition, that the proposition is deduced by infallible logic based on other axioms or postulates. |
Или другое условие, предположение установлено безошибочной логикой, основанной на других аксиомах или постулатах. |
So I found the tumult of my heart, my feelings, and my creeds all at variance with the axioms of society. |
Словом, сердечная моя тревога, мои чувства, мои идеалы не согласовывались с правилами светского общества. |
Many philosophers have called the axioms into question. |
Многие философы подвергали аксиомы сомнению. |
A second layer is that these particular axioms lead to unwelcome conclusions. |
Второй слой состоит в том, что эти конкретные аксиомы приводят к нежелательным выводам. |
The broader criticism is that even if the axioms cannot be shown to be false, that does not mean that they are true. |
Более широкая критика состоит в том, что даже если аксиомы не могут быть доказаны как ложные, это не означает, что они истинны. |
Theorems that can be proved in ZFC but cannot be proved using the Peano Axioms include Goodstein's theorem. |
Теоремы, которые могут быть доказаны в ZFC, но не могут быть доказаны с помощью аксиом Пеано, включают теорему Гудштейна. |
A theorem is a statement that can be derived from those axioms by application of these rules of inference. |
Теорема-это утверждение, которое может быть выведено из этих аксиом путем применения этих правил вывода. |
Or it may be incomplete simply because not all the necessary axioms have been discovered or included. |
Или она может быть неполной просто потому, что не все необходимые аксиомы были открыты или включены. |
It is not even possible for an infinite list of axioms to be complete, consistent, and effectively axiomatized. |
Даже бесконечный список аксиом не может быть полным, последовательным и эффективно аксиоматизированным. |
Occam's razor and parsimony support, but do not prove, these axioms of science. |
Бритва Оккама и бережливость поддерживают, но не доказывают эти аксиомы науки. |
Aside from the behavior in terms of axioms, it is also possible to include, in the definition of an ADT operation, their algorithmic complexity. |
Помимо поведения в терминах аксиом, можно также включить в определение операции ADT их алгоритмическую сложность. |
The continuum hypothesis can neither be proved nor be disproved; it is independent from the axioms of set theory. |
Гипотеза континуума не может быть ни доказана, ни опровергнута; она независима от аксиом теории множеств. |
According to this argument, the proof of any theory rests either on circular reasoning, infinite regress, or unproven axioms. |
Согласно этому аргументу, доказательство любой теории основывается либо на круговом рассуждении, бесконечном регрессе, либо на недоказанных аксиомах. |
In direct proof, the conclusion is established by logically combining the axioms, definitions, and earlier theorems. |
В прямом доказательстве вывод устанавливается путем логического объединения аксиом, определений и более ранних теорем. |
In the parlance of abstract algebra, the first four axioms are equivalent to requiring the set of vectors to be an abelian group under addition. |
На языке абстрактной алгебры первые четыре аксиомы эквивалентны требованию, чтобы множество векторов было абелевой группой при сложении. |
Area can be defined through the use of axioms, defining it as a function of a collection of certain plane figures to the set of real numbers. |
Площадь можно определить с помощью аксиом, определив ее как функцию от набора определенных плоских фигур к множеству вещественных чисел. |
Rather than depend on provability of these axioms, science depends on the fact that they have not been objectively falsified. |
Вместо того чтобы зависеть от доказуемости этих аксиом, наука зависит от того, что они не были объективно фальсифицированы. |
There is thus, on the one hand, the notion of completeness of a deductive system and on the other hand that of completeness of a set of non-logical axioms. |
Таким образом, существует, с одной стороны, понятие полноты дедуктивной системы, а с другой-понятие полноты набора нелогических аксиом. |
A formal proof is a proof in which every logical inference has been checked back to the fundamental axioms of mathematics. |
Формальное доказательство - это доказательство, в котором каждый логический вывод был возвращен к фундаментальным аксиомам математики. |
Directly from the definition, one can show cj, c given above satisfy the axioms of Chern classes. |
Непосредственно из определения можно показать, что CJ, c, приведенные выше, удовлетворяют аксиомам классов черна. |
As a solution, Hilbert proposed to ground all existing theories to a finite, complete set of axioms, and provide a proof that these axioms were consistent. |
В качестве решения Гильберт предложил свести все существующие теории к конечному, полному набору аксиом и представить доказательство того, что эти аксиомы непротиворечивы. |
This has reduced the long-noted distinction of economics from natural sciences because it allows direct tests of what were previously taken as axioms. |
Это уменьшило давно отмеченное различие между экономикой и естественными науками, поскольку оно позволяет проводить прямые проверки того, что ранее принималось за аксиомы. |
The next three axioms are first-order statements about natural numbers expressing the fundamental properties of the successor operation. |
Следующие три аксиомы являются утверждениями первого порядка о натуральных числах, выражающими фундаментальные свойства последующей операции. |
In addition to this list of numerical axioms, Peano arithmetic contains the induction schema, which consists of a recursively enumerable set of axioms. |
В дополнение к этому списку числовых аксиом арифметика Пеано содержит схему индукции, которая состоит из рекурсивно перечисляемого набора аксиом. |
This illustrates one way the first-order system PA is weaker than the second-order Peano axioms. |
Это иллюстрирует один из способов, которым система первого порядка PA слабее, чем аксиомы Пеано второго порядка. |
In 1936, Gerhard Gentzen gave a proof of the consistency of Peano's axioms, using transfinite induction up to an ordinal called ε0. |
В 1936 году Герхард Гентцен доказал непротиворечивость аксиом Пеано, используя трансфинитную индукцию вплоть до порядкового числа, называемого ε0. |
In the MHC, there are three main axioms for an order to meet in order for the higher order task to coordinate the next lower order task. |
В Минздраве, существует три основных аксиом для того, чтобы встретиться с тем для более высоких задач для координации следующее задание заказа. |
In choosing a set of axioms, one goal is to be able to prove as many correct results as possible, without proving any incorrect results. |
При выборе набора аксиом одна цель состоит в том, чтобы доказать как можно больше правильных результатов, не доказывая никаких неправильных результатов. |
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. |
Набор аксиом также не должен быть избыточным; утверждение, которое может быть выведено из других аксиом, не должно рассматриваться как аксиома. |
However, at present, there is no known way of demonstrating the consistency of the modern Zermelo–Fraenkel axioms for set theory. |
Однако в настоящее время нет известного способа продемонстрировать непротиворечивость современных аксиом Цермело–Френкеля для теории множеств. |
And it took roughly another twenty years until an experiment of Alain Aspect got results in favour of Bohr's axioms, not Einstein's. |
И прошло еще примерно двадцать лет, прежде чем эксперимент Алена аспекта получил результаты в пользу аксиом Бора, а не Эйнштейна. |
These axiom schemata are also used in the predicate calculus, but additional logical axioms are needed to include a quantifier in the calculus. |
Эти схемы аксиом также используются в исчислении предикатов, но дополнительные логические аксиомы необходимы для включения квантора в исчисление. |
The principle of mathematical induction is usually stated as an axiom of the natural numbers; see Peano axioms. |
Принцип математической индукции обычно формулируется как аксиома натуральных чисел; см. |
It is strictly stronger than the well-ordering principle in the context of the other Peano axioms. |
Он строго сильнее, чем хорошо упорядоченный принцип в контексте других аксиом Пеано. |
It can then be proved that induction, given the above listed axioms, implies the well-ordering principle. |
Затем можно доказать, что индукция, учитывая перечисленные выше аксиомы, подразумевает хорошо упорядоченный принцип. |
In the context of the other Peano axioms, this is not the case, but in the context of other axioms, they can be equivalent. |
В контексте других аксиом Пеано это не так, но в контексте других аксиом они могут быть эквивалентны. |
Results on the completeness of some sets of combinators or axioms can also be transferred. |
Результаты о полноте некоторых множеств комбинаторов или аксиом также могут быть переданы. |
Under the Zermelo–Fraenkel approach, the axioms impede the construction of a set of all sets which do not belong to themselves. |
Согласно подходу Цермело-Френкеля, аксиомы препятствуют построению множества всех множеств, которые не принадлежат самим себе. |
Аксиомы не воспринимаются как самоочевидные истины. |
|
Thus a sheaf can often be defined by giving its values on the open sets of a basis, and verifying the sheaf axioms relative to the basis. |
Таким образом, пучок часто можно определить, задавая его значения на открытых множествах базиса и проверяя аксиомы пучка относительно базиса. |
All kinds of structures were abstracted using axioms and given names like metric spaces, topological spaces etc. |
Все виды структур были абстрагированы с помощью аксиом и получили имена, такие как метрические пространства, топологические пространства и т. д. |
A topos can also be considered as a specific type of category with two additional topos axioms. |
Топос также можно рассматривать как особый тип категории с двумя дополнительными аксиомами топоса. |
These principles should uniformly adhere to sound logical axioms or postulates. |
Эти принципы должны единообразно соответствовать здравым логическим аксиомам или постулатам. |
First-order logic is the standard for the formalization of mathematics into axioms and is studied in the foundations of mathematics. |
Логика первого порядка является стандартом для формализации математики в аксиомы и изучается в основах математики. |
The most important of these for gameplay were the technological, magical, and spiritual axioms. |
Наиболее важными из них для игрового процесса были технологические, магические и духовные аксиомы. |
Would in be more accurate to characterize them as conclusions, or as axioms or postulates? |
Может быть, правильнее было бы охарактеризовать их как выводы, аксиомы или постулаты? |
Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «Blum’s axioms».
А именно, здесь можно найти перевод (значение) «Blum’s axioms» на русском языке, синонимы, антонимы, краткое определение слов: Blum’s, axioms , а также произношение и транскрипцию к «Blum’s axioms». Также, к фразе «Blum’s axioms» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.
