第(5/5)页型问题一样，几十年来数理逻辑学家们一直在稳步往前推进，morley证明了1-范畴的理论最多有0个可数模型，baldwin和lachlan证明了1-范畴的理论只可能有一个或0个可数模型，vaught证明了任何完全理论都不可能恰好有两个可数模型……学术研究，就是这么一步步前进的。” 田寿平彻底麻了。 但他却又不能反驳。 毕竟眼前这位大神，从典型群重数一猜想、到冰雹猜想、再到霍奇猜想，据说还要再单挑一个世界七大数学难题，简直是一拳一个小朋友。可能非交换曲面分类、ramras问题等在他面前，就像是小学生的奥数题，难是难了点，但动动脑子、花点时间，还是不难解出来的。 徐生洲接着说道：“我的大致想法就是这样。你回去可以和田院士商量一下，如果同意，可以先选定一个题目，做个研究进展文献综述，发给我看看。”第(5/5)页