доказательства

Междисциплинарный подход к проверке помог также обнаружить дополнительные доказательства, касающиеся VX.

The multidisciplinary verification approach also helped to uncover additional evidence on VX.

© United Nations 2010

http://www.un.org/ 25.09.2010

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 25.09.2010

Ты потеряла замечательные серьги, наш подарок к Рождеству, у тебя серьезные нарушения процесса мышления, доказательства налицо.

You’ve lost the lovely earrings we gave you for Christmas, you’re having a serious decline in cognition, and this just proves it.

Кинг, Стивен / БессонницаKing, Stephen / Insomnia

Insomnia

King, Stephen

© Stephen King, 1994

Бессонница

Кинг, Стивен

© Stephen King, 1994

© Перевод. Т.Ю. Покидаева, 2003

© ООО "Издательство АСТ", 2003

Дедуктивные доказательства.

Deductive Proofs:

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Брауэр считал, что даже если бы Гильберт преуспел в получении доказательства непротиворечивости классической математики, это не сделало бы классическую математику корректной.

Brouwer argued that, even if Hilbert should succeed in giving a consistency proof for classical mathematics, that would not make classical mathematics correct.

Клини, С.К. / Математическая логикаKleene, Stephen Cole / Mathematical Logic

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Научите их думать самостоятельно, взвешивать доказательства и не бояться выражать несогласие с вашим мнением.

Teach them how to think for themselves, how to evaluate evidence, and how to disagree with you.

Докинз, Ричард / Бог как иллюзияDawkins, Richard / The God Delusion

The God Delusion

Dawkins, Richard

© Richard Dawkins 2006

Бог как иллюзия

Докинз, Ричард

© 2006 by Richard Dawkins

© H. Смелкова, перевод на русский язык, 2008

© ООО "Издательская Группа Аттикус", 2008

Для доказательства соответствия изобретения условию применимости выполнены эксперименты на мышах с целью определения чувствительности к различного рода воздействий клеток костного мозга после введения препарата в оптимальных дозах.

To prove the invention's applicability experiments were conducted in mice to determine the sensitivity of the bone marrow cells to the impacts of various agents after introduction of the proposed agent in recommended dose.

http://www.patentlens.net/ 17.10.2011

http://www.patentlens.net/ 17.10.2011

«Судья может отдать распоряжение об аресте имущества, связанного с совершением преступления, имущества, подлежащего конфискации, или же имущества, которое может служить в качестве доказательства.

“The judge may order the seizure of items related to the crime, items subject to confiscation or items that may serve as evidence.

© United Nations 2010

http://www.un.org/ 7/9/2010

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 7/9/2010

Основная цель этой главы состоит в изложении принадлежащего Атье элементарного доказательства несуществования элементов с инвариантом Хопфа, равным единице.

In particular, we present the elementary Atiyah proof of the nonexistence of elements of Hopf invariant 1.

Хьюзмоллер, Д. / Расслоенные пространстваHusemoller, Dale / Fibre Bundles

Fibre Bundles

Husemoller, Dale

© 1966 by Dale Husemoller

© 1994 Springer-Verlag New York, Inc.

Расслоенные пространства

Хьюзмоллер, Д.

© Издательство «МИР», 1970

Веф, являющийся конечным вефом доказательства, называется доказуемым вефом, или теоремой.

A wef which is the final wef of a proof is called a provable wef, or a thesis.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Докажем теперь следующий результат, который будет использован для доказательства оставшегося случая и который представляет самостоятельный интерес.

Next we have a result which will be used to deal with the remaining case, but is of interest in itself, so we state it separately as a theorem.

Ленг, Серж / Эллиптические функцииLang, Serge / Elliptic Functions

Elliptic Functions

Lang, Serge

© 1987 by Springer-Verlag New York Inc.

Эллиптические функции

Ленг, Серж

© 1973 by Addison- Wesley Publishing Company, Inc.

© Перевод на русский язык. Издательство «Наука» Главная редакция физико-математической литературы, 1984

Однако доказательство его неполное: оно основано на одной лемме Севери, ни одного полного доказательства которой в литературе нет.

The proof is however incomplete: it relies on a lemma of Severi for which no complete proof exists in the literature.

Хирцебрух, Фридрих / Топологические методы в алгебраической геометрииHirzebruch, Friedrich / Topological Methods in Algebraic Geometry

Topological Methods in Algebraic Geometry

Hirzebruch, Friedrich

© by Springer-Verlag Berlin Heidelberg 1956,1962,1966 and 1978

Топологические методы в алгебраической геометрии

Хирцебрух, Фридрих

© Перевод на русский язык, «Мир», 1973

Как правило, для доказательства второй части к нашей проблеме полиномиально сводится какая-либо другая NP-полная проблема, а затем применяется теорема 10.5.

In general, we show the second part by offering a polynomial-time reduction from some other NT-complete problem, and then invoking Theorem 10.5.

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Даже специалисты-математики не раз были введены в заблуждение и представляли или публиковали доказательства, которые затем отпадали после обнаружения в них иной раз каких-нибудь поверхностных недосмотров.

Even serious mathematicians sometimes deceived themselves into handing in or publishing proofs which collapsed after some superficial mistake was discovered.

Курант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методовCourant, Richard,Robbins, Herbert / What Is Mathematics? An Elementary Approach to Ideas and Methods

What Is Mathematics? An Elementary Approach to Ideas and Methods

Courant, Richard,Robbins, Herbert

© 1941 (renewed 1969) by Richard Courant

© 1996 by Oxford University Press, Inc.

Что такое математика? Элементарный очерк идей и методов

Курант, Р.,Роббинс, Г.

© МЦНМО, 2001

Вот идея другого доказательства жордановой теоремы для случая многоугольников.

One may also prove the Jordan curve theorem for polygons in the following way:

Курант, Р.,Роббинс, Г. / Что такое математика? Элементарный очерк идей и методовCourant, Richard,Robbins, Herbert / What Is Mathematics? An Elementary Approach to Ideas and Methods

What Is Mathematics? An Elementary Approach to Ideas and Methods

Courant, Richard,Robbins, Herbert

© 1941 (renewed 1969) by Richard Courant

© 1996 by Oxford University Press, Inc.

Что такое математика? Элементарный очерк идей и методов

Курант, Р.,Роббинс, Г.

© МЦНМО, 2001

Однако, решая вопрос о причине, следует учитывать все доказательства, полученные во всех доступных исследованиях.

But, when deciding about cause, one must consider all the available evidence, from all available studies.

Флетчер, Роберт,Флетчер, Сьюзан,Вагнер, Эдвард / Клиническая эпидемиологияFletcher, Robert,Fletcher, Suzanne,Wagner, Edward H. / Clinical epidemiology

Clinical epidemiology

Fletcher, Robert,Fletcher, Suzanne,Wagner, Edward H.

© 1996 Williams & Wilkins

Клиническая эпидемиология

Флетчер, Роберт,Флетчер, Сьюзан,Вагнер, Эдвард

© 1996 Williams & Wilkins

© Перевод на русский язык и оформление, "Медиа Сфера", 1997.