"Constructive proof"@en . . . . . . . "Bewijs door constructie"@nl . . . . . . . . "Konstruktiver Beweis"@de . "Une premi\u00E8re vision d'une d\u00E9monstration constructive est celle d'une d\u00E9monstration math\u00E9matique qui respecte les contraintes des math\u00E9matiques intuitionnistes, c'est-\u00E0-dire qui ne fait pas appel \u00E0 l'infini, ni au principe du tiers exclu. Ainsi, d\u00E9montrer l'impossibilit\u00E9 de l'inexistence d'un objet ne constitue pas une d\u00E9monstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Une deuxi\u00E8me vision d'une d\u00E9monstration constructive d\u00E9coule de la remarque pr\u00E9c\u00E9dente, c'est une d\u00E9monstration \u00E0 laquelle on peut donner un contenu calculatoire."@fr . "\uAD6C\uC131\uC801 \uC99D\uBA85"@ko . . . . . . "En matem\u00E1ticas, una prueba constructiva es un m\u00E9todo de demostraci\u00F3n para constatar la existencia de un objeto matem\u00E1tico creando o proporcionando un m\u00E9todo para crear el objeto. Esto contrasta con una prueba no constructiva (tambi\u00E9n conocida como prueba de existencia o teorema de existencia pura), que prueba la existencia de un tipo particular de objeto sin proporcionar un ejemplo. Para evitar confusiones con el concepto m\u00E1s fuerte que se trata a continuaci\u00F3n, tal prueba constructiva a veces se denomina prueba efectiva. Una prueba constructiva tambi\u00E9n puede referirse al concepto m\u00E1s fuerte de una prueba que es v\u00E1lida seg\u00FAn los criterios de la matem\u00E1tica constructiva. El constructivismo es una filosof\u00EDa matem\u00E1tica que rechaza todos los m\u00E9todos de prueba que implican la existencia de objetos que no se construyen expl\u00EDcitamente. Esto excluye, en particular, el uso del principio del tercero excluido, el axioma del infinito y el axioma de elecci\u00F3n, e induce un significado diferente para alguna terminolog\u00EDa (por ejemplo, el t\u00E9rmino \"o\" tiene un significado m\u00E1s fuerte en las matem\u00E1ticas constructivas que en las cl\u00E1sicas).\u200B Algunas demostraciones no constructivas muestran que si cierta proposici\u00F3n es falsa, se produce una contradicci\u00F3n; en consecuencia, la proposici\u00F3n debe ser verdadera (prueba por contradicci\u00F3n). Sin embargo, el principio de explosi\u00F3n (ex falso quodlibet) ha sido aceptado en algunas variedades de matem\u00E1ticas constructivas, incluido el intuicionismo. Las pruebas constructivas pueden verse como una definici\u00F3n de los algoritmos matem\u00E1ticos certificados: esta idea se explora en la de la l\u00F3gica intuicionista, la correspondencia de Curry-Howard entre pruebas y programas, y los sistemas l\u00F3gicos como la de y el c\u00E1lculo de construcciones de y G\u00E9rard Huet."@es . . . . . . . . . "\u041A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0435 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F"@uk . . . . . . . . . . "Em matem\u00E1tica, ou ainda na filosofia, uma demonstra\u00E7\u00E3o ou prova construtiva \u00E9 uma demonstra\u00E7\u00E3o da exist\u00EAncia de certo objeto matem\u00E1tico atrav\u00E9s da sua constru\u00E7\u00E3o. Uma demonstra\u00E7\u00E3o construtiva fornece um algoritmo para obter o objeto em quest\u00E3o. Em constraste, temos as provas n\u00E3o-construtivas, que provam a exist\u00EAncia sem necessariamente mostrar como encontrar um exemplo (como por exemplo a redu\u00E7\u00E3o ao absurdo ou o princ\u00EDpio do terceiro exclu\u00EDdo). Uma demonstra\u00E7\u00E3o construtiva de exist\u00EAncia n\u00E3o pode ser baseada em mostrar a impossibilidade da inexist\u00EAncia. Algumas vezes, usa-se a express\u00E3o constru\u00E7\u00E3o via axioma da escolha, n\u00E3o obstante o axioma da escolha n\u00E3o conduza a demonstra\u00E7\u00E3o construtivas, pois \u00E9 um axioma do infinito."@pt . . "Een bewijs door constructie is een manier om een wiskundig bewijs te leveren. Door een voorbeeld te construeren, een methode te geven hoe het geconstrueerd kan worden, laat men zien dat er een wiskundig object is dat aan bepaalde eisen voldoet."@nl . . . . "En matem\u00E1ticas, una prueba constructiva es un m\u00E9todo de demostraci\u00F3n para constatar la existencia de un objeto matem\u00E1tico creando o proporcionando un m\u00E9todo para crear el objeto. Esto contrasta con una prueba no constructiva (tambi\u00E9n conocida como prueba de existencia o teorema de existencia pura), que prueba la existencia de un tipo particular de objeto sin proporcionar un ejemplo. Para evitar confusiones con el concepto m\u00E1s fuerte que se trata a continuaci\u00F3n, tal prueba constructiva a veces se denomina prueba efectiva."@es . . . . . "1090644431"^^ . . . . "360113"^^ . . . . "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. 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. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof. A constructive proof may also refer to the stronger concept of a proof that is valid in constructive mathematics.Constructivism is a mathematical philosophy that rejects all proof methods that involve the existence of objects that are not explicitly built. This excludes, in particular, the use of the law of the excluded middle, the axiom of infinity, and the axiom of choice, and induces a different meaning for some terminology (for example, the term \"or\" has a stronger meaning in constructive mathematics than in classical). Some non-constructive proofs show that if a certain proposition is false, a contradiction ensues; consequently the proposition must be true (proof by contradiction). However, the principle of explosion (ex falso quodlibet) has been accepted in some varieties of constructive mathematics, including intuitionism. Constructive proofs can be seen as defining certified mathematical algorithms: this idea is explored in the Brouwer\u2013Heyting\u2013Kolmogorov interpretation of constructive logic, the Curry\u2013Howard correspondence between proofs and programs, and such logical systems as Per Martin-L\u00F6f's intuitionistic type theory, and Thierry Coquand and G\u00E9rard Huet's calculus of constructions."@en . . . . "Een bewijs door constructie is een manier om een wiskundig bewijs te leveren. Door een voorbeeld te construeren, een methode te geven hoe het geconstrueerd kan worden, laat men zien dat er een wiskundig object is dat aan bepaalde eisen voldoet."@nl . . . . "\u6784\u9020\u6027\u8BC1\u660E\uFF08\u82F1\u8A9E\uFF1AConstructive proof\uFF09\u662F\u6570\u5B66\u8BC1\u660E\u65B9\u6CD5\u7684\u4E00\u79CD\uFF0C\u901A\u8FC7\u76F4\u63A5\u6216\u95F4\u63A5\u6784\u9020\u51FA\u5177\u6709\u547D\u9898\u6240\u8981\u6C42\u7684\u6027\u8D28\u7684\u5B9E\u4F8B\u6765\u5B8C\u6210\u8BC1\u660E\u3002\u4E0E\u6784\u9020\u6027\u8BC1\u660E\u76F8\u5BF9\u7684\u6982\u5FF5\u662F\u975E\u6784\u9020\u6027\u8BC1\u660E\u3002\u540E\u8005\u53EA\u8BC1\u660E\u6EE1\u8DB3\u547D\u9898\u8981\u6C42\u7684\u7269\u4F53\u5B58\u5728\uFF0C\u800C\u4E0D\u63D0\u4F9B\u5177\u4F53\u7684\u5B9E\u4F8B\u6216\u6784\u9020\u8FD9\u6837\u7684\u5B9E\u4F8B\u7684\u65B9\u6CD5\u3002 \u6784\u9020\u6027\u8BC1\u660E\u4E5F\u53EF\u4EE5\u6307\u6570\u5B66\u6784\u6210\u4E3B\u4E49\u4E2D\u88AB\u8BA4\u53EF\u7684\u4E00\u79CD\u66F4\u5F3A\u7684\u8BC1\u660E\u3002\u6570\u5B66\u6784\u6210\u4E3B\u4E49\u662F\u6570\u5B66\u54F2\u5B66\u7684\u4E00\u652F\uFF0C\u5B83\u8BA4\u4E3A\u8981\u8BC1\u660E\u4E00\u4E2A\u5BF9\u8C61\u7684\u5B58\u5728\uFF0C\u5FC5\u987B\u5C06\u5176\u6784\u9020\u51FA\u6765\u3002\u56E0\u6B64\uFF0C\u4ED6\u4EEC\u62D2\u7EDD\u4F7F\u7528\u5982\u6392\u4E2D\u5F8B\uFF0C\u65E0\u7A77\u516C\u7406\u548C\u9009\u62E9\u516C\u7406\u8FD9\u6837\u7684\u516C\u7406\u3002\u540C\u65F6\u4E5F\u6709\u4E00\u4E9B\u7528\u8BED\u548C\u4EE5\u5F80\u4E0D\u540C\uFF0C\u4F8B\u5982\u6216\u7684\u8BED\u610F\u4F1A\u6BD4\u57FA\u7840\u6570\u5B66\u4E2D\u7684\u66F4\u5F3A\u3002 \u6570\u5B66\u6784\u6210\u4E3B\u4E49\u62D2\u7EDD\u4F7F\u7528\u53CD\u8BC1\u6CD5\uFF0C\u7136\u800C\u7206\u70B8\u539F\u7406\u5728\u4E00\u4E9B\u6570\u5B66\u6784\u6210\u4E3B\u4E49\u7684\u53D8\u4F53\u4E2D\u662F\u88AB\u63A5\u53D7\u7684\uFF0C\u5305\u62EC\u76F4\u89C9\u4E3B\u4E49\u3002"@zh . "14334"^^ . . "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. 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. For avoiding confusion with the stronger concept that follows, such a constructive proof is sometimes called an effective proof."@en . . . "\u0412 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0435 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u2014 \u0446\u0435 \u043C\u0435\u0442\u043E\u0434 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F, \u0449\u043E \u043F\u0456\u0434\u0442\u0432\u0435\u0440\u0434\u0436\u0443\u0454 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430 \u0448\u043B\u044F\u0445\u043E\u043C \u043D\u0430\u0434\u0430\u043D\u043D\u044F \u0430\u0431\u043E \u0441\u0442\u0432\u043E\u0440\u0435\u043D\u043D\u044F \u0441\u043F\u043E\u0441\u043E\u0431\u0443 \u0432\u0456\u0434\u0442\u0432\u043E\u0440\u0435\u043D\u043D\u044F \u0434\u0430\u043D\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430. \u0412\u0456\u043D \u043F\u0440\u043E\u0442\u0438\u0441\u0442\u0430\u0432\u043B\u044F\u0454\u0442\u044C\u0441\u044F \u043D\u0435\u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u043C\u0443 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044E (\u0442\u0430\u043A\u043E\u0436 \u0432\u0456\u0434\u043E\u043C\u043E\u043C\u0443 \u044F\u043A \u0442\u0435\u043E\u0440\u0435\u043C\u0430 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F, \u0430\u0431\u043E \u0447\u0438\u0441\u0442\u0430 \u0442\u0435\u043E\u0440\u0435\u043C\u0430 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F), \u044F\u043A\u0435 \u0434\u043E\u0432\u043E\u0434\u0438\u0442\u044C \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u043F\u0435\u0432\u043D\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430 \u0431\u0435\u0437 \u043D\u0430\u0434\u0430\u043D\u043D\u044F \u043F\u0440\u0438\u043A\u043B\u0430\u0434\u0456\u0432. \u0414\u0435\u044F\u043A\u0456 \u043D\u0435\u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0456 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u043F\u043E\u043A\u0430\u0437\u0443\u044E\u0442\u044C, \u0449\u043E \u044F\u043A\u0449\u043E \u044F\u043A\u0430\u0441\u044C \u043F\u0435\u0440\u0435\u0434\u0443\u043C\u043E\u0432\u0430 \u043F\u043E\u043C\u0438\u043B\u043A\u043E\u0432\u0430, \u0442\u043E \u0432\u0438\u043F\u043B\u0438\u0432\u0430\u0454 \u043F\u0440\u043E\u0442\u0438\u0440\u0456\u0447\u0447\u044F; \u043E\u0442\u0436\u0435, \u043F\u0435\u0440\u0435\u0434\u0443\u043C\u043E\u0432\u0430 \u043F\u043E\u0432\u0438\u043D\u043D\u0430 \u0431\u0443\u0442\u0438 \u0456\u0441\u0442\u0438\u043D\u043D\u043E\u044E (\u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u0432\u0456\u0434 \u043F\u0440\u043E\u0442\u0438\u043B\u0435\u0436\u043D\u043E\u0433\u043E). \u041F\u0440\u043E\u0442\u0435 \u0432 \u0434\u0435\u044F\u043A\u0438\u0445 \u0440\u043E\u0437\u0434\u0456\u043B\u0430\u0445 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0457 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0438, \u0432 \u0442\u043E\u043C\u0443 \u0447\u0438\u0441\u043B\u0456 \u0432 \u0456\u043D\u0442\u0443\u0457\u0446\u0456\u043E\u043D\u0456\u0437\u043C\u0456, \u0431\u0443\u0432 \u043F\u0440\u0438\u0439\u043D\u044F\u0442\u0438\u0439 \u043F\u0440\u0438\u043D\u0446\u0438\u043F \u0432\u0438\u0431\u0443\u0445\u0443 (\u043B\u0430\u0442. ex Falso QuodLibet, \u00AB\u0437\u0430 \u0431\u0440\u0435\u0445\u043D\u0435\u044E \u043D\u0456\u0447\u043E\u0433\u043E \u043D\u0435 \u0441\u043B\u0456\u0434\u0443\u0454\u00BB). \u041A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u0456\u0437\u043C \u2014 \u0446\u0435 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0430 \u0444\u0456\u043B\u043E\u0441\u043E\u0444\u0456\u044F, \u044F\u043A\u0430 \u0432\u0456\u0434\u043A\u0438\u0434\u0430\u0454 \u0432\u0441\u0456, \u0437\u0430 \u0432\u0438\u043A\u043B\u044E\u0447\u0435\u043D\u043D\u044F\u043C \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0438\u0445, \u0434\u043E\u043A\u0430\u0437\u0438 \u0432 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456. \u0426\u0435 \u043F\u0440\u0438\u0437\u0432\u043E\u0434\u0438\u0442\u044C \u0434\u043E \u043E\u0431\u043C\u0435\u0436\u0435\u043D\u043D\u044F \u0434\u043E\u0437\u0432\u043E\u043B\u0435\u043D\u0438\u0445 \u043C\u0435\u0442\u043E\u0434\u0456\u0432 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u044C (\u0441\u043F\u043E\u0447\u0430\u0442\u043A\u0443 \u0437\u0430\u043A\u043E\u043D \u0432\u0438\u043A\u043B\u044E\u0447\u0435\u043D\u043E\u0433\u043E \u0442\u0440\u0435\u0442\u044C\u043E\u0433\u043E \u043D\u0435 \u0431\u0443\u043B\u043E \u043F\u0440\u0438\u0439\u043D\u044F\u0442\u043E \u0437\u0430\u0441\u0442\u043E\u0441\u043E\u0432\u0443\u0432\u0430\u0442\u0438) \u0456 \u0456\u043D\u0448\u043E\u0433\u043E \u0437\u043C\u0456\u0441\u0442\u0443 \u0442\u0435\u0440\u043C\u0456\u043D\u043E\u043B\u043E\u0433\u0456\u0457 (\u043D\u0430\u043F\u0440\u0438\u043A\u043B\u0430\u0434, \u0442\u0435\u0440\u043C\u0456\u043D \u00AB\u0430\u0431\u043E\u00BB \u043C\u0430\u0454 \u0431\u0456\u043B\u044C\u0448 \u043E\u0431\u043C\u0435\u0436\u0435\u043D\u0438\u0439 \u0437\u043C\u0456\u0441\u0442 \u0432 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0456\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456, \u043D\u0456\u0436 \u0432 \u043A\u043B\u0430\u0441\u0438\u0447\u043D\u0456\u0439). \u041A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0456 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u043C\u043E\u0436\u043D\u0430 \u0440\u043E\u0437\u0433\u043B\u044F\u0434\u0430\u0442\u0438 \u044F\u043A \u0432\u0438\u0437\u043D\u0430\u0447\u0435\u043D\u043D\u044F \u043F\u0435\u0440\u0435\u0432\u0456\u0440\u0435\u043D\u0438\u0445 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u0438\u0445 \u0430\u043B\u0433\u043E\u0440\u0438\u0442\u043C\u0456\u0432: \u0446\u044F \u0456\u0434\u0435\u044F \u0434\u043E\u0441\u043B\u0456\u0434\u0436\u0443\u0454\u0442\u044C\u0441\u044F \u0432 \u0456\u043D\u0442\u0435\u0440\u043F\u0440\u0435\u0442\u0430\u0446\u0456\u0457 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0457 \u043B\u043E\u0433\u0456\u043A\u0438 , \u0443 \u0432\u0456\u0434\u043F\u043E\u0432\u0456\u0434\u043D\u043E\u0441\u0442\u0456 \u041A\u0430\u0440\u0440\u0456-\u0413\u043E\u0432\u0430\u0440\u0434\u0430, \u0430 \u0442\u0430\u043A\u043E\u0436 \u0432 \u0442\u0430\u043A\u0438\u0445 \u043B\u043E\u0433\u0456\u0447\u043D\u0438\u0445 \u0441\u0438\u0441\u0442\u0435\u043C\u0430\u0445, \u044F\u043A \u0456\u043D\u0442\u0443\u0457\u0446\u0456\u043E\u043D\u0456\u0441\u0442\u0441\u044C\u043A\u0430 \u0442\u0435\u043E\u0440\u0456\u044F \u0442\u0438\u043F\u0456\u0432 \u0442\u0430 \u0447\u0438\u0441\u043B\u0435\u043D\u043D\u044F \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0446\u0456\u0439 \u0439 ."@uk . . . . . . . . . "\u041A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E"@ru . . "Em matem\u00E1tica, ou ainda na filosofia, uma demonstra\u00E7\u00E3o ou prova construtiva \u00E9 uma demonstra\u00E7\u00E3o da exist\u00EAncia de certo objeto matem\u00E1tico atrav\u00E9s da sua constru\u00E7\u00E3o. Uma demonstra\u00E7\u00E3o construtiva fornece um algoritmo para obter o objeto em quest\u00E3o. Em constraste, temos as provas n\u00E3o-construtivas, que provam a exist\u00EAncia sem necessariamente mostrar como encontrar um exemplo (como por exemplo a redu\u00E7\u00E3o ao absurdo ou o princ\u00EDpio do terceiro exclu\u00EDdo)."@pt . . . . "\u6784\u9020\u6027\u8BC1\u660E\uFF08\u82F1\u8A9E\uFF1AConstructive proof\uFF09\u662F\u6570\u5B66\u8BC1\u660E\u65B9\u6CD5\u7684\u4E00\u79CD\uFF0C\u901A\u8FC7\u76F4\u63A5\u6216\u95F4\u63A5\u6784\u9020\u51FA\u5177\u6709\u547D\u9898\u6240\u8981\u6C42\u7684\u6027\u8D28\u7684\u5B9E\u4F8B\u6765\u5B8C\u6210\u8BC1\u660E\u3002\u4E0E\u6784\u9020\u6027\u8BC1\u660E\u76F8\u5BF9\u7684\u6982\u5FF5\u662F\u975E\u6784\u9020\u6027\u8BC1\u660E\u3002\u540E\u8005\u53EA\u8BC1\u660E\u6EE1\u8DB3\u547D\u9898\u8981\u6C42\u7684\u7269\u4F53\u5B58\u5728\uFF0C\u800C\u4E0D\u63D0\u4F9B\u5177\u4F53\u7684\u5B9E\u4F8B\u6216\u6784\u9020\u8FD9\u6837\u7684\u5B9E\u4F8B\u7684\u65B9\u6CD5\u3002 \u6784\u9020\u6027\u8BC1\u660E\u4E5F\u53EF\u4EE5\u6307\u6570\u5B66\u6784\u6210\u4E3B\u4E49\u4E2D\u88AB\u8BA4\u53EF\u7684\u4E00\u79CD\u66F4\u5F3A\u7684\u8BC1\u660E\u3002\u6570\u5B66\u6784\u6210\u4E3B\u4E49\u662F\u6570\u5B66\u54F2\u5B66\u7684\u4E00\u652F\uFF0C\u5B83\u8BA4\u4E3A\u8981\u8BC1\u660E\u4E00\u4E2A\u5BF9\u8C61\u7684\u5B58\u5728\uFF0C\u5FC5\u987B\u5C06\u5176\u6784\u9020\u51FA\u6765\u3002\u56E0\u6B64\uFF0C\u4ED6\u4EEC\u62D2\u7EDD\u4F7F\u7528\u5982\u6392\u4E2D\u5F8B\uFF0C\u65E0\u7A77\u516C\u7406\u548C\u9009\u62E9\u516C\u7406\u8FD9\u6837\u7684\u516C\u7406\u3002\u540C\u65F6\u4E5F\u6709\u4E00\u4E9B\u7528\u8BED\u548C\u4EE5\u5F80\u4E0D\u540C\uFF0C\u4F8B\u5982\u6216\u7684\u8BED\u610F\u4F1A\u6BD4\u57FA\u7840\u6570\u5B66\u4E2D\u7684\u66F4\u5F3A\u3002 \u6570\u5B66\u6784\u6210\u4E3B\u4E49\u62D2\u7EDD\u4F7F\u7528\u53CD\u8BC1\u6CD5\uFF0C\u7136\u800C\u7206\u70B8\u539F\u7406\u5728\u4E00\u4E9B\u6570\u5B66\u6784\u6210\u4E3B\u4E49\u7684\u53D8\u4F53\u4E2D\u662F\u88AB\u63A5\u53D7\u7684\uFF0C\u5305\u62EC\u76F4\u89C9\u4E3B\u4E49\u3002"@zh . . . . . . "\u041A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u2014 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E, \u0432 \u043A\u043E\u0442\u043E\u0440\u043E\u043C \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u0435 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043E\u0431\u044A\u0435\u043A\u0442\u0430 \u0434\u043E\u043A\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u043F\u0443\u0442\u0435\u043C \u043F\u0440\u044F\u043C\u043E\u0433\u043E \u043F\u043E\u0441\u0442\u0440\u043E\u0435\u043D\u0438\u044F \u2014\u0432 \u043E\u0442\u043B\u0438\u0447\u0438\u0435 \u043E\u0442 \u043D\u0435\u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u0430 (\u0442\u0430\u043A\u0436\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043D\u043E\u0433\u043E \u043A\u0430\u043A \u0447\u0438\u0441\u0442\u0430\u044F \u0442\u0435\u043E\u0440\u0435\u043C\u0430 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F), \u043A\u043E\u0442\u043E\u0440\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u044B\u0432\u0430\u0435\u0442 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u0435 \u043E\u0431\u044A\u0435\u043A\u0442\u0430 \u0441 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0451\u043D\u043D\u044B\u043C\u0438 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430\u043C\u0438 \u0431\u0435\u0437 \u043F\u0440\u0435\u0434\u043E\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u044F \u043A\u043E\u043D\u043A\u0440\u0435\u0442\u043D\u043E\u0433\u043E \u043F\u0440\u0438\u043C\u0435\u0440\u0430. \u0418\u043D\u043E\u0433\u0434\u0430 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F \u044D\u043A\u0432\u0438\u0432\u0430\u043B\u0435\u043D\u0442\u043D\u044B\u0439 \u0442\u0435\u0440\u043C\u0438\u043D \u00AB\u044D\u0444\u0444\u0435\u043A\u0442\u0438\u0432\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E\u00BB."@ru . . . . . . . . . . "\u0412 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0446\u0456 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0435 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u2014 \u0446\u0435 \u043C\u0435\u0442\u043E\u0434 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F, \u0449\u043E \u043F\u0456\u0434\u0442\u0432\u0435\u0440\u0434\u0436\u0443\u0454 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430 \u0448\u043B\u044F\u0445\u043E\u043C \u043D\u0430\u0434\u0430\u043D\u043D\u044F \u0430\u0431\u043E \u0441\u0442\u0432\u043E\u0440\u0435\u043D\u043D\u044F \u0441\u043F\u043E\u0441\u043E\u0431\u0443 \u0432\u0456\u0434\u0442\u0432\u043E\u0440\u0435\u043D\u043D\u044F \u0434\u0430\u043D\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430. \u0412\u0456\u043D \u043F\u0440\u043E\u0442\u0438\u0441\u0442\u0430\u0432\u043B\u044F\u0454\u0442\u044C\u0441\u044F \u043D\u0435\u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u043C\u0443 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044E (\u0442\u0430\u043A\u043E\u0436 \u0432\u0456\u0434\u043E\u043C\u043E\u043C\u0443 \u044F\u043A \u0442\u0435\u043E\u0440\u0435\u043C\u0430 \u0434\u043E\u0432\u0435\u0434\u0435\u043D\u043D\u044F \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F, \u0430\u0431\u043E \u0447\u0438\u0441\u0442\u0430 \u0442\u0435\u043E\u0440\u0435\u043C\u0430 \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F), \u044F\u043A\u0435 \u0434\u043E\u0432\u043E\u0434\u0438\u0442\u044C \u0456\u0441\u043D\u0443\u0432\u0430\u043D\u043D\u044F \u043F\u0435\u0432\u043D\u043E\u0433\u043E \u043E\u0431'\u0454\u043A\u0442\u0430 \u0431\u0435\u0437 \u043D\u0430\u0434\u0430\u043D\u043D\u044F \u043F\u0440\u0438\u043A\u043B\u0430\u0434\u0456\u0432."@uk . "\u6784\u9020\u6027\u8BC1\u660E"@zh . . . . . . "Une premi\u00E8re vision d'une d\u00E9monstration constructive est celle d'une d\u00E9monstration math\u00E9matique qui respecte les contraintes des math\u00E9matiques intuitionnistes, c'est-\u00E0-dire qui ne fait pas appel \u00E0 l'infini, ni au principe du tiers exclu. Ainsi, d\u00E9montrer l'impossibilit\u00E9 de l'inexistence d'un objet ne constitue pas une d\u00E9monstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une d\u00E9monstration est constructive, on doit pouvoir lui associer un algorithme. Cet algorithme est le contenu calculatoire de la d\u00E9monstration. La correspondance de Curry-Howard \u00E9nonce cette association, usuellement appel\u00E9e correspondance preuve-programme, pour les d\u00E9monstrations constructives. Une deuxi\u00E8me vision d'une d\u00E9monstration constructive d\u00E9coule de la remarque pr\u00E9c\u00E9dente, c'est une d\u00E9monstration \u00E0 laquelle on peut donner un contenu calculatoire. En 1990, Timothy G. Griffin \u00E9tend la correspondance de Curry-Howard \u00E0 la loi de Peirce, ((\u03B1 \u2192 \u03B2) \u2192 \u03B1) \u2192 \u03B1, et montre ainsi que l'on peut associer, via des continuations, un contenu calculatoire \u00E0 la logique classique, faisant d'elle une logique constructive."@fr . . . . . . . . . "Demonstra\u00E7\u00E3o construtiva"@pt . . . . . "Prueba constructiva"@es . . . "D\u00E9monstration constructive"@fr . . "\u041A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E \u2014 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E, \u0432 \u043A\u043E\u0442\u043E\u0440\u043E\u043C \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u0435 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043E\u0431\u044A\u0435\u043A\u0442\u0430 \u0434\u043E\u043A\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u043F\u0443\u0442\u0435\u043C \u043F\u0440\u044F\u043C\u043E\u0433\u043E \u043F\u043E\u0441\u0442\u0440\u043E\u0435\u043D\u0438\u044F \u2014\u0432 \u043E\u0442\u043B\u0438\u0447\u0438\u0435 \u043E\u0442 \u043D\u0435\u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u0430 (\u0442\u0430\u043A\u0436\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043D\u043E\u0433\u043E \u043A\u0430\u043A \u0447\u0438\u0441\u0442\u0430\u044F \u0442\u0435\u043E\u0440\u0435\u043C\u0430 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u044F), \u043A\u043E\u0442\u043E\u0440\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u044B\u0432\u0430\u0435\u0442 \u0441\u0443\u0449\u0435\u0441\u0442\u0432\u043E\u0432\u0430\u043D\u0438\u0435 \u043E\u0431\u044A\u0435\u043A\u0442\u0430 \u0441 \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u0451\u043D\u043D\u044B\u043C\u0438 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u0430\u043C\u0438 \u0431\u0435\u0437 \u043F\u0440\u0435\u0434\u043E\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u044F \u043A\u043E\u043D\u043A\u0440\u0435\u0442\u043D\u043E\u0433\u043E \u043F\u0440\u0438\u043C\u0435\u0440\u0430. \u041A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u0430\u044F \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0430 \u043E\u0442\u0432\u0435\u0440\u0433\u0430\u0435\u0442 \u0432\u0441\u0451, \u043A\u0440\u043E\u043C\u0435 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0433\u043E \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u0430. \u042D\u0442\u043E \u043F\u0440\u0438\u0432\u043E\u0434\u0438\u0442 \u043A \u043E\u0433\u0440\u0430\u043D\u0438\u0447\u0435\u043D\u0438\u044E \u043D\u0430 \u0434\u043E\u043F\u0443\u0441\u0442\u0438\u043C\u044B\u0435 \u043C\u0435\u0442\u043E\u0434\u044B \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u0430 (\u0432 \u0447\u0430\u0441\u0442\u043D\u043E\u0441\u0442\u0438, \u0437\u0430\u043A\u043E\u043D \u0438\u0441\u043A\u043B\u044E\u0447\u0435\u043D\u043D\u043E\u0433\u043E \u0442\u0440\u0435\u0442\u044C\u0435\u0433\u043E \u043D\u0435 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F), \u0430 \u0442\u0430\u043A\u0436\u0435 \u0434\u0440\u0443\u0433\u043E\u043C\u0443 \u043F\u043E\u043D\u0438\u043C\u0430\u043D\u0438\u044E \u0442\u0435\u0440\u043C\u0438\u043D\u043E\u0432. \u041D\u0430\u043F\u0440\u0438\u043C\u0435\u0440, \u0442\u0435\u0440\u043C\u0438\u043D \u00AB\u0438\u043B\u0438\u00BB \u0438\u043C\u0435\u0435\u0442 \u0431\u043E\u043B\u0435\u0435 \u0441\u0438\u043B\u044C\u043D\u043E\u0435 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u0435 \u0432 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u043A\u0442\u0438\u0432\u043D\u043E\u0439 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0435, \u0447\u0435\u043C \u0432 \u043A\u043B\u0430\u0441\u0441\u0438\u0447\u0435\u0441\u043A\u043E\u0439. \u0418\u043D\u043E\u0433\u0434\u0430 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F \u044D\u043A\u0432\u0438\u0432\u0430\u043B\u0435\u043D\u0442\u043D\u044B\u0439 \u0442\u0435\u0440\u043C\u0438\u043D \u00AB\u044D\u0444\u0444\u0435\u043A\u0442\u0438\u0432\u043D\u043E\u0435 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u0441\u0442\u0432\u043E\u00BB."@ru . . . .