-
21 обратное
с. скл. как прил. (дт.)the opposite (of), the contrary (of)доказа́ть обра́тное тому́, что утвержда́лось — prove the contrary of a statement
доказа́тельство от обра́тного — proof by contradiction
де́йствовать от обра́тного (получить желаемый результат, якобы стремясь к противоположному) — use reverse psychology
-
22 противный
adj.opposite, contrary -
23 доказательство
proof (of), demonstration (of), argument, evidence (for)•Альтернативное доказательство может быть получено (путем, на пути)... - An alternate proof may be obtained by...• Альтернативное доказательство оставлено в качестве упражнения 1.3. - An alternative proof is left to Exercise 1.3.• Безо всяких доказательств мы просто утверждаем, что... - Without going into any proofs, we simply state that...• Более простое прямое доказательство было дано Смитом [1]. Мы следуем его методу. - A simpler direct proof was given by Smith [1], whose method we follow here.• В качестве упражнения мы оставляем читателю доказательство, что... - It is left as an exercise for the reader to show that...• Вдобавок, это доказательство можно слегка упростить... - Incidentally, this proof can be made somewhat simpler by...• Дадим формальное доказательство (этого). - The formal proof is as follows.• Данное доказательство использует метод математической индукции по п. - The proof is by induction on n.• Данное доказательство существенно основывается на нашем предположении, что... - The proof rests fundamentally on our assumption that...• Для доказательства второго утверждения (теоремы) мы выписываем... - То prove part (ii), we write...• Для нашего доказательства удобно использовать... - For our proof it is convenient to use...• Доказательство (теоремы) довольно длинное, поэтому мы разобьем его на несколько шагов. - The proof is rather long, so we shall break it up into several steps.• Доказательство (этого факта, этой теоремы и т. п.) простое, и потому мы оставляем его читателю. - The proof is simple; we leave it to the reader.• Доказательство леммы закончено (= завершено). - The proof of the lemma is finished; This proves the lemma.• Доказательство не закончено до тех пор, пока мы не... - The proof is not complete until we...• Доказательство обратного утверждения уже было проведено. - The proof of the converse has already been given.• Доказательство проводится методом индукции по п. - The proof is by induction on n.• Доказательство проводится от противного. - The argument is by reductio ad absurdum.• Доказательство следует почти немедленно из определения... - The proof is almost immediate from the definition of...• Доказательство становится неверным, если... - The proof breaks down if...• Доказательство теоремы завершено. - This completes the proof; The theorem is proved; QED• Доказательство этого легкое (= несложное). - The proof is easy.• Доказательство этого факта подобно доказательству теоремы 2. - This proof is similar to the proof of Theorem 2.• Другое доказательство намечено в упражнении 2. - An alternative proof is outlined in Exercise 2.• Его доказательство является достаточно элементарным. - The proof is quite elementary.• Затем мы переключаем наше внимание на доказательство того, что... - We turn our attention next to proving that...• Затем нам нужно будет одно особое доказательство, чтобы продемонстрировать, что... - We will then need a special argument to show that...• Здесь мы уже подошли к чисто геометрическому доказательству... - Here we have arrived at a purely geometrical proof of...• Имеются все доказательства того, что... - There is every indication that...• Метод доказательства аналогичен методу, использованному Бляшке [3]. - The proof method is analogous to the method used by Blashke [3].• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Мы накопили ряд убедительных доказательств того, что... - We have amassed a convincing body of evidence that...• Мы начинаем доказательство с... - We begin the proof by...• Мы начинаем с доказательства двух лемм. - We begin by proving two lemmas.• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы опустим доказательство этого утверждения. - We will omit the proof of this statement.• Мы оставляем читателю доказательство противоположного утверждения. - We leave the converse proof to the reader.• Мы оставляем читателю дополнить детали (доказательства). - The details are left to the reader,• Мы примем этот важный факт без доказательства. - We shall accept this important fact without proof.• Мы рассуждаем так же, как при доказательстве теоремы 1. (= Мы полностью повторяем рассуждения из доказательства теоремы 1. ) - We argue exactly as in the proof of Theorem 1.• Наш первый шаг состоит в доказательстве, что... - Our first task is to prove...• Наше доказательство, в основном, повторяет доказательство леммы 2 из [1]. - Our proof follows along the lines of Lemma 2 of [1].• Небольшое изменение этого доказательства показывает, что... - A minor modification of the proof shows that...• Нет никаких экспериментальных доказательств, показывающих, что... - There is no experimental evidence to indicate that...• Однако (его/ее) доказательство не является настолько простым, как можно было бы подумать (= вообразить). - The proof, however, is not as easy as one might think.• Однако доказательство данной гипотезы сложное, потому что... - However, proof of this hypothesis is difficult because...• Однако имеется огромное множество доказательств (= свидетельств) того, что... - But there is a great deal of evidence that...(= предоставляется) читателю. - The remainder of the proof is left to the reader.• Остальная часть доказательства проводится уже более или менее просто. - The rest of the proof is now more or less straightforward.• В работе Смита [1] приведено доказательство при менее ограничительных условиях. - For a proof under less restrictive conditions, see Smith [1].• Перед тем как мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Предшествующее доказательство принадлежит лорду Рэлею [1]. - The foregoing proof is due to Lord Rayleigh [1].• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• Простое и прямое доказательство может быть получено... - A simple and direct proof can be obtained by...• Разобьем доказательство на два шага (= две части). - We shall divide the proof into two steps.• С целью экономии места мы опускаем доказательство... - We omit the proof in order to save space; For reasons of space we omit the proof of...• Сейчас имеется огромное количество доказательств того, что... - There is now overwhelming evidence that...• Следующее доказательство является небольшой модификацией доказательства, данного Смитом [1]. - The following proof is a slight modification of that given by Smith [1].• Смит [1] дал общее доказательство того, что... - Smith [1] has given a general proof that...• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы приведем пропущенные детали доказательства. - We now proceed to fill in the details; We shall now fill in the details.• Убедительное доказательство этого утверждения предоставлено Смитом [1]. - Convincing proof of this statement is furnished by Smith [1].• Центральной частью доказательства является то, что... - The crux of the proof is that...• Чтобы завершить доказательство, мы... - In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, мы выпишем... - For the remainder of the proof we write...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы закончить доказательство, мы... - In order to complete the proof, we...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Это доказательство легко изменить для того, чтобы показать, что... - The proof is easily adapted to show that...• Это доказательство основывается на факте, что... - The proof is based on the fact that...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Этот метод доказательства весьма оригинален. - The method of proof is quite ingenious.• Этот метод доказательства довольно общий и применим к... - The method of proof is quite general and applies to...• Этот факт был отмечен без доказательства в главе 4. - This fact was noted without proof in Chapter 4. -
24 противоречие
(см. также противоречить) contradiction• Будем отыскивать противоречие с предположением, что... - We shall seek a contradiction to the assumption that...• Данное заключение находится в противоречии с мнением Смита [1], который... - This conclusion is at variance with that of Smith [1], who...• Здесь нет противоречия, поскольку... - There is no contradiction here because...• Итак, мы пришли к противоречию. - We have now reached a contradiction.• Мы пришли к противоречию и потому заключаем, что... - This is a contradiction and we conclude that...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Это приводит к противоречию, и, следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete. -
25 завершать
(= завершить, заканчивать, оканчивать) complete, conclude• Итак, мы завершили наше обозрение... - We have now completed our survey of...• Мы завершаем (параграф) практическим советом. - We close with a practical hint.• Мы завершаем (этот параграф, главу) рассмотрением частного класса (чего-л). - We conclude by considering a particular class of...• Мы завершаем данную главу демонстрацией того, что... - We end this section by showing that...• Прежде чем мы сможем завершить доказательство, мы должны... - Before we can complete the proof, we must...• Полученное противоречие завершает доказательство. - This contradiction completes the proof.• Это завершает наше обсуждение... - This completes our discussion of...• Что и завершает наше доказательство, - This completes our proof.• Чтобы завершить доказательство, мы.. In order to finish the proof, we...; Finally, we...• Чтобы завершить доказательство, нам остается показать, что... - То complete the proof, we need to demonstrate that...• Чтобы завершить это решение, мы должны, complete the solution, we must...• Это завершает нахождение... - This completes the determination of... -
26 приводить
reduce, reduce to, bring, cite, deduce, list, adduce, enter• Были приведены дальнейшие аргументы, показавшие, что... - Further arguments were given which showed that...• Было бы легко привести значительно больше примеров... - It would be easy to give many more examples of...• В основном, различные подходы приводят к... - Different approaches will, in general, lead to...• В свою очередь это может привести к тому, что... - This in turn can lead to...• В таблице 1 мы приводим вместе все данные относительно... - In Table 1 we summarize the...• В этом приложении мы приводим результаты... - In this appendix we present the results of...• Все эти данные приводили к очевидному требованию, что... - All this evidence led to a clear requirement that...• Дальнейшее рассуждение затем привело бы к идее... - Further argument would then lead to the idea of...• Данная процедура может быть продолжена, она приводит к... - The procedure can be continued, yielding...• Здесь мы приводим другой пример (чего-л). - We give here another example of...• Здесь мы приводим некоторые формулы для... - Неге we give some formulae for...• Исследование каждого случая отдельно приводит к... - Examination of each individual case leads to...• Можно привести еще одно замечание. - One further observation may be made.• Мы можем привести геометрическую интерпретацию для... -It is possible to give a geometric interpretation of...• Мы не можем привести здесь полный ответ. - We cannot give a complete answer here.• Мы не приводим это рассуждение со всеми подробностями по следующим причинам. - We do not present this argument in detail for the following reasons.• Мы приводим ниже значения для... - We quote below the values of...• Мы теперь приведем приложение уравнения (5). - We now give an application of (5).• Это привело нас к предложению, что... - We are led to the suggestion that...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Однако здесь можно привести очень грубый довод. - A very rough reason, however, can be given here.• Описанный здесь метод всегда приводит... - The procedure described here always yields...• Перед тем как продолжить приводить примеры, мы приведем важное замечание, что... - Before proceeding to give examples, we make the important observation that...• Подобные повреждения могут привести к потере... - Such injuries can result in a loss of...• Понятно, что только один этот процесс не мог бы привести к... - Clearly such a process alone could not lead to...• Предыдущее обсуждение приводит к идее, что... - The preceding discussion leads to the idea that...• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Приведем исключения, которые указывает Смит [1]. - Smith [1] points out certain exceptions as follows.• Приведем некоторый основной критерий для... - Let us list some major criteria for...• Приведем соответствующие численные величины:... - The corresponding numerical values are as follows:...• Приведем теперь пример, в котором... - We now give an example in which...• Процесс приводит к замене в... - The process leads to a change in...• Следовательно, мы обязаны попытаться развить теорию, которая приводит к... - Hence, we must try to develop a theory that leads to...• Смит [1] приводит убедительный пример существования... - Smith [l] makes a persuasive case for the existence of...• Сначала мы приведем некоторый дополнительный материал относительно... - We begin with some additional material relating to...• Сначала мы приведем один результат из... - We first quote a result from...• Такая практика приводит к серьезным недоразумениям. - This practice leads to serious confusion.• Тем не менее эта формальная работа привела к конкретному результату. - Nevertheless, this formal work has produced a concrete result. I• Тем самым нас довольно настойчиво приводит к идее, что... - This suggests quite strongly that...• Теперь мы приведем некоторые экспериментальные данные относительно... - We shall now give some experimental data concerning...• Теперь мы приведем список наиболее важных тождеств, включающих... - We shall now list the most important identities involving...• Теперь мы приведем явную характеристику... - We now give an explicit characterization of...• Теперь приведем несколько конкретных примеров. - A few concrete examples are in order.• Чтобы привести еще более простой пример, мы можем рассмотреть... - То take an even simpler example, we can consider...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Эти кажущиеся тривиальными результаты приводят к... - These seemingly trivial results lead to...• Эти результаты мы приводим в таблице 1 для трех значений г. - The results are set out in Table 1 for three values of r.• Это выражение можно привести к более удобному виду. - This expression can be put in a more convenient form.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это естественным образом приводило к различным схемам для... - It led naturally to various schemes for...• Это заключение базируется на тех же самых идеях, которые приводят к... - This conclusion is based on the same ideas that lead to...• Это могло бы также привести к лучшему пониманию... - This could also lead to a better understanding of...• Это не приведет к ошибке, потому что... - This will not give rise to confusion because...• Это не приводит ни к каким концептуальным трудностям, однако... - This introduces no conceptual difficulties, but...• Это нестрогое рассуждение приводит нас к... - This crude argument leads to...• Это позволяет нам привести уравнение (1) к следующему виду... - This enables us to reduce (1) to the form...• Это привело нескольких авторов к заключению, что... - This has led several authors to believe that...• Это приводит к возникновению так называемого... - This gives rise to the so-called...• Это приводит к возрастанию... - This involves an increase in...• Это приводит к выводу, что... - This carries the implication that...• Это приводит к концепции... - This leads to a conception in which...• Это приводит к новым концепциям. - This leads to new conceptions.• Это приводит к полезным методам обращения с... - This leads to useful ways of dealing with...• Это приводит к противоречию, и, следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Это приводит к рассмотрению темы... - This leads into the topic of...• Это приводит к следующему определению. - This motivates the following definition.• Это приводит к тому, что известно как... - This leads to what is known as...• Это приводит нас к важному свойству... - This leads us to an important property of...• Это приводит нас к идее постулировать существование... - This leads us to postulate the existence of...• Этот результат автоматически приводит к необходимости изучения... - This result automatically leads to a study of... -
27 доказывать теорему
1) Engineering: prove a theorem2) Mathematics: prove the theorem3) Makarov: prove a theorem ( e. g., by contradiction) (напр. способом от противного), construct the proof of a theoremУниверсальный русско-английский словарь > доказывать теорему
-
28 заканчивать
(= закончить, окончить, завершить, заключить) finish, complete, accomplish• Закончим наше исследование объяснением (чего-л). - We conclude our treatment with an explanation of...• Мы заканчиваем этот параграф несколькими замечаниями относительно... - We will end this section with a few comments regarding...•... что и заканчивает доказательство. - Q. E. D.• Это приводит к противоречию, и следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete. -
29 предположение
(= гипотеза) supposition, hypothesis, suggestion, assumption, premise, conjecture, presumption, guess, proposal• Будем отыскивать противоречие с предположением, что... - We shall seek a contradiction to the assumption that...• Было сделано предположение, что... - It was assumed that...• В (1) неявно принимается предположение, что... - Implicit in (1) is the assumption that...• В данном параграфе делаются следующие предположения:... - In this section the following assumptions are made: (i)...• В данном подходе имеется неявное предположение, что... - Implicit in this viewpoint is the assumption that...• В этой модели делается неявное предположение, что... - Implicit in this model is the assumption that...• Возможно, это разумное предположение, что... - It is probably a reasonable assumption that...• Все эти исследования основываются на одном и том же предположении. - All these studies rest on the same assumption.• Данное доказательство существенно опирается на наше предположение о том, что... - The proof rests fundamentally on our assumption that...• Данный результат объясняется и качественно, и количественно предположением, что... - This result is both qualitatively and quantitatively explained by the assumption that...• Джонс делает предположение, что... - Jones makes the assumption that...• До сих пор мы не делали предположений относительно... - So far we have made no assumptions regarding...• Другое рабочее предположение состоит в том, что... - Another working assumption is that...• Если это предположение неверно, то... - If this assumption is wrong, then...• Затем, согласно предположению,... - Then, by hypothesis,...• Здесь мы уже сделали два важных предположения. - Here we have made two important assumptions.• Имеется несколько причин, по. которым в этом предположении следует усомниться. - There are several reasons why this assumption should be questioned.• Интересно предположение, действительно ли... - It is interesting to speculate whether...• Исходя из ошибочного предположения, что... - On the mistaken assumption that...• Каждая из этих теорий включает в себя предположения относительно... - Each of these theories involves assumptions about...• Можно было бы попытаться объяснить этот эффект предположением, что... - One could try to explain this effect by assuming that...• Мы будем придерживаться нашего начального предположения, что... - We shall maintain our initial assumption that...• Мы делаем обычное предположение, что... - We make the usual assumption that...• Мы делаем это в предположении, что... - We do this on the assumption that...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы исходим из предположения... - We proceed from the assumption that...; We operate on the premise that...• Наиболее просто это было объяснено предположением, что... - This was most simply explained by the supposition that...• Напоминаем, что по отношению... не было введено никаких предположений. - Recall that no assumptions have been made with regard to...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Нашим начальным предположением было то, что... - Our initial assumption was that...• Необходимо сделать некоторое предположение относительно... - It is necessary to make some assumption regarding...• Неявно в этом предположении содержится... - Implicit in this assumption is that...• Обоснование данного предположения затрагивает теорию... - The justification of this assumption involves the theory of...• Обоснование для этих предположений находится единственно в... - The justification of these assumptions lies solely in...• Однако мы никогда не вводили никаких предположений относительно... - At no time, however, have we made any assumptions regarding...• Однако не менее важным является предположение, что... - Equally important, however, is the assumption that...• Они были выведены в предположении, что... - These were derived on the assumption that...• Они ввели простое предположение, что... - They made the simple assumption that...• Относительно... здесь не делается никаких предположений. - No assumption is made here about...• Предыдущее уравнение базируется на предположении... - The above equation is based on the assumption that...• Предыдущие рассуждения базируются на предположении... - The foregoing arguments rely on the assumption that...• Предыдущие результаты были получены в рамках предположения... - The above results have been obtained under the assumption of...• При более слабых предположениях о регулярности начальных данных... - Under weaker regularity assumptions on initial data...• При этих предположениях относительно к мы получаем... - Under the assumptions made on к, we get...• Простейшее разумное предположение состоит в том, что... - The simplest reasonable assumption is that...• Распространенной ошибкой является предположение, что... - It is a common error to suppose that...• Следовательно, мы выдвигаем предположение, что... - We therefore conjecture that...• Справедливость данного предположения будет рассмотрена позднее, когда... - The validity of this assumption will be considered further when...• Теперь мы исключим предположение, что... - We now remove the assumption that...• Теперь это предположение доказано, так как... - This assumption has now been justified, since...• Тест основывается на предположении о том, что... - The test rests on the assumption that...• Хотя такое предположение кажется правдоподобным,... - Although such an assumption seems plausible,...• Чтобы доказать это утверждение, мы сделаем упрощающее предположение, что... - То prove this statement, we make the simplifying assumption that...• Чтобы избежать неуместных усложнений, мы сделаем упрощающее предположение, что... - То avoid undue complication we make the simplifying assumption that...• Эти результаты согласуются с предположением, что... - These results are consistent with the assumption that...• Это очень грубое предположение влечет за собой... - This very crude assumption yields...• Это предположение игнорирует тот факт, что... - The assumption ignores the fact that...• Это предположение согласуется с... - The assumption is consistent with...• Это противоречит предположению, что... - This is contrary to the hypothesis that...• Это противоречит широко используемому предположению, что... - This is contrary to the widely used assumption that...• Это решение основано/основывается на предположении, что... - This solution is based on the assumption that...• Это является следствием предположения относительно существования... - This is a consequence of assuming the existence of...• Этот результат не зависит ни от каких предположений относительно... - This result is independent of any assumption about...
Страницы
- 1
- 2
См. также в других словарях:
proof by contradiction — noun Proof of a statement adduced by deriving a contradiction from the statements negation. Syn: reductio ad absurdum … Wiktionary
Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… … Wikipedia
Proof of Bertrand's postulate — In mathematics, Bertrand s postulate (actually a theorem) states that for each n ≥ 2 there is a prime p such that n < p < 2 n . It was first proven by Pafnuty Chebyshev, and a short but advanced proof was given by Srinivasa Ramanujan. The gist of … Wikipedia
Proof that e is irrational — In mathematics, the series representation of Euler s number e : e = sum {n = 0}^{infty} frac{1}{n!}!can be used to prove that e is irrational. Of the many representations of e, this is the Taylor series for the exponential function e y evaluated… … Wikipedia
Proof that the sum of the reciprocals of the primes diverges — In the third century BC, Euclid proved the existence of infinitely many prime numbers. In the 18th century, Leonhard Euler proved a stronger statement: the sum of the reciprocals of all prime numbers diverges. Here, we present a number of proofs… … Wikipedia
Proof by assertion — is a logical fallacy in which a proposition is repeatedly restated regardless of contradiction. Sometimes this may be repeated until challenges dry up, at which point it is asserted as fact due to its not being contradicted (argumentum ad… … Wikipedia
Proof of impossibility — A proof of impossibility, sometimes called a negative proof or negative result , is a proof demonstrating that a particular problem cannot be solved, or cannot be solved in general. Often proofs of impossibility have put to rest decades or… … Wikipedia
Proof complexity — In computer science, proof complexity is a measure of efficiency of automated theorem proving methods that is based on the size of the proofs they produce. The methods for proving contradiction in propositional logic are the most analyzed. The… … Wikipedia
Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… … Wikipedia
Proof that π is irrational — Although the mathematical constant known as pi; (pi) has been studied since ancient times, and so has the concept of irrational number, it was not until the 18th century that π was proved to be irrational.In the 20th century, proofs were found… … Wikipedia
contradiction — The conjunction of a proposition and its negation . The law of non contradiction provides that no such conjunction can be true: not (p & not p ). The standard proof of the inconsistency of a set of propositions or sentences is to show that a… … Philosophy dictionary
