淘沙TV
数学与理论计算机科学

可计算性和复杂性理论

6 个视频

Philip Wadler：命题即类型42:43HN 20+

Philip Wadler：命题即类型

PoincareYouTube 14.3 万次观看6 年前
Math's Fundamental Flaw 数学的基本缺陷34:00HN 15

Math's Fundamental Flaw 数学的基本缺陷

3cH0_Nu1LYouTube 3080.9 万次观看3 年前
[Tom Wildenhain] 论PPT的图灵完备性 On The Turing Completeness of PowerPoint (SIGBOVIK)5:33HN 13

[Tom Wildenhain] 论PPT的图灵完备性 On The Turing Completeness of PowerPoint (SIGBOVIK)

TennenbaumYouTube 122.9 万次观看8 年前
Numberphile：所有的数14:27HN 12

Numberphile：所有的数

edward13371227YouTube 180.6 万次观看
P 与 NP：计算复杂度的动物园10:44HN 8

P 与 NP：计算复杂度的动物园

WenryXuYouTube 369 万次观看
Stephen Wolfram：复杂性与现实的质地（Lex Fridman）3:38:43HN 3

Stephen Wolfram：复杂性与现实的质地（Lex Fridman）

Wizard_CoreYouTube 478.4 万次观看