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

Любое финитное доказательство имеет две характерные черты: оно имеет дело с конкретными объектами, и оно обращается с ними конструктивным способом.

A finitary proof has two features: it deals with concrete objects, and it does so in a constructive fashion.

Шенфилд, Дж. / Математическая логикаShoenfield, Joseph / Mathematical Logic

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

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

Шенфилд, Дж.

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

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

It is worth considering a more clumsy proof of this fact, which provides an explicit algorithm for constructing the reciprocal lattice.

Ashcroft, Neil,Mermin, David / Solid state physicsАшкрофт, Н.,Мермин, Д. / Физика твердого тела

Физика твердого тела

Ашкрофт, Н.,Мермин, Д.

Solid state physics

Ashcroft, Neil,Mermin, David

© 1976 by Harcourt, lnc

Доказательство похоже на соответствующее доказательство в § 2 и поэтому опускается.

The proof is like the corresponding proof in § 2, and will be omitted.

Уитни, Хасслер / Геометрическая теория интегрированияWhitney, Hassler / Geometric Integration Theory

Geometric Integration Theory

Whitney, Hassler

Геометрическая теория интегрирования

Уитни, Хасслер

Рассмотрим теперь доказательство классификационной теоремы V.6.I.

We now consider the proof of the Classification Theorem V.6.1.

Бредон, Г. / Введение в теорию компактных групп преобразованийBredon, Glen / Introduction to compact transformation groups

Introduction to compact transformation groups

Bredon, Glen

© 1972, by Academic Press, Inc.

Введение в теорию компактных групп преобразований

Бредон, Г.

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

- Это сумасшествие; доказательство ее безумия, - проговорил князь, и губы его задрожали.

"It is madness--it is merely another proof of her insanity!" said the prince, and his lips trembled.

Достоевский, Фёдор / ИдиотDostoevsky, Fyodor / Idiot

Idiot

Dostoevsky, Fyodor

© 2004 by Fine Creative Media, Inc.

Идиот

Достоевский, Фёдор

© Издательство "Художественная литература", 1971

Моя совесть молчала, она теперь молчит, но разве это доказательство невинности?

My conscience was silent, it is silent now, but is that a proof of innocence?

Тургенев, И.С. / НаканунеTurgenev, I.S. / On the eve

On the eve

Turgenev, I.S.

© 1st World Library, 2008

Накануне

Тургенев, И.С.

© Издательство "Художественная литература", 1976

Не в силах далее выносить подобное положение вещей, сэр Оливер отправился к Розамунде с намерением предъявить ей доказательство своей невиновности, каковым он благоразумно обзавелся.

Sir Oliver, unable longer to endure the present state of things, had ridden over to lay before Rosamund that proof with which he had taken care to furnish himself.

Сабатини, Рафаэль / Морской ястребSabatini, Rafael / The Sea-Hawk

The Sea-Hawk

Sabatini, Rafael

© 2007 BiblioBazaar

Морской ястреб

Сабатини, Рафаэль

© Тихонов Н Н., наследники, 2008

© ООО "Издательский дом «Вече», 2008

Но эти же результаты дадут и доказательство его подлинности надежнее, чем прочие тесты.

Those very results will go far to prove his identity, even if all other tests we make turn out negatively."

Ван Вогт, Альфред Элтон / СланVan Vogt, Alfred Elton / Slan

Slan

Van Vogt, Alfred Elton

© 1940, 1945, 1951, 1968 by A. E. van Vogt

Слан

Ван Вогт, Альфред Элтон

© 1968 by A.E. van Vogt

© Перевод. К.Кузнецов, А.Григорьев, Б. Жужунава, 2006

© Издание на русском языке. ООО "Издательство "Эксмо", 2006

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

Many times, it is not a trivial matter to find formulas of this type, nor to prove that they exist.

Беллман, Р. / Введение в теорию матрицBellman, Richard / Introduction To Matrix Analysis

Introduction To Matrix Analysis

Bellman, Richard

© 1960 by The RAND Corporation

Введение в теорию матриц

Беллман, Р.

Я — лучшее тому доказательство".

I am proof of that.

Воннегут, Курт / Колыбель для кошкиVonnegut, Kurt / Cat's Cradle

Cat's Cradle

Vonnegut, Kurt

© 1969 Vonnegut, Kurt, Jr.

Колыбель для кошки

Воннегут, Курт

© Издательство "Художественная литература", 1978

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

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

И в своем собственном докладе Рикман отмечает это "доказательство швейцарских преступлений".

In his own account, Rickman likewise brandishes this "proof of Swiss criminality."

Финкельштейн, Норман Дж. / Индустрия Холокоста: размышления на тему эксплуатации еврейских страданийFinkelstein, Norman G. / The Holocaust Industry: Reflections on The Exploitation of Jewish Suffering

The Holocaust Industry: Reflections on The Exploitation of Jewish Suffering

Finkelstein, Norman G.

© Norman G. Finkelstein 2003

Индустрия Холокоста: размышления на тему эксплуатации еврейских страданий

Финкельштейн, Норман Дж.

© Русский Вестник, 2002

© Перевод M. Иванов

На страницах своей книги (1808, 1830) Лежандр приводит доказательство Эйлера без доведения деталей рассуждения до конца.

Legendre reproduced Euler’s proof in his book (1808, 1830) without completing the details.

Рибенбойм, П. / Последняя теорема Ферма для любителейRibenboim, Paulo / Fermat's Last Theorem for Amateurs

Fermat's Last Theorem for Amateurs

Ribenboim, Paulo

© 1999 Springer-Verlag New York, Inc.

Последняя теорема Ферма для любителей

Рибенбойм, П.

© перевод на русcкий язык, издательство «Мир», 2003

© 1999 Springer-Verlag New York, Inc.

Суммирование по различным классам смежности завершает доказательство теоремы.

Summing over the distinct cosets proves the theorem.

Ленг, Серж / Введение в теорию модулярных формLang, Serge / Introduction to Modular Forms

Introduction to Modular Forms

Lang, Serge

© by Springer-Verlag Berlin Heidelberg 1976

Введение в теорию модулярных форм

Ленг, Серж

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

© by Springer-Verlag Berlin Heidelberg 1976

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

On the other hand, you might want to operate your new franchise in registration states as a way to signal its quality to franchisees. The oversight that comes from regulators helps to weed out bad franchises.

Шейн, Скотт А. / От мороженого к Интернету. Франчайзинг как инструмент развития и повышения прибыльности вашей компанииShane, Scott A. / From Ice Cream to the Internet: Using Franchising to Drive the Growth and Profits of Your Company

From Ice Cream to the Internet: Using Franchising to Drive the Growth and Profits of Your Company

Shane, Scott A.

© 2005 by Pearson Education, Inc.

От мороженого к Интернету. Франчайзинг как инструмент развития и повышения прибыльности вашей компании

Шейн, Скотт А.

© Баланс Бизнес Букс, 2006

© перевод О. Теплых

© 2005 by Pearson Education, Inc.