non-constructive
Смотреть что такое "non-constructive" в других словарях:
Constructive proof — 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… … Wikipedia
constructive — A constructive proof is one that enables one to give an example, or give a rule for finding an example, of a mathematical object with some property. A nonconstructive proof might result in us knowing that an example exists, but having no idea how … Philosophy dictionary
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
Constructive trusts in English law — are a form of trust created by the courts primarily where the defendant has dealt with property in an unconscionable manner , but also in other circumstances; the property will be held in constructive trust for the harmed party, obliging the… … Wikipedia
Constructive ambiguity — is a term generally credited to Henry Kissinger, said to be the foremost exponent of the negotiating tactic it designates. It refers to the deliberate use of ambiguous language on a sensitive issue in order to advance some political purpose.… … Wikipedia
Non-classical logic — Non classical logics (and sometimes alternative logics) is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic. There are several ways in which this is done,… … Wikipedia
Constructive engagement — (« Dialogue constructif ») est le nom de la politique engagée par le gouvernement de Ronald Reagan pour amener le gouvernement sud africain à réformer et supprimer sa politique d apartheid au début des années 1980. Elle s opposait aux… … Wikipédia en Français
Non-violation nullification of benefits — (NVNB) claims are a species of Dispute settlement in the World Trade Organization arising under World Trade Organisation multilateral and bilateral trade agreements. NVNB claims are controversial in that they are widely perceived to promote the… … Wikipedia
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Criticism of non-standard analysis — Non standard analysis and its offshoot, non standard calculus, have been criticized by several authors. The evaluation of non standard analysis in the literature has varied greatly. Joseph Dauben described it as a scientific revolution, while… … Wikipedia
Constructive non-standard analysis — In mathematics, constructive nonstandard analysis is a version of Abraham Robinson s non standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of constructivization of nonstandard … Wikipedia