Теорем - перевод на английский язык, синонимы, произношение, примеры предложений, антонимы
Но ни одна из этих теорем на самом деле не доказывает, что аксиома выбора верна. |
But none of these theorems actually proves that the axiom of choice holds. |
По сравнению с теоремами, изложенными в статье Геделя 1931 года, многие современные утверждения теорем неполноты являются более общими в двух отношениях. |
Compared to the theorems stated in Gödel's 1931 paper, many contemporary statements of the incompleteness theorems are more general in two ways. |
Она включает в себя множество других теорем, таких как теорема черна–Гаусса–Бонне и теорема Римана–Роха, как частные случаи, и имеет приложения к теоретической физике. |
It includes many other theorems, such as the Chern–Gauss–Bonnet theorem and Riemann–Roch theorem, as special cases, and has applications to theoretical physics. |
Кроме того, в 2005 году теорема была доказана Жоржем Гонтье с помощью программного обеспечения для доказательства теорем общего назначения. |
Additionally, in 2005, the theorem was proved by Georges Gonthier with general-purpose theorem-proving software. |
Доказать пункт 3 немного сложнее, и я показал, как на странице обсуждения теорем неполноты Геделя несколько месяцев назад. |
To prove point 3 is a little trickier, and I showed how on the talk page of Godel's incompleteness theorems a few months ago. |
Методология берет свое начало в области автоматического доказательства теорем и, более конкретно, в проекте доказательства теорем вампира. |
The methodology originates in the field of automated theorem proving and, more specifically, in the Vampire theorem prover project. |
Это один из самых замечательных отрицательных результатов в экономике—своего рода отрицательное зеркало фундаментальных теорем экономики благосостояния. |
It is among the most remarkable negative results in economics—a kind of negative mirror to the fundamental theorems of welfare economics. |
Коммерческое использование автоматизированного доказательства теорем в основном сосредоточено на проектировании и верификации интегральных схем. |
Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification. |
Существуют гибридные системы доказательства теорем, которые используют проверку моделей в качестве правила вывода. |
There are hybrid theorem proving systems which use model checking as an inference rule. |
Система использовала эвристическое руководство и сумела доказать 38 из первых 52 теорем принципа. |
The system used heuristic guidance, and managed to prove 38 of the first 52 theorems of the Principia. |
Он часто используется для вывода фактов о многообразиях, вложенных в хорошо управляемые пространства, такие как проективное пространство, или для доказательства теорем с помощью индукции. |
It is often used to deduce facts about varieties embedded in well-behaved spaces such as projective space or to prove theorems by induction. |
В качестве другого примера, теорема о вписанном угле является основой для нескольких теорем, связанных с силой точки по отношению к окружности. |
As another example, the inscribed angle theorem is the basis for several theorems related to the power of a point with respect to a circle. |
Частный случай теорем Перельмана о потоке Риччи с хирургией приведен ниже. |
A special case of Perelman's theorems about Ricci flow with surgery is given as follows. |
Однако в этом случае новое определение затруднило бы формулировку теорем относительно четных чисел. |
However, in this case, the new definition would make it more difficult to state theorems concerning the even numbers. |
Из этих двух теорем Галуа можно вывести результат, уже известный Лагранжу. |
From these two theorems of Galois a result already known to Lagrange can be deduced. |
Использование компьютеров для доказательства математических теорем с использованием формальной логики возникло как область автоматизированного доказательства теорем в 1950-х годах. |
The use of computers to prove mathematical theorems using formal logic emerged as the field of automated theorem proving in the 1950s. |
И что, как только ты закончишь делать вид, что дурак ... в конечном счете уйти и написать несколько безумных математических теорем, которые выиграют Нобелевскую премию. |
And that once you're done pretending to be a nitwit... you'll eventually go off and write some insane mathematical theorem that wins you the Nobel Prize. |
Пересмотренные предположения о сущности истины возникли на волне теорем неполноты Геделя. |
Reconsidered assumptions about the essence of truth arose in the wake of Gödel's incompleteness theorems. |
В прямом доказательстве вывод устанавливается путем логического объединения аксиом, определений и более ранних теорем. |
In direct proof, the conclusion is established by logically combining the axioms, definitions, and earlier theorems. |
Either of these options is appropriate for the incompleteness theorems. |
|
Более простое утверждение теоремы использует теорию графов. |
A simpler statement of the theorem uses graph theory. |
Теорема крускала о дереве, которая имеет приложения в информатике, также неразрешима из арифметики Пеано, но доказуема в теории множеств. |
Kruskal's tree theorem, which has applications in computer science, is also undecidable from Peano arithmetic but provable in set theory. |
Теорема о модульности включала в себя эллиптические кривые, что также было собственной специализацией Уайлса. |
The modularity theorem involved elliptic curves, which was also Wiles's own specialist area. |
Теорема о рекуррентности Пуанкаре рассматривает теоретическое микроскопическое описание изолированной физической системы. |
The Poincaré recurrence theorem considers a theoretical microscopic description of an isolated physical system. |
Существование изначально неоднозначных языков было доказано теоремой Париха в 1961 году Рохитом Парихом в исследовательском докладе Массачусетского технологического института. |
The existence of inherently ambiguous languages was proven with Parikh's theorem in 1961 by Rohit Parikh in an MIT research report. |
Эту часть иногда называют первой фундаментальной теоремой исчисления. |
This part is sometimes referred to as the first fundamental theorem of calculus. |
Поскольку доказательство использует теорему Гаусса-Бонне, оно не обобщается на более высокие измерения. |
Because the proof uses the Gauss–Bonnet theorem, it does not generalize to higher dimensions. |
Соответствующие собственные значения интерпретируются как потенциалы ионизации с помощью теоремы Купманса. |
The corresponding eigenvalues are interpreted as ionization potentials via Koopmans' theorem. |
Формула индекса для этого оператора дает теорему черна-Гаусса-Бонне. |
The index formula for this operator yields the Chern-Gauss-Bonnet theorem. |
Теории, используемые в приложениях, являются абстракциями наблюдаемых явлений, а полученные теоремы обеспечивают решение реальных проблем. |
Theories used in applications are abstractions of observed phenomena and the resulting theorems provide solutions to real-world problems. |
Чтобы доказать лемму, мы должны ввести биномиальную теорему, которая утверждает, что для любого положительного целого числа n,. |
In order to prove the lemma, we must introduce the binomial theorem, which states that for any positive integer n,. |
Согласно теореме о полигональных числах ферма, каждое число является суммой не более 12 додекагональных чисел. |
By the Fermat polygonal number theorem, every number is the sum of at most 12 dodecagonal numbers. |
Теорема о простых числах была окончательно доказана Жаком Адамаром и Шарлем де ла Валле-Пуссеном в 1896 году. |
The prime number theorem was finally proved by Jacques Hadamard and Charles de la Vallée-Poussin in 1896. |
Одна из полезных форм теоремы черна заключается в следующем. |
One useful form of the Chern theorem is that. |
В Дерпте он преподавал Карлу Петерсону и руководил его докторской диссертацией, которая установила теорему Гаусса–Бонне и вывела уравнения Гаусса–Кодацци. |
In Dorpat he taught Karl Peterson and supervised his doctoral thesis that established the Gauss–Bonnet theorem and derived Gauss–Codazzi equations. |
Теорема была также открыта независимо Э. Т. Уиттакером и другими учеными. |
The theorem was also discovered independently by E. T. Whittaker and by others. |
Кроме того, моя работа по различным формам теории операторов, Берлин 1930 и Принстон 1935-1939; по эргодической теореме, Принстон, 1931-1932. |
Also, my work on various forms of operator theory, Berlin 1930 and Princeton 1935–1939; on the ergodic theorem, Princeton, 1931–1932. |
Тем не менее, избегая определенных методов, можно облегчить понимание поведения программы и доказать теоремы о корректности программы. |
Yet, avoiding certain techniques can make it easier to understand program behavior, and to prove theorems about program correctness. |
Именно Вейерштрасс впервые поднял в середине XIX века проблему нахождения конструктивного доказательства фундаментальной теоремы алгебры. |
It was Weierstrass who raised for the first time, in the middle of the 19th century, the problem of finding a constructive proof of the fundamental theorem of algebra. |
Теорема качуровского показывает, что выпуклые функции на Банаховых пространствах имеют в качестве своих производных монотонные операторы. |
Kachurovskii's theorem shows that convex functions on Banach spaces have monotonic operators as their derivatives. |
Обратите внимание, что никакого усреднения по начальным состояниям вообще не было выполнено, и ничего похожего на H-теорему не было вызвано. |
Note that no averaging over initial states whatsoever has been performed, nor has anything resembling the H-theorem been invoked. |
Теорема черна-Гаусса-Бонне теория черна-Симонса теория черна-Симонса теория черна-Вейля гомоморфизм черна гипотеза черна формула черна-Ботта. |
Chern-Gauss-Bonnet Theorem Chern–Simons theory Chern-Simons form Chern–Weil theory Chern-Weil homomorphism Chern's conjecture Chern-Bott formula. |
Его обсуждение комбинаторики метров соответствует элементарному варианту биномиальной теоремы. |
His discussion of the combinatorics of meters corresponds to an elementary version of the binomial theorem. |
Количественно Клаузиус утверждает, что математическое выражение для этой теоремы выглядит следующим образом. |
Quantitatively, Clausius states the mathematical expression for this theorem is follows. |
Когда θ = π / 2, ADB становится прямоугольным треугольником, r + s = c, и возвращается исходная теорема Пифагора. |
When θ = π/2, ADB becomes a right triangle, r + s = c, and the original Pythagorean theorem is regained. |
Здесь его текст о сульвасутрах касался геометрии и расширял трактовку теоремы Пифагора, впервые представленной в 800 году до н. э. |
Here his text on the sulvasutras dealt with geometry, and extended the treatment of the Pythagorean theorem as first presented in 800 BCE by Baudhayana. |
Многие доказательства теоремы об индексе используют псевдодифференциальные операторы, а не дифференциальные операторы. |
Many proofs of the index theorem use pseudodifferential operators rather than differential operators. |
Дрор бар-Натан дал утверждение относительно алгебр Ли и инвариантов Васильева, которое эквивалентно теореме о четырех цветах. |
Dror Bar-Natan gave a statement concerning Lie algebras and Vassiliev invariants which is equivalent to the four color theorem. |
Поэтому можно сказать, что современная парадигма теории социального выбора исходила из этой теоремы. |
One can therefore say that the contemporary paradigm of social choice theory started from this theorem. |
Это известно как теорема Евклида-Эйлера. |
This is known as the Euclid–Euler theorem. |
Истинность этой теоремы зависит от истинности аксиомы Архимеда, которая не является первопорядковой по своей природе. |
The truth of this theorem depends on the truth of Archimedes' axiom, which is not first-order in nature. |
Более простая, но связанная с ней проблема-это проверка доказательств, когда существующее доказательство теоремы считается действительным. |
A simpler, but related, problem is proof verification, where an existing proof for a theorem is certified valid. |
Однако сходимость в распределении очень часто используется на практике; чаще всего она возникает из применения центральной предельной теоремы. |
However, convergence in distribution is very frequently used in practice; most often it arises from application of the central limit theorem. |
Многослойный персептрон является универсальным аппроксиматором функций, что доказывается универсальной аппроксимационной теоремой. |
The multilayer perceptron is a universal function approximator, as proven by the universal approximation theorem. |
Он использует пакетный алгоритм BPTT, основанный на теореме ли для расчета чувствительности сети. |
It uses the BPTT batch algorithm, based on Lee's theorem for network sensitivity calculations. |
Теорема Егорова утверждает, что точечная сходимость почти везде на множестве конечной меры подразумевает равномерную сходимость на несколько меньшем множестве. |
Egorov's theorem states that pointwise convergence almost everywhere on a set of finite measure implies uniform convergence on a slightly smaller set. |
Символ черна используется в теореме Хирцебруха-Римана-Роха. |
The Chern character is used in the Hirzebruch–Riemann–Roch theorem. |
This paved the way for more general theorems. |
|
Это следствие теоремы спин-статистики и того, что электроны являются фермионами. |
This is a consequence of the spin-statistics theorem and that electrons are fermions. |
- теорема о дедукции - deduction theorem
- эквациональная теорема - equational theorem
- теорема Пифагора - Pythagorean theorem
- тауберова теорема - Tauberian theorem
- теорема двойственности - duality theorem
- теорема единственности - uniqueness theorem
- теорема переноса - transference theorem
- в интерпретативных и интегральных парадигмах социальные тенденции теоремы - in interpretive paradigms and integrated social trends theorem
- теорема Черча-Россера - Church-Rosser theorem
- теоремы кодирования - coding theorem
- теорема об изменении кинетической энергии - principle of energy
- основная теорема - main theorem
- абсолютная геометрическая теорема - absolute geometrical theorem
- адекватность теорема - adequacy theorem
- акустическое взаимность теорема - acoustical reciprocity theorem
- тонкая теорема - subtle theorem
- заключение теоремы - conclusion of theorem
- комбинаторная теорема - combinatorial theorem
- Доказательство теоремы - proof of theorem
- теорема о мартингалах - martingale theorem
- при условиях теоремы - under the hypotheses of theorem 1
- теорема о промежуточном значении - intermediate value theorem
- теорема кодирования - coding theorem
- теорема совпадения - coincidence theorem
- теорема о компактности - compactness theorem
- теорема определимости - definability theorem
- теорема равновесия - equilibrium theorem
- теорема о продолжении - extension theorem
- обобщение теоремы - extension of theorem
- теорема об экстремальном значении - extreme-value theorem
