论文部分内容阅读
关于数学与逻辑的关系存在着逻辑主义和直觉主义2种观点，逻辑主义学派认为数学可以化归于逻辑，直觉主义学派认为逻辑可化归于数学。利用现代认识论的思想，论述了数学与逻辑之间的同一性、互补性和差异性，并对它们在发展过程中的相互作用进行了比较全面而深刻的揭示。
数学与逻辑的关系及其发展过程中的相互作用
【摘 要】
：
关于数学与逻辑的关系存在着逻辑主义和直觉主义2种观点，逻辑主义学派认为数学可以化归于逻辑，直觉主义学派认为逻辑可化归于数学。利用现代认识论的思想，论述了数学与逻辑之间
【机 构】
：
西北师范大学数学与信息科学学院
【出 处】
：
宝鸡文理学院学报：自然科学版
【发表日期】
：
2004年1期
其他文献
在原有小型训练装备及商用成品的基础上，构建船舶航行训练系统，基于商用货架产品（CommercialOff—The—Shelf）的思想，完成了系统的组成构架。根据对系统基本组成和基本功能的分析，
电站枢纽位于三迭系沉积砂岩地层区,岩性总体坚硬。但由于坝址区岩体层理产状总体向下游平缓倾斜,发育的层间结构面不仅其变形模量低,而且剪切强度也较低,加之岩层倾角较平缓,属坝基抗滑稳定的主要控制面。文中通过传统地质勘探成果与三维建模分析相结合的方式,清晰的揭露了控制性结构面的岩体物理力学参数及空间分布特征,为工程的坝型、坝线设计提供了可靠的依据。
给出了种群个体的序和密度定义，在此定义下又给出目标空间中Pareto界面上解的质量度量函数和均匀性度量函数。把对任意多个目标优化问题转化成了利用解的质量度量函数及均匀性
目的：研究基于FCA的本体合并方法。方法：采用基于FCA的2种方法FCA—Merge和OntEx进行本体合并。结果：FCA—Merge方法采用自底向上，描述了本体合并的全局过程；OntEx方法通过和用户
目的研究含有末端集中质量的Beck杆的动力特性。方法采用解析法进行研究，分析了端部集中质量对杆的一、二阶频率和随从力临界值的影响。结果建立计算模型，导出运动微分方程。结
研究了两对相容映射的公共不动点的存在性和唯一性，获得一个新的公共不动点定理：设(f，A)和(g，B)都是X上相容自映射，且(f，A)或(B，g)连续，fX包含于BX，gX包含于AX。如果存在X×X上的
目的并联机构位置解析的核心问题是求解一组非线性方程组，为此提出一种消去法使并联机构位置方程降维，以便采用同伦方法求得位置方程全部解。方法从并联机构位置约束方程出发，采
目的了解宝鸡文理学院老校区校园噪声污染现状,探讨减少噪声污染、保护校园声学环境的措施。方法结合采用网格布点法和敏感点监测法,把宝鸡文理学院老校区划分成6个不同的功能区进行测量,并依据城市区域环境噪声标准(GB/T 14623)对监测结果进行分析和评价。结果6个功能区中教学区、学生住宿区超标,其余各测点均未超标。结论宝鸡文理学院老校区噪声环境总体较为安静,但教学区受交通噪声影响,污染较严重。