provable

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Карри, Хаскелл Б. / Основания математической логики

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

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

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

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

The propositions themselves relate entirely to the natural numbers, and it seems reasonable that they should be provable without the intervention of such foreign ideas.

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

Davenport, H. / The Higher Arithmetic: An Introduction to the Theory of NumbersДэвенпорт, Г. / Высшая арифметика: введение в теорию чисел

Высшая арифметика: введение в теорию чисел

Дэвенпорт, Г.

The Higher Arithmetic: An Introduction to the Theory of Numbers

Davenport, H.

© the Estate of H. Davenport 1962, 1968, 1970, 1982

There is, in the words of W. Ross Ashby, a brilliant cyberneticist, a mathematically provable law to the effect that "when a whole system is composed of a number of subsystems, the one that tends to dominate is the one that is least stable."

По словам У. Росса Эшби, блестящего кибернетика, существует математически доказуемый закон такого эффекта: «когда вся система состоит из ряда подсистем, та, которая стремится доминировать, наименее стабильна».

Toffler, Alvin / Future ShockТоффлер, Элвин / Шок Будущего

Шок Будущего

Тоффлер, Элвин

© Alvin Toffler, 1970

© Перевод. К. Бурмистров, 2001

© Перевод. Л. Бурмистрова, 2001

© Перевод. Е. Комарова, 2001

© Перевод. В. Кулагина-Ярцева, 2001

© Перевод. А. Микиша, 2001

© Перевод. А. Мирер, 2001

© Перевод. И. Москвина-Тарханова, 2001

© Перевод. Е. Руднева, 2001

© Перевод. Н. Хмелик, 2001

Future Shock

Toffler, Alvin

© 1970 by Alvin Toffler

We are interested in what formulas there are formal proofs of, i.e. in what formulas are formally provable.

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

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

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

Клини, С.К.

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

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Since we shall later want to see that these results are provable in a certain theory, we shall give rather detailed proofs.

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

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

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

Шенфилд, Дж.

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

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.