| Jeffreys wrote that Bayes' theorem "is to the theory of probability what the Pythagorean theorem is to geometry". | Сэр Гарольд Джеффрис писал, что теорема Байеса «для теории вероятности, то же, что теорема Пифагора для геометрии». |
| It's a counterintuitive theorem. | Эта теорема противоречит здравому смыслу. |
| Exactly, Godel's incompleteness theorem. | Точно. Теорема несовершенства Годеля. |
| The Hall-Higman theorem is sharper for groups of odd order. | Теорема Холла - Хигмана сильнее для групп нечётного порядка. |
| The Earle-Hamilton theorem applies equally well in this case. | То есть теорема Гамильтона формально выполняется и в этом предельном случае. |
| Notably, Seymour's decomposition theorem characterizes the regular matroids (the matroids representable by totally unimodular matrices) as the 3-sums of graphic matroids (the matroids representing spanning trees in a graph), cographic matroids, and a certain 10-element matroid. | Теорема разложения Сеймура описывает регулярные матроиды (матроиды, представляющие вполне унимодулярные матрицы) как З-суммы графических матроидов (матроиды, представляющие остовные деревья), кографические матроиды и некоторые 10-элементные матроиды. |
| The theorem is stated in the seventeenth of a series of 23 papers by Neil Robertson and Paul Seymour. | Теорема была сформулирована в семнадцати статьях из серии из 23 статей Нейла Робертсона и Пола Сеймура. |
| According to the Robertson-Seymour theorem, there exists a finite set H of minimal elements in S. These minimal elements form a forbidden graph characterization of F: the graphs in F are exactly the graphs that do not have any graph in H as a minor. | Согласно теореме Робертсона - Сеймура существует конечное множество Н минимальных элементов в S. Эти минимальные элементы образуют характеризацию запрещёнными графами множества F - графы из F являются в точности теми графами, которые не имеют какого-либо графа из H в качестве минора. |
| The existence of forbidden minor characterizations for all minor-closed graph families is an equivalent way of stating the Robertson-Seymour theorem. | Существование характеризаций запрещёнными минорами для всех минорно замкнутых семейств графов является эквивалентной формулировкой теоремы Робертсона - Сеймура. |
| Robertson and Seymour conjectured that the matroids representable over any particular finite field are well-quasi-ordered, analogously to the Robertson-Seymour theorem for graphs, but so far this has been proven only for the matroids of bounded branchwidth. | Робертсон и Сеймур высказали предположение, что матроиды, представимые любым конкретным конечным полем, вполне квазиупорядоченны, что является аналогией Теорема Робертсона - Сеймура для графов, но гипотеза доказана только для матроидов с ограниченной шириной ветвления. |
| The De Bruijn-Erdős theorem shows that, for this problem, there exists a finite unit distance graph with the same chromatic number as the whole plane, so if the chromatic number is greater than five then this fact can be proved by a finite calculation. | Теорема де Брёйна - Эрдёша показывает, что для этой задачи существует конечный граф единичных расстояний с тем же хроматическим числом, что и вся плоскость целиком, так что если хроматическое число больше четырёх, то этот факт может быть доказан конечными вычислениями. |
| Ramsey's theorem also implies the special case of the Erdős-Hajnal conjecture when H {\displaystyle H} itself is a clique or independent set. | Из теоремы Рамсея также следует специальный случай гипотезы Эрдёша - Хайналя, когда сам граф Н {\displaystyle H} является кликой или независимым множеством. |
| For this connection between Rado's lemma and the De Bruijn-Erdős theorem, see e.g. the discussion following Theorem A of Nash-Williams (1967). | Для связи леммы Радо и теоремы де Брёйна - Эрдёша см. обсуждение после теоремы А у Нэша-Вилльямса (Nash-Williams 1967). |
| Beck's Theorem can be derived by letting k = n(1 - 1/C) and applying the Erdős-Beck theorem. | Теорема Бека получается, если положить к = n(1 - 1/C) и применить теорему Эрдёша - Бека. |
| Its applications include extending the four-color theorem and Dilworth's theorem from finite graphs and partially ordered sets to infinite ones, and reducing the Hadwiger-Nelson problem on the chromatic number of the plane to a problem about finite graphs. | Теорема применяется для расширения задачи четырёх красок и теоремы Дилуорса для конечных графов и множеств с частичным порядком до бесконечных вариантов, сведения задачи Нельсона - Эрдёша - Хадвигера о хроматическом числе плоскости к задачам на конечных графах. |
| Hall (2015, Theorem 4.34 and following discussion.) | Hall, 2015, с. Theorem 4.34 и последующее обсуждение. |
| It is a specific instance of the far more general shape discussed in Blaise Pascal's 1639 Hexagrammum Mysticum Theorem. | Уникурсальная гексаграмма является специфичным видом более общей формы, которую обсуждал Блез Паскаль в теореме 1639-го года Hexagrammum Mysticum Theorem. |
| Two of Kripke's earlier works, A Completeness Theorem in Modal Logic and Semantical Considerations on Modal Logic, the former written when he was a teenager, were on modal logic. | Две первые работы Крипке - А Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic (написанная еще в школе) - посвящены модальной логике. |
| This is due to the alternate segment theorem, which states that the angle between the tangent and chord equals the angle in the alternate segment. | Это связано с теоремой об отрезке круга, дополнительном данному (the alternate segment theorem,), в которой говорится, что угол между касательной и хордой равен вписанному в окружность углу, опирающемуся на эту хорду. |
| If r < n, then it is possible to append n - r rows to an r× n Latin rectangle to form a Latin square, using Hall's marriage theorem. | Если г < n, то можно добавить n - r строк к латинскому прямоугольнику с размерами r× n, чтобы сформировать латинский квадрат, используя теорему Холла о свадьбах theorem. |
| Actually, his proof of the Riemann-Roch theorem works for arbitrary perfect base fields, not necessarily finite. | Фактически, его доказательство теоремы Римана - Роха работает для произвольных совершенных базовых полей, не обязательно конечных. |
| For comparison, the Riemann-Roch theorem for a curve states that χ(D) = χ(0) + deg(D). | Для сравнения, теорема Римана - Роха для кривой утверждает, что χ (D) = χ (0) + d e g (D) {\displaystyle \chi (D)=\chi (0)+deg(D)}. |
| The Riemann-Hurwitz formula concerning (ramified) maps between Riemann surfaces or algebraic curves is a consequence of the Riemann-Roch theorem. | Формула Римана - Гурвица, относяющаяся к (разветвлённым) отображениям между римановыми поверхностями или алгебраическими кривыми, является следствием теоремы Римана - Роха. |
| The earliest forms of the Riemann-Roch theorem for surfaces were often stated as an inequality rather than an equality, because there was no direct geometric description of first cohomology groups. | Наиболее ранние формы теоремы Римана - Роха для поверхностей часто формулировались в виде неравенств, а не равенств, поскольку не было прямого геометрического описания групп первой когомологии. |
| Many earlier results such as the Riemann-Roch theorem and the Hodge theorem have been generalized or understood better using sheaf cohomology. | Многие более ранние результаты, такие как теорема Римана - Роха и теорема Ходжа были обобщены и лучше поняты благадаря когомологиям пучков. |