请教CS大佬们,CS里的哪一块要求特别抽象的数学?这块有应用价值吗?

数与形
楼主 (文学城)

在哪个阶段会学到这些?对数学的要求要达到什么水平?有专门研究跟CS有关的抽象数学的吗?这些人都做什么样的工作?比如大熊喜欢的方向不读到Phd不能做,是这类的吗?

我丈二和尚摸不着头脑,不知我有没有问到点子上?

刚又问了一下,他说是formal logic 和 category theory。大家怎么看?
s
skyport
Computational theory

比如哥德尔不完备定理。

应该没有直接应用价值,不过学不通的说明脑子不太够用,嘿嘿

a
avw
只有一些很小的分支需要很深的数字,比如encryption。但是传统上,那不是CS
凊荷
machine learning theory or

theoretical machine learning

N
Numero
你娃有学CS的想法?低手先给你热身一下 LOL

听小孩讲,线性代数,抽象代数挺重要的,比如AI方面,不过他才二年级结束,我听到的也是一言半语。。。

离散数学肯定要学的,还有概率统计对某些方向也是需要的

数与形
他不想学CS,但刚才聊起来他说CS里有什么东西需要很深的抽象数学,

他对抽象数学的应用感兴趣。但他呱唧呱唧说得太快我没大听懂,问他也白问,还是在这里大家都写出来我看得更清楚些。

数与形
不是CS那是什么?在哪个系?
数与形
听起来像一门课而不是一个field?
数与形
这个对数学的要求有多高?得到博士才学吗?
凊荷
是CS 博士或数学博士在搞的东西
S
Smilee
Check Allen Liu, MIT. 3x IMO gold
a
avw
Math
a
avw
不过,越难的,赚钱越少
数与形
多谢楼上各位,刚又问了一下,他说是formal logic 和 category theory。
数与形
查到他做algorithms and learning theory,不是老大说的那个
数与形
没想过赚钱,就是想找个有趣的
a
avw
logic theory是比较traditional的,也是基本上已经变成engineering了
数与形
他提到是几十年前用的,他一向喜欢老东西。现在在CS里没啥应用价值了?
N
Numero
AI研究会用到Mathematical logic,包括formal logic
t
tibuko
这个对,基本属于理论研究,稍微能联系到加密也离得远
N
Numero
MITpress 里有一段:

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.  
a
avw
CS department 一般比较急功近利,很难有耐心搞很深的研究。看你的描述,基本上不适合他
N
Numero
这有些想当然 LOL
数与形
不知紫檀有没有谁家做这个
N
Numero
估计不是CS的hot 方向
古代的事物
这个主要

是在程序语言的语义学研究上用。而且很难反向驱动应用,就是即使你做出成绩取得突破,大概率也没有啥太大“用”。

古代的事物
我小时候读过

全忘了哈哈。。。

z
zaocha2002
我咋听娃说有一门GAME THEORY 呢? 其实就是逻辑吧
z
zaocha2002
俺娃说分析偏向应用,但是需要很多抽象数学。我不懂啊
数与形
game theory在CS里也有应用吗?
z
zaocha2002
他说

IMO金牌和他都上了这课,他是选修课,金牌是数学和计算机双学位

数与形
符合我家老大的特点,只喜欢没有用的东西
z
zaocha2002
https://en.m.wikipedia.org/wiki/Algorithmic_game_theory
S
STEMkid
纯数学现在研究的东西几乎没有在当前有应用价值的,以后有没有不知道。自己有兴趣就好,研究本来就是凭兴趣
数与形
他不喜欢纯数学,原来喜欢string theory的数学,现在不大想学string了,

在看有没有类似string的应用数学让他能从中感受到数学的美

数与形
哈哈,我也不懂,咱们也就能看个热闹
S
STEMkid
数学分支很多,不同的分支差别很大。如果想在研究上走的远,选自己最有兴趣和最擅长的,不要纠结有没有用
数与形
他不纠结,我还是惦记至少要能弄个饭碗
z
zaocha2002
这不是和纯物挂着吗?
数与形
不分家啊。 你们那里理论物理是在数学系还是物理系?
S
STEMkid
学数学的改行很容易,我还知道纯数拿到教职的人觉定放弃,改行去大厂或者花街的
数与形
嗯,我们也觉得就先挑一个方向读博,不喜欢了再换,三十岁时能安定下来就行
z
zaocha2002
在物理系,不过属于一个学院。所以娃现在物理选了量子物理,数学偏分析
数与形
本科无所谓,到了博士阶段不一样

理论物理在剑桥是归在数学系

那天看trivial讲以前数学专业的就业市场,说那一年整个string theory的只有一个opening,看来在美国这一块也归在数学界。

z
zaocha2002
如果纯粹喜欢,不想什么应用,纯物和纯数有FUNDING一直做下去也很好
数与形
没有应用就很难拿到funding啊。而且小孩兴趣也在变,不知什么时候才定下来。
古代的事物
选方向还是应该survey上一圈再选

不要第一眼感觉不错。。。

z
zaocha2002
对啊,俺娃也是变来变去,不过反正要读硕,再想想。

怀
怀旧一点点
这个我问过熊娃几次

我们都希望他大学里多学些高级数学课,但他总说足够了,说是问过几个ai/ml教授和博士生,都说不需要更多数学了。。。

等我具体问问他知不知道你娃问的

数与形
等着看大熊咋说。
k
km2017
线性代数會用在数据上。data 比程序有價值。程序寫的好寫的熟練後可練數據處裡用在AI