从历史看职业重组
印刷、纺织、铁路、汽车、电气化、制冷、集装箱与计算机:新活动怎样成立,从业者又如何转型?

当AI不断扩展既定数学典范内的求解与证明能力,数学家需要重新组织研究生涯。常规研究继续提供证明、计算、反例与理论积累;在人—AI复合体中,多种对象、运算、结构和应用方向得到提出、展开、检验与发展。
工具封装已有能力,也让领域面临新的选择:打开新的活动空间,或在相似成果之间加剧竞争。
印刷、纺织、铁路、汽车、电气化、制冷、集装箱与计算机:新活动怎样成立,从业者又如何转型?
从库恩的常规科学进入SDE的数学发生,区分模型创新、研究纲领与形成中的典范。
以伞模型贯通定义、运算、反例、证明与代码,把想法做成他人能够检验和继续的研究作品。
阅读、编辑、打印与复现,提供同一部书的不同入口。
数字阅读版 v1.0。出版与协作方式见版本说明。