Olivia Caramello - 4/4 ntroduction to categorical logic, classifying toposes...

Institut des Hautes Etudes Scientifiques (IHES)81.6K subscribers

About this video

Intro · Editorial review · 85% confidence

Picked one by one from a mixed channel. Transcript check: both title readers certain; 5 of 5 sampled certain picks confirmed by transcript, none failed. Channel rule:

A 78-minute video from Institut des Hautes Etudes Scientifiques (IHES): “Olivia Caramello - 4/4 ntroduction to categorical logic, classifying toposes...”.

Science & Math

Video by Institut des Hautes Etudes Scientifiques (IHES), played through YouTube's embedded player.

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

Intro12.6M views

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

Intro25.1M views

Math's Fundamental Flaw VeritasiumScience & Math

30.8M views

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

4.93M views

The Most Misunderstood Concept in Physics VeritasiumScience & Math

31.6M views

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

474K views

Lecture 1: Introduction to Superposition MIT OpenCourseWareScience & Math

Intro9.37M views

14:59

Understanding Laminar and Turbulent Flow The Efficient EngineerEngineering

1.36M views

27:13

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

7.36M views

Doug McLean | Common Misconceptions in Aerodynamics Michigan EngineeringEngineering

857K views

25:10

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

465K views

11:05

Understanding the Area Moment of Inertia The Efficient EngineerEngineering

2.23M views

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.

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.

Math's Fundamental Flaw

Veritasium

30.8M views

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

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.

The Most Misunderstood Concept in Physics

Veritasium

31.6M views

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

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.