Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
constructive proof
Translation of "constructive proof" in Russian
In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object.
Конструктивное доказательство - доказательство в котором существование математического объекта доказывается путем создания или предоставляя метод для создания объекта.
It extends this interpretation to the more general setting of intuitionistic type theory and thus provides a general conception not only of what a constructive proof is, but also of what a constructive mathematical object is.
Она расширяет эту интерпретацию до более общего взгляда интуиционистской теории типов и, таким образом, дает общее представление не только о том, что такое конструктивное доказательство, но и о том, что такое конструктивный математический объект.
If the user can supply a constructive proof that a type is inhabited (i.e., that a value of that type exists) then a compiler can check the proof and convert it into executable computer code that computes the value by carrying out the construction.
Если предоставлено конструктивное доказательство того, что тип «заселён» (то есть, существует хотя бы одно значение этого типа), компилятор сможет проверить это доказательство и превратить его в исполняемый код, вычисляющий значение.
This proof is non-constructive because it relies on the statement "Either q is rational or it is irrational"-an instance of the law of excluded middle, which is not valid within a constructive proof.
Это доказательство не является конструктивным, потому что оно опирается на утверждение, что "любое число рационально или иррационально"- это пример применения закона исключенного третьего, который не является допустимым в рамках конструктивного доказательства.
The method of the proof suggested by Mergelyan is constructive, and remains the only known constructive proof of the result.
Метод доказательства, предложенный Мергеляном, конструктивен и остается единственным известным конструктивным доказательством результата.
Weierstrass noted in 1859 made a start towards a constructive proof but it was not until 1940 that a constructive variant of the Argand proof was given by Hellmuth Kneser.
В 1859 г. Вейерштрасс сделал попытку конструктивного доказательства, но только в 1940 г. конструктивный вариант доказательства Аргана был дан Хельмутом Кнезером.
If the user can supply a constructive proof that a type is inhabited (i.e., that a value of that type exists) then a compiler can check the proof and convert it into executable computer code that computes the value by carrying out the construction.
Если предоставлено конструктивное доказательство того, что тип «заселён» (то есть, существует хотя бы одно значение этого типа), компилятор сможет проверить это доказательство и превратить его в исполняемый код, вычисляющий значение.
Other results
Constructive proofs, and even more specific constructions can be found in.
Построение доказательства, и даже более конкретные конструкции можно найти в.
Constructivism is a mathematical philosophy that rejects all but constructive proofs in mathematics.
Конструктивизм - это математическая философия, которая отвергает все, кроме конструктивного доказательства в математике.
This is in contrast to a non-constructive proof (also known as an existence proof or pure existence theorem) which proves the existence of a particular kind of object without providing an example.
В отличие от неконструктивного доказательства (также известный как чистая теорема существования), что доказывает существование определенного вида объекта без предоставления конкретного примера.
This is in contrast to a non-constructive proof (also known as an existence proof or pure existence theorem) which proves the existence of a particular kind of object without providing an example.
В отличии от неконструктивного доказательства (также известный как доказательством существования или чистая теорема существования), что доказывает существование определенного вида объекта без предоставления конкретного примера.
It turns out that 2 2 {\displaystyle {\sqrt {2}}^{\sqrt {2}}} is irrational because of the Gelfond-Schneider theorem, but this fact is irrelevant to the correctness of the non-constructive proof.
На самом деле, 2 2 {\свойства стиль отображения значение {\функция sqrt {2}}^{\функция sqrt {2}}} ирационально по теорем Гельфонда-Шнайдера, но этот факт не имеет отношения к справедливости неконструктивного доказательства приведённого выше.
The non-constructive proof does not construct an example a and b; it merely gives a number of possibilities (in this case, two mutually exclusive possibilities) and shows that one of them-but does not show which one-must yield the desired example.
Заметим, что неконструктивное доказательство не даёт пример А И Б; оно лишь дает целый ряд возможностей (в данном случае двух взаимоисключающих возможностей) и показывает, что один из них - но не показывают какой один - является примером.
Synonyms and analogies of "constructive proof" in English
Word & Expression of the day
Image of the day
Suggestions that contain constructive proof
Results: 53. Exact: 7. Elapsed time: 44 ms.
