论文部分内容阅读
数学抽象度分析法由徐利治教授及其合作者在二十世纪八十年代最早提出,后来又有了进一步的发展.该方法给出了数学抽象的定量分析,主要是应用了偏序集理论和图论等一些数学方法,它有助于揭示具有丰富内涵的数学理论的内在结构.
在绪论中,我们对与本文有关的已有的一些研究成果进行了概述,进行了系统化的整理,并且指出了其中存在的一些疏漏之处,同时进行了修正.
徐利治教授等对于数学抽象度分析法的研究提出了一些待解决的问题,其中包括运用图论工具建立一套形式化的数学抽象度分析法理论并且将这一理论进行应用的设想.本文即是在已有工作的基础之上,沿着这样的方向进行的工作,对于数学抽象度分析法作进一步的讨论,给出了相对关系度和半核的概念及其它们的布尔矩阵算法,并且给出这些算法在绝对几何系统中的应用.