Overview

non-constructive methods


'non-constructive methods' can also refer to...

 

More Like This

Show all results sharing this subject:

  • Philosophy

GO

Show Summary Details

Quick Reference

In mathematics and the theory of computation, a proof is non constructive if it enables you to know that some construction exists, but does not enable you to identify it. For example, it might be known that a solution to a problem, or a method for winning at a game, exists, without it being thereby established what the solution or method is. Non-constructive proofs are the particular target of intuitionist criticisms of classical mathematics and logic.

Subjects: Philosophy.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.