Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse.
在哪个阶段会学到这些？对数学的要求要达到什么水平？有专门研究跟CS有关的抽象数学的吗？这些人都做什么样的工作？比如大熊喜欢的方向不读到Phd不能做，是这类的吗？
我丈二和尚摸不着头脑，不知我有没有问到点子上？
刚又问了一下，他说是formal logic 和 category theory。大家怎么看？比如哥德尔不完备定理。
应该没有直接应用价值，不过学不通的说明脑子不太够用，嘿嘿
theoretical machine learning
听小孩讲，线性代数，抽象代数挺重要的，比如AI方面，不过他才二年级结束，我听到的也是一言半语。。。
离散数学肯定要学的，还有概率统计对某些方向也是需要的
他对抽象数学的应用感兴趣。但他呱唧呱唧说得太快我没大听懂，问他也白问，还是在这里大家都写出来我看得更清楚些。
Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse.
是在程序语言的语义学研究上用。而且很难反向驱动应用，就是即使你做出成绩取得突破，大概率也没有啥太大“用”。
全忘了哈哈。。。
IMO金牌和他都上了这课，他是选修课，金牌是数学和计算机双学位
在看有没有类似string的应用数学让他能从中感受到数学的美
理论物理在剑桥是归在数学系
那天看trivial讲以前数学专业的就业市场，说那一年整个string theory的只有一个opening，看来在美国这一块也归在数学界。
不要第一眼感觉不错。。。
我们都希望他大学里多学些高级数学课，但他总说足够了，说是问过几个ai/ml教授和博士生，都说不需要更多数学了。。。
等我具体问问他知不知道你娃问的