| If it's Becky's, we'll have our proof that Hollis is the one who hired her. | Если это Бекки, у нас будет доказательство того, что Холлис - тот, кто ее нанял. |
| Where's your proof that I killed anyone? | Где ваше доказательство того, что я убил кого-то? |
| Well, I'd say Slade is living proof that someone stole your family key to never-never escape land. | Что ж, Слэйд - живое доказательство тому, что кто-то украл твой фамильный ключик от земли не столь отдаленной. |
| The effect the fire had on this ring is proof that the so-called gems in the setting are fakes, nothing but paste. | Эффект произведенный огнем на это кольцо доказательство того, что так называемые камни в обрамлении - подделки, не более чем стразы. |
| Latin America and the Caribbean have offered the world proof that they constitute a region in which prohibition and non-proliferation are part of their historical heritage. | Латинская Америка и Карибский регион дали миру доказательство того, что они представляют собой регион, в котором запрещение и нераспространение входит в состав их исторического наследия. |
| This proof, published by Gabriel Lamé in 1844, represents the beginning of computational complexity theory, and also the first practical application of the Fibonacci numbers. | Это доказательство, опубликованное Габриэлем Ламе в 1844 году, представляет собой начало теории сложности вычислений, а также первое практическое применение чисел Фибоначчи. |
| For instance, in 1985, Monsur Kenku gave a proof using the Klein quartic (though again utilizing modular functions). | Например, в 1985, Монсур Кенку дал доказательство, используя квартику Клейна (хотя также с использованием модулярных функций). |
| An informal proof in the mathematics literature, by contrast, requires weeks of peer review to be checked, and may still contain errors. | Неформальное доказательство в математической публикации, однако, требует недель тщательного анализа и проверок, и может все ещё содержать ошибки. |
| In 1902, Hurwitz published a short proof using the Fourier series that applies to arbitrary rectifiable curves (not assumed to be smooth). | В 1902 году Гурвиц опубликовал короткое доказательство, использующее ряды Фурье, которое применимо к произвольным спрямляемым кривым (не обязательно гладким). |
| A proof by Maria Chudnovsky, Neil Robertson, Paul Seymour, and Robin Thomas was announced in 2002 and published by them in 2006. | Доказательство Марии Чудновской, Нила Робертсона, Пола Сеймура и Робина Томаса было заявлено в 2002 и опубликовано ими в 2006. |
| Sometimes, however, a statement of a theorem can be original enough to be considered deep, even though its proof is fairly obvious. | Впрочем, возможны случаи, когда формулировка теоремы может быть достаточно оригинальной, чтобы считаться глубокой, даже если её доказательство вполне очевидно. |
| Leopold Kronecker first stated Minkowski's theorem in 1882, though the first proof was given by Hermann Minkowski in 1891. | Леопольд Кронекер сформулировал теорему Минковского в 1882, хотя доказательство её Герман Минковский дал лишь в 1891. |
| During his lifetime, Fermat challenged several other mathematicians to prove the non-existence of a Pythagorean triangle with square area, but did not publish the proof himself. | В течение жизни Ферма предлагал некоторым другим математикам доказать несуществование пифагорова треугольника с площадью, являющейся квадратом, но сам доказательство не опубликовал. |
| A formal proof is a sequence of well-formed formulas of a formal language, the last of which is a theorem of a formal system. | Формальное доказательство - последовательность правильно построенных формул ФЯ, последняя из которых рассматривается как теорема формальной системы. |
| Their proof uses the Ramanujan conjecture, which led to the name of Ramanujan graphs. | Их доказательство использует гипотезу Рамануджана, откуда и получили название графы Рамануджана. |
| Bézout, who did not have at his disposal modern algebraic notation for equations in several variables, gave a proof based on manipulations with cumbersome algebraic expressions. | Безу, который не имел в своём распоряжении современных алгебраических обозначений уравнений от нескольких переменных, дал доказательство, основанное на манипуляциях с громоздкими алгебраическими выражениями. |
| The proof examines the set of elements a in the finite field of order pq such that a and 2-a both have norm 1. | Доказательство проверяет множество элементов а в конечном поле порядка pq, таких что a и 2-a имеют норму 1. |
| It was about 17 pages long, which at the time was thought to be very long for a proof in group theory. | Доказательство заняло около 17 страниц, что было на то время очень большим для теории групп. |
| They are rather like high-level sketches that would allow an expert to reconstruct a formal proof at least in principle, given enough time and patience. | Они скорее подобны высокоуровневым очеркам-эскизам, которые позволяют эксперту восстанавливать формальное доказательство по крайней мере в принципе, имей он достаточно времени и терпения. |
| It was taken in 1989 at a farm near Montreal, and I believe it's the proof Hatcher was searching for his whole life. | Фотография сделана в 1989 году на ферме около Монреаля, и мне кажется, это то самое доказательство, которое Хэтчер искал - всю свою жизнь. |
| The proof involves building a tree automaton for the formula and then testing whether the automaton has an accepting path. | Доказательство использует построение автомата над деревом для формулы, а затем проверку, имеет ли автомат приемлемый путь. |
| The invariant holds initially (at the root), because the original proof showed that the (unconditioned) probability of failure is less than 1. | Условие инвариантности первоначально (в корне) выполняется, поскольку исходное доказательство показывает, что (безусловная) вероятность неудачи меньше 1. |
| In this context our goal is an efficient approximation algorithm, not just an existence proof, so we are not done. | В этом контексте нашей целью является эффективный алгоритм аппроксимации, не просто доказательство существования, так что мы не закончили рассмотрение шага З. |
| Further suspicious circumstances follow, including Banner disappearing behind the Iron Curtain for a time, but proof that Banner is a traitor continues to elude Talbot. | Далее следуют подозрительные обстоятельства, в том числе исчезновение Баннера за железным занавесом, но доказательство того, что Баннер является предателем, по-прежнему ускользает от Тэлбота. |
| An erroneous proof was published in 1879 by Alfred Kempe, but it was discovered to be erroneous by 1890. | Доказательство теоремы опубликовал в 1879 году Альфред Кемпе, но в 1890 была обнаружена его ошибочность. |