01 course introduction

Unknown Channel

Unknown Channel941 subscribers

Jun 2, 2020

Download

0 formats

No download links available.

Related Videos

20

02 Judgements

HoTT Lectures

76.0K views · 5 years ago

Robert Harper - Homotopy Type Theory

HoTT Lectures

0 views · just now

Modules 13 The Completeness Theorem

Trujillo - SHSU

4 views · 5 days ago

Nonetheless one should learn the language of topos Grothendieck... - Colin McLarty [2018]

Graduate Mathematics

45.0K views · 7 years ago

How to Speak

MIT OpenCourseWare

22.0M views · 6 years ago

Univalence from a computer science point-of-view - Dan Licata

Institute for Advanced Study

47.0K views · 7 years ago

The Shadow Docket Last Week Tonight with John Oliver (HBO)

LastWeekTonight

617.0K views · 9 hours ago

Husserl Phenomenology and the Life World

Michael Sugrue

275.0K views · 5 years ago

Mathematician Edward Frenkel on finding meaning in the AI age.

London Institute for Mathematical Sciences

27.0K views · 4 months ago

How I became seduced by univalent foundations

Fields Institute

10.0K views · 3 years ago

Was soll HoTT [Intro to HoTT, No. 0]

jacobneu

14.0K views · 4 years ago

Type Theory Foundations 1.0 — Robert Harper

Mathématiques et programmation

22.0K views · 12 years ago

The problem with pretending quantum mechanics makes sense Sean Carroll

Big Think and 2 more

11.0M views · 2 months ago

Type theory and the algebra of types

All Angles

14.0K views · 1 year ago

Professor Jiang World War 3 Is About To Begin, Let Me Explain!

The Diary Of A CEO and Predictive History

58.0M views · 4 days ago

S13 E11 Epic Fury, Project Freedom & The Shadow Docket 51026 Last Week Tonight with John Oliver

LastWeekTonight

402.0K views · 13 hours ago

Russell's Paradox - a simple explanation of a profound problem

Jeffrey Kaplan

97.0M views · 3 years ago

Category Theory in Life - Eugenia Cheng

Lambda World

109.0K views · 8 years ago

I Reviewed 28,655 Flashcards Every Day for 17 Years. I Barely Had to Study.

Alec Palmerton, MD

190.0K views · 1 month ago

The Foundation of Mathematics - Numberphile

Numberphile2

132.0K views · 1 year ago

© 2026 NatokHD. Not affiliated with YouTube.

About Terms Contact

01 course introduction | NatokHD