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 была обнаружена его ошибочность. |