Author thumbnail

Eddie Woo

The Nature of Proof

32,972 views
66 items
Last updated on Nov 7, 2022
public playlist
Introduction to Inequality Proofs
12:05
Inequality Proofs: Multiplication & Division of Inequalities
12:31
Inequality Proofs: A Fundamental Result
6:07
Inequality Proofs: Setting Out
12:15
Proof by Contradiction (Example: Smallest Positive Rational Number)
8:02
Proof by Contradiction: Arithmetic Mean & Geometric Mean
12:38
Four varieties of mathematical proof, illustrated
8:54
Proof: What is it, and how does it work?
9:34
Different Algebraic Approaches to Proof
6:15
Exam Problem: Prove Inequality w/ Exponential & Linear Functions
5:29
Interesting Inequality Proof w/ Inverse Trig (1 of 2: Calculus Proof)
5:52
Interesting Inequality Proof w/ Inverse Trig (2 of 2: Davin's Sneaky Proof)
3:41
Double-Sided Inequality Proof
11:09
Inequality Proof: Summing Reciprocals of Squares (Experimental Silent Screencast)
3:45
Inequality Proofs (1 of 5: Reciprocals, Adding & Multiplying Constants & Squaring and inequalities)
12:31
Inequality Proofs (2 of 5: Inequalities & Simultaneous chains, addition & multiplication)
8:43
Inequality Proofs (3 of 5: Outline of three methods for proving inequalities)
5:34
Inequality Proofs (4 of 5: Proving identity with properties & Intro to Proof by contradiction)
6:51
Inequality Proofs (5 of 5: Using Calculus to prove an inequality)
7:41
Harder Inequality Proofs (Using a graph and calculus to prove an inequality)
7:51
Inequality Proof - a² + 3b² + 5c² less than 1 (1 of 2: Algebraic Proof)
8:35
Inequality Proof - a² + 3b² + 5c² less than 1 (2 of 2: Visual Proof)
5:41
Inequality Proofs (Example 1 of 5: How many positive integer solutions?)
11:07
Inequality Proofs (Example 2 of 5: Which number is largest?)
5:42
Inequality Proofs (Example 3 of 5: Is 2^300 bigger or 3^200?)
6:15
Inequality Proofs (Example 4 of 5: Arithmetic & Geometric Means)
5:25
Inequality Proofs (Example 5 of 5: Investigating a large product)
9:38
Proof by Contradiction (1 of 2: How does it work?)
8:34
Proof by Contradiction (2 of 2: Infinite primes)
11:40
Introduction to the Nature of Proof (1 of 3: Prologue)
13:27
Introduction to the Nature of Proof (2 of 3: Building blocks)
9:40
Introduction to the Nature of Proof (3 of 3: Liars & truth-tellers)
17:20
Foundations of Proof (1 of 2: Statements, implications, negations)
14:20
Foundations of Proof (2 of 2: Equivalence & quantifiers)
8:31
Negating Compound Statements (1 of 2: Reviewing the basics)
13:28
Negating Compound Statements (2 of 2: And, Or, Quantifiers)
19:49
Implications & Contrapositives (1 of 2: How do they relate?)
11:01
Implications & Contrapositives (2 of 2: Further examples)
7:44
Proof: a³ - a is always divisible by 6 (1 of 2: Two different approaches)
10:15
Proof: a³ - a is always divisible by 6 (2 of 2: Proof by exhaustion)
15:06
Proof by Contraposition
10:58
Proof by Contradiction: log₂5 is irrational
7:57
Proof - Odd composite numbers (1 of 3: Setup)
8:56
Proof - Odd composite numbers (2 of 3: Understanding the negation)
7:46
Proof - Odd composite numbers (3 of 3: By contradiction)
10:58
Proving Algebraic Inequalities (1 of 3: Introductory principles)
9:37
Proving Algebraic Inequalities (2 of 3: Using the sign)
9:38
Proving Algebraic Inequalities (3 of 3: Further strategies)
15:23
Proof: √3 + √2 is irrational
18:57
Proof: Mersenne primes
13:12
Divisibility Proof (1 of 2: Sum of 7 consecutive integers)
9:03
Divisibility Proof (2 of 2: Using algebraic expansion)
9:48
How many subsets in a set? (1 of 2: Induction proof)
18:21
How many subsets in a set? (2 of 2: Combinatorial proof)
9:01
Irrational Logarithm Proof (2 of 2: By graphing)
6:35
Irrational Logarithm Proof (1 of 2: By cases)
7:45
Inequality Proof - Fraction Sum (3 of 3: Applying calculus)
14:21
Inequality Proof - Fraction Sum (2 of 3: Graphical representation)
10:47
Inequality Proof - Fraction Sum (1 of 3: Algebraic approach)
10:03
Why are the prime rows in Pascal's Triangle so special?
15:11
Proving a Converse Statement (3 of 3: Using the inverse)
9:10
Proving a Converse Statement (2 of 3: Considering the contrapositive)
11:14
Proving a Converse Statement (1 of 3: Investigating original proposition)
9:14
Grid Painting Question (2 of 2: Generalising the result)
12:58
Grid Painting Question (1 of 2: Establishing a base case)
13:44
Inequality proof: average of squares vs. square of average
6:53