Lecture 1: Predicates, Sets, and Proofs
1:18:47
Lecture 1: Predicates, Sets, and Proofs
228K views9 months ago
YouTubeMIT OpenCourseWare
Lecture 2: Contradiction and Induction
1:19:38
Lecture 2: Contradiction and Induction
38.5K views9 months ago
YouTubeMIT OpenCourseWare
Lecture 3: Casework and Strong Induction
1:24:10
Lecture 3: Casework and Strong Induction
19.1K views9 months ago
YouTubeMIT OpenCourseWare
Black-box Constructive Proofs are Unavoidable
20:47
Find in video from 01:04Natural Proofs Barrier
Black-box Constructive Proofs are Unavoidable
1.7K viewsJan 12, 2023
YouTubeSimons Institute for the Theory of Computing
Lecture 10: Cryptography
1:21:09
Lecture 10: Cryptography
8.8K views9 months ago
YouTubeMIT OpenCourseWare
Truth values, modified Powersets and von Neumann stages in constructive ZF
47:58
Truth values, modified Powersets and von Neumann stages in constructive ZF
86 views1 month ago
YouTubeNikolaj-K
Proofs| Proof Methods | Proof Strategies | Mathematical Logic | Maths for CS | CS Connect 25
1:14:46
Proofs| Proof Methods | Proof Strategies | Mathematical Logic | Maths for CS | CS Connect 25
156 viewsMar 9, 2025
YouTubeComputer Science Brainery
6:21
From Constructive Proofs to Executable Programs
63 views8 months ago
YouTubeThoughtLab
4:41
Proofs as Programs: Unifying Logic and Code
105 views8 months ago
YouTubeThoughtLab
1:20:57
Lecture 17: More Counting Techniques
3.3K views9 months ago
YouTubeMIT OpenCourseWare
1:07:46
Tutorial on Proof Systems
1.8K viewsMay 1, 2023
YouTubeSimons Institute for the Theory of Computing
5:37
Formal Topology: The Constructive Bridge to Computation
33 views4 months ago
YouTubeThoughtLab
1:16:26
Constructive Algorithms
924 viewsMay 8, 2025
YouTubeProgramming Pathshala
5:37
Proof Transformation and the Curry Howard Isomorphism
19 views7 months ago
YouTubeThoughtLab
1:31:16
Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1
111.3K viewsJan 29, 2025
YouTubeMIT OpenCourseWare
33:22
Setting the record straight on intuitionism
21.1K views3 months ago
YouTubeK-Theory
3:48
Can Mathematical Proofs Guarantee Software Reliability?
4 views4 months ago
YouTubeLearn To Troubleshoot
6:31
Intuitionistic Logic: Proof, Construction, and Computation
18 views5 months ago
YouTubeThoughtLab
1:22:03
Lecture 20: Independence
2.5K views9 months ago
YouTubeMIT OpenCourseWare
1:35
Turning mathematical proofs into bug free software #podcastshorts #logic #programming #philosophy
272 views1 week ago
YouTubestay curious radio
1:15:14
Lecture 16: Counting Techniques
4.6K views9 months ago
YouTubeMIT OpenCourseWare
5:58
Math Proof Writing: Constructive Proofs
1.3K viewsOct 20, 2024
YouTubeThe Math Sorcerer
1:21:16
Lecture 11: Graphs and Coloring
9K views9 months ago
YouTubeMIT OpenCourseWare
1:19:00
Lecture 8: Divisibility
6.6K views9 months ago
YouTubeMIT OpenCourseWare
19:40
10 College Degrees A.I. Will NEVER Replace (Pick These Now!)
13.5K views9 months ago
YouTube9 Month College Grad - Ryan Swayt
Discrete Math - 1.8.2 Proofs of Existence And Uniqueness
8:59
Find in video from 00:32Constructive Proof of Existence
Discrete Math - 1.8.2 Proofs of Existence And Uniqueness
93.8K viewsFeb 29, 2020
YouTubeKimberly Brehm
1:04:57
Interactive Proofs (Part I)
8.7K viewsAug 26, 2019
YouTubeSimons Institute for the Theory of Computing
1:20
Construction Solution - Intro to Theoretical Computer Science
8.6K viewsFeb 23, 2015
YouTubeUdacity
25:10
Wojciech Różowski - Coinductive predicates in Lean (Lean Together 2026)
104 views3 months ago
YouTubeleanprover community
2:55
Proof By Contradiction - Intro to Theoretical Computer Science
3K viewsFeb 23, 2015
YouTubeUdacity
See more