天美乌鸦糖心mv

从数学刚转到肠蝉的时候，确实瞧不起。

觉得Galois theory, 连续统***设的forcing，多么的简洁漂亮。

而号称TCS最漂亮的定理之一Cook-Levin 证明就挪指针，数格子，一点“数学美感”都没有。

信息论就是一直重复四则运算加对数。

后来做肠蝉碰到不少看上去很基本的线性代数问题，觉得数学家都搞算子代数、非交换几何这么高级的数学，这个肯定秒杀。

结果翻篇数学书也没找到答案。

费了老大劲把算子代数的结论翻译到矩阵还是不够用。

最后还…。