← 专著首页目录德麦国际专著第 70 号

第四十三章 研究规范:本书要求一份工作满足什么

SDE数学解构导论 · 约 604 汉字

本书对自己的每一条承重命题都执行以下七条,也建议对以本书为基础的工作执行同样七条。它们不是一般性的学术劝告,每一条都从本书前面的某一处直接生出来。

规范一(三层齐备). 一个定义至少要有三层:显露条件(对象满足什么)、发生条件(有什么构造、极限或扩张)、环境条件(在哪个范畴、什么正则性与紧致性下成立)。缺一层,定义只描述终态,不能支撑证明。(出处:第一编第一章)

规范二(E 给结构,不给理论). 环境必须以结构呈现——载体、运算、关系、拓扑本身;不能只给一组一阶公理。只给理论,则非同构的模型会使结论随模型而变。(出处:第二编第八章设防之二)

规范三(D 不提及 S). 生成律的描述中不得出现被生成的对象,也不得含它的谕示。违反这一条,“S 由 D 与 E 决定”自动为真,因而毫无内容。(出处:第二编第八章设防之一)

规范四(通道归属可判错). 若声称某个结构是新发生的,应给出它走哪条通道,并使这个判断可以被别人证明判错。给不出签名的归属是叙述,不是命题。(出处:第三编第十五至二十章)

规范五(标明体积型还是跳变型). 承重的量必须标明它是体积型还是跳变型,并给出跳变型的齐次度 p 与维数 d。p > d 时逐块方法恒等失明,此时再精细的估计也没有意义。(出处:第四编第二十七章失明判据)

规范六(证据分级). 每一条承重命题标出层级:第一层——证明不依赖任何计算;第二层——机制清楚但常数未给,或定义待精确化;第三层——数值证据。层级必须逐条标,不能整篇标。规范七(配失败标准). 每一条承重命题配一句“出现什么就算它错了”。没有这一句的命题,不进入承重清单。

七条里最容易被跳过的是规范六与规范七。一份不肯分级、也不肯写失败标准的工作,读者无法判断它的哪一部分可以放心引用。

德麦国际专著第 70 号 · 王德生《SDE数学解构导论》