hypotheses

Consider the set of hypotheses and the conclusion for a geometric theorem.

Рассмотрим множество условий и заключение геометрической теоремы.

Cox, David,Little, John,O'Shea, Donal / Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraКокс, Дэвид,Литтл, Джон,О'Ши, Донал / Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры

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

Кокс, Дэвид,Литтл, Джон,О'Ши, Донал

© 1997, 1992 Springer-Verlag New York, Inc.

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

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Cox, David,Little, John,O'Shea, Donal

© 1997, 1992 Springer-Verlag New York, Inc.

But we are bound to exhaust all other hypotheses before falling back upon this one.

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

Conan Doyle, Arthur / The Hound of the BaskervillesКонан Дойль, Артур / Собака Баскервилей

Собака Баскервилей

Конан Дойль, Артур

© "Нижне-Волжское книжное издательство", 1978

The Hound of the Baskervilles

Conan Doyle, Arthur

© 1901, 1902 by A. Conan Doyle

Without such an experiment, all considerations of this kind remain a game of hypotheses.

Без такого опыта все рассуждения суть лишь игра гипотез.

Kundera, Milan / The Unbearable Lightness of BeingКундера, Милан / Невыносимая легкость бытия

Невыносимая легкость бытия

Кундера, Милан

© Н. Шульгина, перевод, 1992

© "Азбука-классика", 2006

The Unbearable Lightness of Being

Kundera, Milan

© 1984 by Milan Kundera

© 1984 by Harper & Row, Publishers, Inc.

Making hypotheses in advance and limiting the number of comparisons examined reduce the number of apparently "significant" comparisons that emerge from a study.

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

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

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

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

© 1996 Williams & Wilkins

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

Clinical epidemiology

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

© 1996 Williams & Wilkins

This sheds light on the significance of the hypotheses in Theorem D14.

Этот пример проливает свет на значение условий теоремы D14.

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

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

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

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

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

How can the hypotheses of the theorem be reformulated to exclude the extraneous components?

Как нужно сформулировать теорему, чтобы исключить лишние компоненты?

Cox, David,Little, John,O'Shea, Donal / Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraКокс, Дэвид,Литтл, Джон,О'Ши, Донал / Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры

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

Кокс, Дэвид,Литтл, Джон,О'Ши, Донал

© 1997, 1992 Springer-Verlag New York, Inc.

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

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Cox, David,Little, John,O'Shea, Donal

© 1997, 1992 Springer-Verlag New York, Inc.

But might not a different approach lead to a satisfactory definition of the idea of a probability of hypotheses?

Однако нельзя ли с помощью иного подхода получить удовлетворительное определение понятия вероятности гипотез?

Popper, Karl Raimund / The Logic of Scientific DiscoveryПоппер, Карл / Логика и рост научного знания

Логика и рост научного знания

Поппер, Карл

© Перевод на русский язык с сокращениями и вступительная статья. «Прогресс», 1983 г.

The Logic of Scientific Discovery

Popper, Karl Raimund

© 1959, 1968, 1972, 1980 Karl Popper

© 1999, 2002 The Estate of Karl Popper

And so I omit all the hypotheses.

А потому обхожу все гипотезы.

Dostoevsky, Fyodor / The brothers KaramazovДостоевский, Фёдор / Братья Карамазовы

Братья Карамазовы

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

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

The brothers Karamazov

Dostoevsky, Fyodor

In the paper G. Gentzen made precise and formulated in sharp form a method of constructing logical derivations from given hypotheses.

G. Gentzen в работе уточнил и сформулировал в отчетливой форме метод построения логических выводов с введением предположений.

Sanin, A. / Constructive real numbers and constructive function spacesШанин, А. / КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

КОНСТРУКТИВНЫЕ ВЕЩЕСТВЕННЫЕ ЧИСЛА И КОНСТРУКТИВНЫЕ ФУНКЦИОНАЛЬНЫЕ ПРОСТРАНСТВА

Шанин, А.

Constructive real numbers and constructive function spaces

Sanin, A.

© 1968 by the American Mathematical Society

This is typical of properly posed geometric hypotheses.

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

Cox, David,Little, John,O'Shea, Donal / Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraКокс, Дэвид,Литтл, Джон,О'Ши, Донал / Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры

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

Кокс, Дэвид,Литтл, Джон,О'Ши, Донал

© 1997, 1992 Springer-Verlag New York, Inc.

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

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Cox, David,Little, John,O'Shea, Donal

© 1997, 1992 Springer-Verlag New York, Inc.

The critical hypotheses for the proofs given here are

Основные предположения в данных здесь доказательствах состояли в следующем:

Гофман, К. / Банаховы пространства аналитических функцийHoffman, Kenneth / Banach spaces of analytic functions

Banach spaces of analytic functions

Hoffman, Kenneth

© 1962 by Prentice-Hall, Inc., Englewood Cliffs, N. J.

Банаховы пространства аналитических функций

Гофман, К.

In this exercise, we will study a case where a direct translation of the hypotheses of a "true" theorem leads to extraneous components on which the conclusion is actually false.

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

Cox, David,Little, John,O'Shea, Donal / Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative AlgebraКокс, Дэвид,Литтл, Джон,О'Ши, Донал / Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры

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

Кокс, Дэвид,Литтл, Джон,О'Ши, Донал

© 1997, 1992 Springer-Verlag New York, Inc.

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

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

Cox, David,Little, John,O'Shea, Donal

© 1997, 1992 Springer-Verlag New York, Inc.

These are honest hypotheses which take the facts into account: but I sense so definitely that they come from me, and that they are simply a way of unifying my own knowledge.

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

Sartre, Jean-Paul / NauseaСартр, Жан-Поль / Тошнота

Тошнота

Сартр, Жан-Поль

© Editions Gallimard, 1938, 1939

© Издательство "Фолио", издание на русском языке, марка серии, 2000

© Перевод на русский язык, Ю.Я.Яхнина, 1994

Nausea

Sartre, Jean-Paul

© 1938 by Editions Gallimard, Paris

© 1964 by New Directions Publishing Corporation

We verify next that the hypotheses of Theorem 1, Appendix 5, are verified, with an appropriate set of functionals.

Теперь мы проверим, что для некоторого подходящего множества функционалов выполняются условия теоремы 1 приложения 5.

Lang, Serge / SL2(R)Ленг, Серж / SL2(R)

SL2(R)

Ленг, Серж

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

© 1975 by Addison-Wesley Publishing Company, Inc.

SL2(R)

Lang, Serge

© 1985 by Springer-Verlag New York Inc.

© 1975 by Addison-Wesley Publishing Company. Inc.

if all of the hypotheses of a rule of F have property P, then the conclusion of the rule has property P.

если все посылки некоторого правила системы F имеют свойство Р, то заключение этого правила имеет свойство Р.

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

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

Шенфилд, Дж.

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.