公理方法及其作用

本文介绍了公理方法其及发展简史,评述了公理方法的作用:(1)公理方法是总结和表述以往数学知识的科学方法;(2)公理方法能促进和推动新的数学理论的创立;(3)公理方法反映了数学的特点;(4)公理方法不仅是研究数学的重要方法,而且也是研究其他自然科学的重要方法。     

关于数学基石出诸流派的研究与评论(Ⅱ)

本文主要讨论直觉主义派的数学观、无穷观、逻辑规则和构造性数学,同时还概述了人们对直觉主义派的一般评论。     

关于数学基础诸流派的研究与评论(Ⅱ)

本文主要讨论直觉主义派的数学观、无穷观、逻辑规则和构造性数学,同时还概述了人们对直觉主义派的一般评论。     

论集合与点集空间

本文批判地分析了有关无穷集合的某些传统观念,特别是对于自然数集合和由数学点构成的连续统概念。指出了一个完全的自然数无穷序列不可能由且仅由无穷多个有穷序数去组成,如此就引进并定义了叫做“潜尾”的概念。进而简要地陈述并讨论了一组不同类型的数学连续统的非Cantor理论,其实质性的概念在于分辨己被分割了的点与连续统的元素的可分割性之间的区别。     

关于数学基础诸流派的研究与评论(Ⅰ)

本文及其续篇(Ⅱ)、(Ⅲ)主要讨论数学基础中各流派的数学观,无穷观和方法论,但在这里,不是单纯的历史综述,同时也表述了我们的看法和见解,并由此而将纠正一些历史的误解。在本文中,除了简述形成诸流派的历史近因外,主要讨论逻辑主义派的思想方法。     

提高办公效能的一个强有力的辅助系统——办公自动化系统ODAS

本文着重介绍提高办公效能的一个强有力的辅助系统——办公自动化系统ODAS(OfficializeD Automated System)其目的在于让人们了解ODAS的含义,它的功能和作用,以及建造一个实际的ODAS的组织结构,方法,工具和具体措施。     

关于数学基础诸流派的研究与评论(Ⅲ)

本文是讨论数学基础诸流派的数学观、无穷观和方法论的一系列文章中的最后一篇。主要讨论Hilbert主义派和形式主义派的思想方法;另外,根据这种分析,我们认为应把Hilbert主义派从现代形式主义派中区分出来。     

管理信息系统综述

本文试图对管理信息系统MIS(Management Information System)的进展情况作一综述。先简单回顾一下它的历史背景,接着给出通用管理关系模式。文中并就管理信息系统MIS的开发技术问题展开若干探索性的讨论。