广义BE-代数

本文对BE—代数系统进行了有效的推广·定义了广BE义—代数系统,讨论了广义 BE—代数的性质.最后.论述了广义BE—代数的集合论基础.

Location Problem of Air Materials Supply Center for Air Force

Based on the analysis of three influencing factors on the air material supply center location, the location model of air material supply center was established. By solving the model, the rational supply center of air materials was also determined.

基础数学真理何以形而上学必然?

在有关模态的哲学问题中,数学真理常被哲学家们视作是形而上学必然的。然而由于弗雷格的逻辑还原并不成功,因此这实际上是缺少充分解释的。这篇论文将首先澄清形而上学必然性的准确含义,然后分别总结近年来出现的基于逻辑主义策略的、集合论基础主义策略的、数学实践承诺策略的三种不同的辩护基础数学真理的形而上学必然性的方案,最后指出三种辩护方案均需要不同程度的诉诸某种本质主义纲领来回避各自的困难,然而这并非是没有代价的。因此,如何完整的论证基础数学真理的形而上学必然性仍旧是一个亟待解决的问题。

结构主义是一种有效的数学哲学吗

数学结构主义起源于对集合论基础主义的批评。20世纪八九十年代以来,随着夏皮罗、赫尔曼以及帕森斯等人的推动,数学哲学的结构主义成为数学哲学的热门议题。夏皮罗将元数学哲学立场的两个极端称作哲学第一原则和哲学最后原则。对持有哲学第一原则立场的人来说.