Best Computability & complexity theory Videos

「Computability & complexity theory」下面有34部被不同的人、在不同月份推荐过的视频。挑的时候先看对象：入门9部，适合还没学过的人；进阶14部，适合已经懂术语的人；普通向10部，按兴趣就能看；更硬的1部，留给想看推导或细节的人。这一类数量最多的是演讲，所以它们的共同点是一位讲者把一个判断讲完，例子是为了撑住这个判断。常出现的频道包括Lex Fridman、Confreaks、Tom Wildenhain。目录给这个主题划的范围是：Theory of computation: Turing machines, halting problem, P vs NP, complexity classes, lambda calculus, automata, Church-Turing, Goedel incompleteness, computability.如果只看三部，就从《Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich》开始，它负责把问题讲出画面；然后看《28c3: The Science of Insecurity》，换一种讲法或例子；最后看《"Propositions as Types" by Philip Wadler》，留给已经有基础的人。页面按每页24部切开，顺序看的是被推荐跨越了多少个月，不是播放量。每条标题下面那一句是这部片子自己的内容说明，用来区分它在讲定义、过程、演示还是观点。点进去能看到推荐原话、原文链接和适合谁看。看的时候把强烈推荐当成有人明确叫你去看，把引用当成只是拿来举例，把批评留下来对照，不要把每条评论都当成同一力度。