proof

The jewel-case is a conclusive proof that he did stand there....

Коробка же ясно доказывает, что он именно там стоял.

Dostoevsky, Fyodor / Crime and PunishmentДостоевский, Фёдор / Преступление и наказание

Преступление и наказание

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

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

Crime and Punishment

Dostoevsky, Fyodor

© 2009 Rhodes Media

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

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

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

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

Шенфилд, Дж.

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

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

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

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

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

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

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

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

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

Geometric Integration Theory

Whitney, Hassler

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

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

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

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

Бредон, Г.

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

Introduction to compact transformation groups

Bredon, Glen

© 1972, by Academic Press, Inc.

We state them without proof, giving references.

Мы приведем их без доказательств, ограничившись ссылками.

Borevich, Z.I.,Shafarevich, I.R. / Number TheoryБоревич, З.И.,Шафаревич И. Р. / Теория чисел

Теория чисел

Боревич, З.И.,Шафаревич И. Р.

Number Theory

Borevich, Z.I.,Shafarevich, I.R.

© 1966, by Academic Press Inc.

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

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

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

Идиот

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

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

Idiot

Dostoevsky, Fyodor

© 2004 by Fine Creative Media, Inc.

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Клини, С.К. / Математическая логика

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

Клини, С.К.

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

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

From F we infer that a is not a null system and this completes the proof.

Из равенств F вытекает; что о не является нуль-системой; этим наше предложение полностью доказано.

Baer, Reinhold / Linear Algebra and Projective GeometryБэр, Р. / Линейная алгебра и проективная геометрия

Линейная алгебра и проективная геометрия

Бэр, Р.

© Издательство иностранной литературы, 1955

Linear Algebra and Projective Geometry

Baer, Reinhold

© 1965, by Academic Press

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

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

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

Накануне

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

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

On the eve

Turgenev, I.S.

© 1st World Library, 2008

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Сабатини, Рафаэль / Морской ястреб

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

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

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

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

The Sea-Hawk

Sabatini, Rafael

© 2007 BiblioBazaar

If the reader has any idea of this “organisation”, he needs no further proof of Tikhomirov’s Bakuninism.

Если читатель имеет понятие об этой «организации», то он не нуждается в дальнейших доказательствах тихомировского бакунизма.

Плеханов, Г. В. / Наши разногласия. Письмо к П. Л. ЛавровуPlekhanov, G. V. / Our Differences. Letter to P. L. Lavrov

Our Differences. Letter to P. L. Lavrov

Plekhanov, G. V.

Наши разногласия. Письмо к П. Л. Лаврову

Плеханов, Г. В.

© Государственное издательство политической литературы, 1949 г.

I have just seen with my own eyes the proof that my conjecture was correct!" -he added, with increasing eagerness.He meant to calm his hearers, and did not perceive that his words had only increased their irritation.

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

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

Idiot

Dostoevsky, Fyodor

© 2004 by Fine Creative Media, Inc.

Идиот

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

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

" This code is what is usually meant in the literature by the unqualified term "Gray code." We will show, usually without proof, how to do some basic operations in this representation of integers, and we will show a few surprising properties.

Именно этот код обычно имеется в виду, когда говорят о неконкретном "коде Грея". Покажем (как обычно, без доказательств), как выполняются основные операции при таком представлении целых чисел, и расскажем о некоторых интересных свойствах кода Грея.

Warren, Henry S. / Hacker's DelightУоррен, Генри / Алгоритмические трюки для программистов

Алгоритмические трюки для программистов

Уоррен, Генри

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

© Addison-Wesley Publishing Company, Inc., 2002

Hacker's Delight

Warren, Henry S.

© 2003 by Pearson Education, Inc.

We leave the proof of (2) to the reader.

Доказать (2) мы предоставляем читателю.

Mumford, David / Tata Lectures on ThetaМамфорд, Д. / Лекции о тэта-функциях

Лекции о тэта-функциях

Мамфорд, Д.

© Birkhäuser Boston, 1983, 1984

© перевод на русский язык, с добавлением, «Мир», 1988

Tata Lectures on Theta

Mumford, David

©2007 Birkhauser Boston