Constructive Zermelo-Fraenkel in Martin-Löf type theory

Why it's on BrighterTube

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Explains Constructive Zermelo-Fraenkel set theory implemented in Martin-Löf type theory. Specific technical topic with clear title indicates systematic mathematical exposition.

What you'll learn

A 30-minute video from Nikolaj-K: “Constructive Zermelo-Fraenkel in Martin-Löf type theory”.

Science & Math

Video by Nikolaj-K, played through YouTube's embedded player.

1:05:41

Euler's formulas, Rodrigues' formula Nikolaj-KScience & Math

1:10:53

The rigid body and its moment of inertia tensor Nikolaj-KScience & Math

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:05:41

Euler's formulas, Rodrigues' formula

Nikolaj-K

A 66-minute video from Nikolaj-K: “Euler's formulas, Rodrigues' formula”.

1:10:53

The rigid body and its moment of inertia tensor

Nikolaj-K

A 71-minute video from Nikolaj-K: “The rigid body and its moment of inertia tensor”.

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.