5:50Existence Proof : Constructive & Non-Constructive | Explained with ExamplesLearn with Sreyas7.1K viewsView & Download
3:56Example of a non-constructive proof, using inductionAlvaro Lozano-Robledo381 viewsView & Download
17:10Discrete Structures: Proof methods (Exhaustive Proofs, Proof by Cases, and Existence Proofs)StoneColdProfessor4.9K viewsView & Download
9:1203.07 Nonconstructive Proofs, Proof by Exhaustion, Combinatorial ProofsM. Akif YAZICI224 viewsView & Download
1:34:14Programs from proofs 1/3 by Ingo Blechschmidt: Introduction to constructive mathematicsLogic Seminar Verona396 viewsView & Download