A Formal Notion of Computability
162,989 views
About this video
Hand-picked by a BrighterTube curator · found via Reddit r/compsci thread: Any recommendations of youtube channels for programming and computer science stuff? · 84% confidenceA genuinely rigorous intro to computability theory wrapped in jokes; named in two Reddit threads specifically for its theory coverage.
Builds up what it means for something to be computable: Turing machines, lambda calculus and the Church–Turing thesis.
Video by Junferno, played through YouTube's embedded player.