Institute for Advanced Study

3 videos from this channel that Hacker News commenters point to. Find the channel on YouTube

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

Institute for Advanced Study

57K views · 3 HN recommenders · 2017–2019

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Institute for Advanced Study

34K views · 1 HN recommender · 2018–2026

Elements of Programming Style - Brian Kernighan

Institute for Advanced Study

138K views · 3 HN mentions · 2018–2024