BM3. Formal Proofs

Why it's on BrighterTube

From a channel a BrighterTube curator approved in full · 80% confidence

From a channel Lumen includes in full: MathDoctorBob, a maths professor, has a large archive of complete course lectures in algebra, calculus, linear algebra and abstract algebra, plus research talks.

What you'll learn

A 14-minute video from MathDoctorBob's catalogue; the title names its topic.

Science & Math

Video by MathDoctorBob, played through YouTube's embedded player.

Part of Math Major Basics

Go deeper

How to Prove It, Daniel VellemanThe best book for learning to read and write proofs

As an Amazon Associate, BrighterTube earns from qualifying purchases. Picked by hand for this subject; nobody paid to be listed.

3:53

Approximating with Taylor Polynomials MathDoctorBobScience & Math

18:31

BAG1.2. Toric Varieties 2 - Affine Toric Varieties MathDoctorBobScience & Math

But what is a neural network? | Deep learning chapter 1 3Blue1BrownScience & Math25.1M views

But what is the Fourier Transform? A visual introduction.3Blue1BrownScience & Math12.6M views

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005 MIT OpenCourseWareScience & Math4.93M views

Math's Fundamental Flaw VeritasiumScience & Math30.8M views

AT&T Archives: Similiarities of Wave Behavior (Bonus Edition)AT&T Tech ChannelEngineering474K views

The Most Misunderstood Concept in Physics VeritasiumScience & Math31.5M views

Lecture 1: Introduction to Superposition MIT OpenCourseWareScience & Math9.37M views

25:10

How an Atomic Clock Really Works: Inside the HP 5061A Cesium Clock CuriousMarcEngineering465K views

Doug McLean | Common Misconceptions in Aerodynamics Michigan EngineeringEngineering857K views

27:13

The Longest Year in Human History (46 B.C.E.)Historia CivilisHistory7.36M views

3:53

Approximating with Taylor Polynomials

MathDoctorBob

A 4-minute video from MathDoctorBob's catalogue; the title names its topic.

18:31

BAG1.2. Toric Varieties 2 - Affine Toric Varieties

MathDoctorBob

A 19-minute video from MathDoctorBob's catalogue; the title names its topic.

But what is a neural network? | Deep learning chapter 1

3Blue1Brown25.1M views

Builds up what a neural network actually is — neurons as numbers, layers, weights and biases — using handwritten-digit recognition as the running example.

But what is the Fourier Transform? A visual introduction.

3Blue1Brown12.6M views

A visual introduction to the Fourier transform: winding a signal around a circle to find its frequencies.

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005

MIT OpenCourseWare4.93M views

Gilbert Strang's first lecture of MIT 18.06: the geometry of linear equations.

Math's Fundamental Flaw

Veritasium30.8M views

Gödel's incompleteness, Turing's halting problem and the limits of mathematics.

AT&T Archives: Similiarities of Wave Behavior (Bonus Edition)

AT&T Tech Channel474K views

Bell Labs' J.N. Shive uses a mechanical wave machine to show reflection, standing waves, resonance and impedance matching — the ideas behind transmission lines.

The Most Misunderstood Concept in Physics

Veritasium31.5M views

Entropy, the arrow of time and why the Sun is a source of low entropy rather than just energy.

Lecture 1: Introduction to Superposition

MIT OpenCourseWare9.37M views

MIT 8.04 Quantum Physics I, lecture 1: superposition, introduced through experiments with 'hardness' and 'color'.

25:10

How an Atomic Clock Really Works: Inside the HP 5061A Cesium Clock

CuriousMarc465K views

CuriousMarc opens an HP 5061A caesium beam clock and explains, module by module, how it locks to an atomic transition.

Doug McLean | Common Misconceptions in Aerodynamics

Michigan Engineering857K views

Boeing aerodynamicist Doug McLean dismantles popular wrong explanations of lift and explains what really happens.

27:13

The Longest Year in Human History (46 B.C.E.)

Historia Civilis7.36M views

How Julius Caesar's calendar reform produced the 445-day year of 46 BCE and gave us the Julian calendar.