constructive


Also found in: Dictionary, Thesaurus, Medical, Legal, Wikipedia.

constructive

1. Law deduced by inference or construction; not expressed but inferred
2. Law having a deemed legal effect
Collins Discovery Encyclopedia, 1st edition © HarperCollins Publishers 2005

constructive

(mathematics)
A proof that something exists is "constructive" if it provides a method for actually constructing it. Cantor's proof that the real numbers are uncountable can be thought of as a *non-constructive* proof that irrational numbers exist. (There are easy constructive proofs, too; but there are existence theorems with no known constructive proof).

Obviously, all else being equal, constructive proofs are better than non-constructive proofs. A few mathematicians actually reject *all* non-constructive arguments as invalid; this means, for instance, that the law of the excluded middle (either P or not-P must hold, whatever P is) has to go; this makes proof by contradiction invalid. See intuitionistic logic for more information on this.

Most mathematicians are perfectly happy with non-constructive proofs; however, the constructive approach is popular in theoretical computer science, both because computer scientists are less given to abstraction than mathematicians and because intuitionistic logic turns out to be the right theory for a theoretical treatment of the foundations of computer science.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
Does he possess the drugs, and if he does, is the possession actual or constructive? (2)
"Talks we are having with Labour are detailed and I think more constructive than people have thought," Hunt told BBC radio.
The equities of this case mandate the creation of a constructive trust in favor of the children so as to accomplish the intent of the MSA.
The Supreme Court of Virginia has neither recognized nor rejected a constructive discharge Bowman claim, Urbanski said.
"We believe that the international community should continue to play a constructive role in promoting the dialogue between Myanmar and Bangladesh, promoting the resolution of practical problems, and maintaining the long-term stability of Rakhine State," Chinese foreign ministry's spokesperson Hua Chunying said during her regular press briefing held here.
Beijing: China on Wednesday said it was willing to play a "constructive" role in improving ties between India and Pakistan and hailed the outreach by Prime Minister Narendra Modi and his new Pakistani counterpart Imran Khan to improve bilateral relations.
Hammond said, 'We are having very constructive discussions, I don't think that is a particularly helpful comment.
Today, Mudavadi said: "Let it be known that we support constructive dialogue to deal with problems devolution, inclusivity, poverty, attacks on the judiciary among others "
A wider range of talent and less party bitterness and strife will lead to more constructive debate and we may hope A wider and less party will lead constructive Thomas more decisive action.
AkzoNobel has reached an agreement with affiliates of Elliott Advisors (UK) Limited following recent constructive dialogue, with the aim of normalizing the relationship with its shareholders.

Full browser ?