| Information | |
|---|---|
| has gloss | eng: In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object with certain properties by creating or providing a method for creating such an object. This is in contrast to a nonconstructive proof (also known as an existence proof or pure existence theorem) which proves the existence of a mathematical object with certain properties, but does not provide a means of constructing an example. |
| lexicalization | eng: constructive proof |
| instance of | (noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof |
| Meaning | |
|---|---|
| French | |
| has gloss | fra: Une première vision dune démonstration constructive est celle dune démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, cest-à-dire qui ne fait pas appel à linfini, ni au principe du tiers exclu. Ainsi démontrer limpossibilité de linexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un, expliquer comment le construire. |
| lexicalization | fra: Demonstration constructive |
| lexicalization | fra: Démonstration Constructive |
| Dutch | |
| has gloss | nld: 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. |
| lexicalization | nld: bewijs door constructie |
| Polish | |
| has gloss | pol: Dowód niekonstruktywny rodzaj dowodu matematycznego istnienia pewnych obiektów (zbiorów, liczb, figur geometrycznych o pewnych własnościach), zwykle nie wprost, w którym wykazuje się, że nieprawdziwość tezy twierdzenia prowadziłaby do sprzeczności, z czego wyciąga się wniosek o jej spełnieniu (a więc istnieniu rozpatrywanego rodzaju obiektów) bez podania jakiegokolwiek sposobu ich konstruowania. |
| lexicalization | pol: Dowód niekonstruktywny |
| Portuguese | |
| has gloss | por: Em matemática, ou ainda na filosofia, uma demonstração ou prova construtiva é uma demonstração da existência de certo objeto matemático através da sua construção. Uma demonstração construtiva fornece um algoritmo para obter o objeto em questão. Uma demonstração construtiva não pode fazer apelo aos axiomas do infinito nem ao princípio do terceiro excluído. |
| lexicalization | por: demonstração construtiva |
| Chinese | |
| has gloss | zho: 非构造性证明是「表述存在性的命题或定理」的一种证明方式：证明的过程中，不举例而只证明语句是否正确。非构造性证明很多时候依赖于排中律。数学结构主义数学不允许非构造性证明。 |
| lexicalization | zho: 非构造性证明 |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint