HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings
Mathematics & Theoretical CS

Logic & formal methods

Lecture×Play all on YouTube

Upload date

Past year2020s2010s2000s

Type

TalkLectureExplainerTutorialDocumentaryInterviewDemoCommentaryComedyMusic

Duration

Under 4 minutes4-20 minutes20-60 minutesOver 1 hour

Features

Hidden gemsEvergreen only

Sort by

Best firstRecently recommendedUpload dateOldest firstView countLike ratio
Brian Beckman: Don't fear the Monad1:07:10

Brian Beckman: Don't fear the Monad

jasonofthel33t
415K views • 13 years ago
Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 201044:09

Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010

MIT OpenCourseWare
2.8M views • 13 years ago
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky58:30

What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky

Institute for Advanced Study
57K views • 14 years ago
MIT Godel Escher Bach Lecture 11:02:34

MIT Godel Escher Bach Lecture 1

jasonofthel33t
557K views • 13 years ago
Five Stages of Accepting Constructive Mathematics - Andrej Bauer57:32

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Institute for Advanced Study
34K views • 10 years ago
Scott Aaronson | How Much Math Is Knowable?1:06:43

Scott Aaronson | How Much Math Is Knowable?

Harvard CMSA
58K views • 1 year ago