What is Proof?

Why it's on BrighterTube

Editorial review · 85% confidence

Round-9 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor) passed; strict per-title check + final strict pass; oEmbed verified.

What you'll learn

A 100-minute video from Joel David Hamkins: “What is Proof?”.

Science & Math

Video by Joel David Hamkins, played through YouTube's embedded player.

1:34:22

Geometry — a paragon of mathematical deduction?Joel David HamkinsScience & Math

1:06:57

Joel David Hamkins: Are there natural instances of nonlinearity in consistency strength?Joel David HamkinsScience & Math

Advanced

But what is a neural network? | Deep learning chapter 1 3Blue1BrownScience & Math

Intro25.1M views

But what is the Fourier Transform? A visual introduction.3Blue1BrownScience & Math

Intro12.6M views

Lec 1 | MIT 18.06 Linear Algebra, Spring 2005 MIT OpenCourseWareScience & Math

4.93M views

Math's Fundamental Flaw VeritasiumScience & Math

30.8M views

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

474K views

The Most Misunderstood Concept in Physics VeritasiumScience & Math

31.5M views

Lecture 1: Introduction to Superposition MIT OpenCourseWareScience & Math

Intro9.37M views

25:10

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

465K views

Doug McLean | Common Misconceptions in Aerodynamics Michigan EngineeringEngineering

857K views

27:13

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

7.36M views

1:34:22

Geometry — a paragon of mathematical deduction?

Joel David Hamkins

A 94-minute video from Joel David Hamkins: “Geometry — a paragon of mathematical deduction?”.

1:06:57

Joel David Hamkins: Are there natural instances of nonlinearity in consistency strength?

Joel David Hamkins

Advanced

A 67-minute video from Joel David Hamkins: “Joel David Hamkins: Are there natural instances of nonlinearity in consistency strength?”.

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

3Blue1Brown

Intro25.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.

3Blue1Brown

Intro12.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 OpenCourseWare

4.93M views

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

Math's Fundamental Flaw

Veritasium

30.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 Channel

474K 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

Veritasium

31.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 OpenCourseWare

Intro9.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

CuriousMarc

465K 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 Engineering

857K 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 Civilis

7.36M views

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