Аксиоматическая теория множеств - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы

Аксиоматическая теория множеств - перевод на английский, синонимы, антонимы, примеры в контексте
axiomatic set theory
Translate
аксиоматическая теория множеств -

- аксиоматический [имя прилагательное]

имя прилагательное: axiomatic, axiomatical

- теория [имя существительное]

имя существительное: theory, speculation, theoretics, doxy

- множество [имя существительное]

наречие: many, a lot of, a great deal, a quantity of, a world of, without number, out of number

имя существительное: multiplicity, plurality, pack, variety, multitude, throng, plenty, slew, raft, stack



Он также может быть использован в качестве аксиоматического основания для математики, в качестве альтернативы теории множеств и другим предложенным основаниям.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

It may also be used as an axiomatic foundation for mathematics, as an alternative to set theory and other proposed foundations.

Для своей диссертации он решил произвести аксиоматизацию теории множеств Кантора.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

For his thesis, he chose to produce an axiomatization of Cantor's set theory.

Аксиоматическая теория множеств тогда еще не была сформулирована.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Axiomatic set theory was at that point not yet formulated.

После завершения аксиоматизации теории множеств он начал сталкиваться с аксиоматизацией квантовой механики.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics.

В частности, примерами современной топологии являются теория метризуемости, аксиоматическая теория множеств, гомотопическая теория и теория морса.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In particular, instances of modern-day topology are metrizability theory, axiomatic set theory, homotopy theory, and Morse theory.

Арифметика Пеано и теория множеств Цермело-Френкеля являются аксиоматизациями теории чисел и теории множеств соответственно в логику первого порядка.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Peano arithmetic and Zermelo–Fraenkel set theory are axiomatizations of number theory and set theory, respectively, into first-order logic.

Некоторые аксиоматические теории множеств обеспечивают существование пустого множества, включая аксиому пустого множества;в других теориях его существование может быть выведено.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set; in other theories, its existence can be deduced.

И из санатория он вернулся убеждённым, что был послан на Землю для открытия теории трансфинитных множеств, потому что величайшим множеством бесконечности был бы тогда Сам Бог.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

And when he came out of the sanitarium, he was convinced that he had been put on earth to found transfinite set theory because the largest set of infinity would be God Himself.

Гипотеза континуума и аксиома выбора были одними из первых математических утверждений, показавших свою независимость от теории множеств ZF.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The continuum hypothesis and the axiom of choice were among the first mathematical statements shown to be independent of ZF set theory.

Существует много различных теорий множеств и много различных систем теории типов, поэтому Ниже приводятся обобщения.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

There are many different set theories and many different systems of type theory, so what follows are generalizations.

Новый алгоритм для добычи данных во временных рядах с использованием черновых множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A New Algorithm for Time Series Data Mining by Using Rough Set.

Работа называлась: Математическая дедукция; в ней есть раздел, посвященный теории множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The title was Mathematical Deduction. It wasn't about number theory, particularly.

Действуя так ты можешь спасти множеств жизней, так же как делал я в свое время.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In so doing, you may save countless lives, as I have done in my time.

и свойство бесконечных множеств в отличие от свойств конечных множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

and the property of infinite sets is unlike the property of finite sets.

Мне теория множеств нравится,- признался Амариль. - Я из фильмокниг узнал.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

I liked number theory, said Amaryl. I worked some things out from what I learned from the computer and from the book-films it used to teach me mathematics.

Из-за некоторых фундаментальных проблем математика была оформлена в не вполне обоснованную теорию множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Due to certain foundational problems, the mathematics was framed in a non-well-founded set theory.

Формула выражает тот факт, что сумма размеров двух множеств может быть слишком большой, так как некоторые элементы могут быть подсчитаны дважды.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The formula expresses the fact that the sum of the sizes of the two sets may be too large since some elements may be counted twice.

Включение 0 в настоящее время является общей конвенцией среди теоретиков множеств и логиков.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Including 0 is now the common convention among set theorists and logicians.

Но они также используются для обозначения общих кортежей, множеств и других структур, как и в математике.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

But they are also used to denote general tuples, sets and other structures, just as in mathematics.

На самом деле, иррациональные имеют основу множеств Клопена, поэтому пространство является нулевым.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In fact, the irrationals have a basis of clopen sets so the space is zero-dimensional.

Также в 1922 году была разработана теория множеств Цермело–Френкеля.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Also in 1922, Zermelo–Fraenkel set theory was developed.

Переформулировка, основанная на недостаточно обоснованной теории множеств Питера Акцеля, была предложена Барвайсом до того, как этот подход к предмету прекратил свое существование в начале 1990-х годов.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A reformulation based on Peter Aczel's non-well-founded set theory was proposed by Barwise before this approach to the subject petered out in the early 1990s.

Гипотеза континуума не может быть ни доказана, ни опровергнута; она независима от аксиом теории множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The continuum hypothesis can neither be proved nor be disproved; it is independent from the axioms of set theory.

В математике, в частности в теории категорий, представимый функтор - это определенный функтор из произвольной категории в категорию множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In mathematics, particularly category theory, a representable functor is a certain functor from an arbitrary category into the category of sets.

В дискретной геометрии теорема радона и теорема Тверберга касаются существования разбиений точечных множеств на подмножества с пересекающимися выпуклыми оболочками.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In discrete geometry, both Radon's theorem and Tverberg's theorem concern the existence of partitions of point sets into subsets with intersecting convex hulls.

Центральным понятием теории множеств является членство.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

A central concept of set theory is membership.

В теории множеств инверсионная эквивалентность-это концепция, согласно которой интервалы, аккорды и другие наборы тонов одинаковы при инверсии.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In set theory, inversional equivalency is the concept that intervals, chords, and other sets of pitches are the same when inverted.

Современные математики склонны использовать модернизированную форму системы теории множеств Цермело-Френкеля.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Contemporary mathematicians tend to use a modernized form of the system of Zermelo–Fraenkel set theory.

Принципы касались только теории множеств, кардинальных чисел, порядковых чисел и действительных чисел.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The Principia covered only set theory, cardinal numbers, ordinal numbers, and real numbers.

В 1874 году в своей первой статье по теории множеств Кантор доказал, что множество действительных чисел неисчислимо, тем самым показав, что не все бесконечные множества счетны.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In 1874, in his first set theory article, Cantor proved that the set of real numbers is uncountable, thus showing that not all infinite sets are countable.

Это пример множества того же размера, что и одно из его собственных подмножеств, что невозможно для конечных множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

This is an example of a set of the same size as one of its proper subsets, which is impossible for finite sets.

Пример 3. Множество конечных и кофинитных множеств целых чисел, где кофинитное множество является одним, опуская только конечное число целых чисел.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Example 3. The set of finite and cofinite sets of integers, where a cofinite set is one omitting only finitely many integers.

В 1936 году Стоун доказал, что каждая булева алгебра изоморфна полю множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In fact, M. H. Stone proved in 1936 that every Boolean algebra is isomorphic to a field of sets.

Здесь появление парадокса Рассела и подобных антиномий наивной теории множеств подняло возможность того, что любая такая система может оказаться непоследовательной.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Here, the emergence of Russell's paradox and similar antinomies of naïve set theory raised the possibility that any such system could turn out to be inconsistent.

В своей общей форме принцип включения-исключения утверждает, что для конечных множеств A1, ..., Ан, у одного есть личность.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In its general form, the principle of inclusion–exclusion states that for finite sets A1, ..., An, one has the identity.

Сначала он удалил подсчитываемое бесконечное подмножество из каждого из этих множеств, так что между оставшимися бесчисленными множествами существует биекция.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

He first removed a countably infinite subset from each of these sets so that there is a bijection between the remaining uncountable sets.

Кроме того, существует базис окрестности для 0, состоящий из поглощающих и выпуклых множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Moreover there exists a neighbourhood basis for 0 consisting of absorbing and convex sets.

Пол Коэн позже построил модель ZF, в которой AC и GCH ложны; вместе эти доказательства означают, что AC и GCH независимы от аксиом ZF для теории множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

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.

Неклонируемость можно рассматривать как свойство произвольных множеств квантовых состояний.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Non-clonability can be seen as a property of arbitrary sets of quantum states.

Чтобы доказать свой результат, Коэн разработал метод форсирования, который стал стандартным инструментом в теории множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

To prove his result, Cohen developed the method of forcing, which has become a standard tool in set theory.

Моя мысленная картина состоит в том, что у нас есть много возможных теорий множеств, все они соответствуют ZFC.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

My mental picture is that we have many possible set theories, all conforming to ZFC.

Однако в 1949 году А. П. Морс показал, что утверждение о евклидовых многоугольниках может быть доказано в теории множеств ZF и, следовательно, не требует аксиомы выбора.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

However, in 1949, A.P. Morse showed that the statement about Euclidean polygons can be proved in ZF set theory and thus does not require the axiom of choice.

Теорема крускала о дереве, которая имеет приложения в информатике, также неразрешима из арифметики Пеано, но доказуема в теории множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Kruskal's tree theorem, which has applications in computer science, is also undecidable from Peano arithmetic but provable in set theory.

Однако в настоящее время нет известного способа продемонстрировать непротиворечивость современных аксиом Цермело–Френкеля для теории множеств.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

However, at present, there is no known way of demonstrating the consistency of the modern Zermelo–Fraenkel axioms for set theory.

Согласно подходу Цермело-Френкеля, аксиомы препятствуют построению множества всех множеств, которые не принадлежат самим себе.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Under the Zermelo–Fraenkel approach, the axioms impede the construction of a set of all sets which do not belong to themselves.

Гильберт принял и горячо защищал теорию множеств Георга Кантора и трансфинитные числа.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Hilbert adopted and warmly defended Georg Cantor's set theory and transfinite numbers.

Проблема определения того, является ли пара множеств линейно отделимой, и нахождения разделяющей гиперплоскости, если они есть, возникает в нескольких областях.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The problem of determining if a pair of sets is linearly separable and finding a separating hyperplane if they are, arises in several areas.

Пространство мер на σ-алгебре множеств является Банаховым пространством, называемым пространством СА, относительно этой нормы.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The space of measures on a σ-algebra of sets is a Banach space, called the ca space, relative to this norm.

Математические задачи, такие как перечисление рекурсивно определенных множеств, легко выразить в этой нотации.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Mathematical problems such as the enumeration of recursively defined sets are simple to express in this notation.

Объединение любого числа открытых множеств или бесконечно многих открытых множеств является открытым.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The union of any number of open sets, or infinitely many open sets, is open.

Пересечение конечного числа открытых множеств является открытым.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The intersection of a finite number of open sets is open.

Пустое множество и полное пространство являются примерами множеств, которые одновременно являются открытыми и закрытыми.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

The empty set and the full space are examples of sets that are both open and closed.

В терминологии Уэллса это означает слияние лексических множеств BATH и START.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Have the green lemure and the goblin red Poured on thee love and terror from their urn?

В терминологии Уэллса это означает слияние лексических множеств BATH и START.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In Wells' terminology, this consists of the merger of the lexical sets BATH and START.

В терминологии Уэллса это означает слияние лексических множеств THOUGHT и CURE.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In Wells' terminology, this consists of the merger of the lexical sets THOUGHT and CURE.

В терминологии Уэллса это означает слияние лексических множеств сукно и север.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

In Wells' terminology, this consists of the merger of the lexical sets CLOTH and NORTH.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «аксиоматическая теория множеств». А именно, здесь можно найти перевод (значение) «аксиоматическая теория множеств» на английском языке, синонимы, антонимы, краткое определение слов: аксиоматическая, теория, множеств . Также, к фразе «аксиоматическая теория множеств» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information