证明论是什么?是逻辑学?
所有跟帖:
• 逻辑三大基础之一 -skyport- ♂ (0 bytes) () 02/06/2019 postreply 20:08:28
• 什么地方cs还考证明论? -古代的事物- ♂ (0 bytes) () 02/06/2019 postreply 20:11:20
• 理论啊,什么哥德尔不完备定理啥的 -skyport- ♂ (0 bytes) () 02/06/2019 postreply 20:12:55
• 哦,想起来了,国内学校我们cs这个 -古代的事物- ♂ (95 bytes) () 02/06/2019 postreply 20:23:09
• 头一次听过这个词 -youdecide- ♂ (0 bytes) () 02/06/2019 postreply 20:27:56
• 大学学证明论是什么专业学?数理逻辑? -youdecide- ♂ (0 bytes) () 02/06/2019 postreply 20:12:33
• 以前在形式语言课学的post correspondence可能也属于数理逻辑 -youdecide- ♂ (0 bytes) () 02/06/2019 postreply 20:33:39