Lecture 1: Predicates, Sets, and Proofs
1:18:47
Lecture 1: Predicates, Sets, and Proofs
226.1K views9 months ago
YouTubeMIT OpenCourseWare
Lecture 3: Casework and Strong Induction
1:24:10
Lecture 3: Casework and Strong Induction
20.7K views9 months ago
YouTubeMIT OpenCourseWare
Lecture 2: Contradiction and Induction
1:19:38
Lecture 2: Contradiction and Induction
36.8K views9 months ago
YouTubeMIT OpenCourseWare
Lecture 17: More Counting Techniques
1:20:57
Lecture 17: More Counting Techniques
3.3K views9 months ago
YouTubeMIT OpenCourseWare
Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1
1:31:16
Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1
107.2K viewsJan 29, 2025
YouTubeMIT OpenCourseWare
Proof Transformation and the Curry Howard Isomorphism
5:37
Proof Transformation and the Curry Howard Isomorphism
16 views7 months ago
YouTubeThoughtLab
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
1:21:09
Lecture 10: Cryptography
7.9K views9 months ago
YouTubeMIT OpenCourseWare
1:06:11
Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 2
10.1K viewsJan 29, 2025
YouTubeMIT OpenCourseWare
1:22:03
Lecture 20: Independence
2.5K views9 months ago
YouTubeMIT OpenCourseWare
6:21
Classical vs. Constructive Logic: Foundational Divides in Truth
1 views7 months ago
YouTubeThoughtLab
1:21:37
Lecture 8: Succinct Non-Interactive Arguments for Batch NP (BARGs) from LWE, Part 1
2.3K viewsJan 29, 2025
YouTubeMIT OpenCourseWare
5:37
Formal Topology: The Constructive Bridge to Computation
33 views3 months ago
YouTubeThoughtLab
6:31
Intuitionistic Logic: Proof, Construction, and Computation
18 views4 months ago
YouTubeThoughtLab
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
92.6K viewsFeb 29, 2020
YouTubeKimberly Brehm
18:55
Gödel's Incompleteness Theorem - Computerphile
97.9K views8 months ago
YouTubeComputerphile
1:19:00
Lecture 8: Divisibility
6.1K views9 months ago
YouTubeMIT OpenCourseWare
1:15:14
Lecture 16: Counting Techniques
4.5K views9 months ago
YouTubeMIT OpenCourseWare
1:20:45
Lecture 19: Conditional Probability
3.1K views9 months ago
YouTubeMIT OpenCourseWare
14:03
Biggest Breakthroughs in Computer Science: 2025
278.9K views2 months ago
YouTubeQuanta Magazine
1:05:56
Lecture 1: Introduction to Real Numbers
167.5K views7 months ago
YouTubeMIT OpenCourseWare
1:19:48
Lecture 3: How to Write a Proof; Archimedean Property
12.7K views7 months ago
YouTubeMIT OpenCourseWare
5:58
Math Proof Writing: Constructive Proofs
1.3K viewsOct 20, 2024
YouTubeThe Math Sorcerer
6:44
Large Bipartite Subgraph
39K viewsNov 6, 2024
YouTubeMIT OpenCourseWare
Lecture 1: Sets, Set Operations and Mathematical Induction
1:14:22
Find in video from 22:54Proof of Theorems
Lecture 1: Sets, Set Operations and Mathematical Induction
519.2K viewsJun 21, 2022
YouTubeMIT OpenCourseWare
11:24
All of MATHEMATICAL PROOFS explained in 11 Minutes
27.9K viewsApr 19, 2025
YouTubeGraphicode
33:22
Setting the record straight on intuitionism
20.3K views3 months ago
YouTubeK-Theory
1:23:41
23. Probabilistic Computation, BPP
11.1K viewsOct 6, 2021
YouTubeMIT OpenCourseWare
5:19
Mathematical Foundations for Computer Science: Sets, Relations, Functions & Proofs
449 views10 months ago
YouTubeCodeLucky
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
See more