• In mathematics, a constructive proof is a method of proof that demonstrates the existence of a mathematical object by creating or providing a method for...
    14 KB (2,073 words) - 11:54, 4 April 2024
  • Thumbnail for Cantor's first set theory article
    Both constructive and non-constructive proofs have been presented as "Cantor's proof." The popularity of presenting a non-constructive proof has led...
    101 KB (7,536 words) - 20:48, 11 February 2024
  • assumption. Such a proof by contradiction might be called non-constructive, and a constructivist might reject it. The constructive viewpoint involves...
    19 KB (2,577 words) - 02:49, 4 August 2024
  • used for classical logic by more closely mirroring the notion of constructive proof. In particular, systems of intuitionistic logic do not assume the...
    51 KB (7,745 words) - 17:38, 4 August 2024
  • techniques from recursion theory as well as proof theory. Functional interpretations are interpretations of non-constructive theories in functional ones. Functional...
    19 KB (2,641 words) - 00:58, 6 May 2024
  • Thumbnail for Mathematical proof
    the form of a proof by contradiction in which the nonexistence of the object is proved to be impossible. In contrast, a constructive proof establishes that...
    38 KB (4,783 words) - 16:48, 14 August 2024
  • Thumbnail for Cantor's diagonal argument
    binary digits (i.e. each digit is zero or one). He begins with a constructive proof of the following lemma: If s1, s2, ... , sn, ... is any enumeration...
    27 KB (2,812 words) - 12:56, 25 July 2024
  • Law of excluded middle (category Articles containing proofs)
    is rational. The above proof is an example of a non-constructive proof disallowed by intuitionists: The proof is non-constructive because it doesn't give...
    38 KB (5,693 words) - 21:00, 11 July 2024
  • Thumbnail for Proof assistant
    mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification...
    17 KB (1,202 words) - 07:39, 2 August 2024
  • 60th birthday). Vol. II. North-Holland. pp. 609–627. Moser, Robin A. (2008). "A constructive proof of the Lovasz Local Lemma". arXiv:0810.4812 [cs.DS]....
    12 KB (2,011 words) - 08:00, 17 June 2024