non-constructive proof

N n

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of non-constructive proof words

noun Technical meaning of non-constructive proof (logic) (Or "existence proof") A proof that something exists that does not provide an example of that thing or a method for finding an example. (A constructive proof does provide such an example or method). For example, for any pair of finite real numbers n < 0 and p > 0 there exists a real number 0 < k < 1 such that f(k) = (1-k)*n + k*p = 0. A non-constructive proof might proceed by observing that as k changes continuously from 0 to 1, f(k) changes continuously from n to p and, since they lie either side of zero, f(k) must pass through zero for some intermediate value of k. This proof does not tell us what that value of k is, only that it exists. 1

Just one definition for non-constructive proof

Information block about the term

Parts of speech for Non-constructive proof

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Non-constructive proof

See also

All definitions of non-constructive proof

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?