Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,508,392,860 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

constructive

   Also found in: Dictionary/thesaurus, Legal, Wikipedia, Hutchinson 0.06 sec.
constructive
1. Law deduced by inference or construction; not expressed but inferred
2. Law having a deemed legal effect

(mathematics)constructive - 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.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
Email
Feedback
? Mentioned in ? References in classic literature
 
For a coloured man to work it out in the South, where, in its constructive period, he was necessarily misunderstood by his own people as well as by the whites, and where he had to adjust it at every step to the strained race relations--that is so very different and more difficult a thing that the man who did it put the country under lasting obligations to him.
He also becomes more dogmatic and constructive, passing beyond the range either of the political or the speculative ideas of the real Socrates.
This may serve as a specimen of the numerous handles which would be given to the doctrine of constructive powers, by the indulgence of an injudicious zeal for bills of rights.
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.