中介公理集合论系统MS

本文概述中介公理集合论MS中有关“两种谓词的划分与定义”、“集合的运算”、“谓词与集合”、“小集与巨集”、“MS与ZFC的关系”、“逻辑数学悖论在MS中的解释方法”等文中的定义、引理和定理。     

数学无穷与中介逻辑(上)——Leibniz的割线与切线问题在中介逻辑中的逻辑数学解释方法(英文)

From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in ’unmediated opposition’ (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz’s secant and tangent lines in the medium logic system from the perspective of logical mathematics.     

论Gdel不完备性定理

本文首先借用延伸,穷竭的概念,界定了数学中的潜无限与实无限,进而讨论了延伸变程的层次概念与穷竭原则的相对性。最后,借此分析了著名的Gdel不完备性定理的证明思想,指出了不完备性定理及其证明的实质性根据是:任何低一层次的无穷过程恒不能列举或判定相应的而又比它高一层次的无穷总体的全体元(这就是所谓“层次不可越原理”)。 本文的基本思想内容曾在大连工学院“数学方法论讲座”中报告过。     

MP*与各种命题联结词含量完全的三值逻辑在语言表达能力上的等效性研究

本文基于中介命题逻辑的扩张系统 MP*之命题联结词含量的完全性结果 ,进一步证明了 Lukasiwicz三值逻辑系统 L*3 、Post三值逻辑系统 P*3 、Slupecki三值逻辑系统 S*3 和 Woodruff三值逻辑系统 W*3 等的命题联结词的含量也是完全的 .从而着眼于形式系统 ,可知 MP*、L*3 、P*3 、S*3 、W*3 的语言表达的能力也都是等效的 .又若这些三值系统都是可靠的完备的 ,则可进一步证明这些三值系统立足于形式推理也都是互相等价的 .     

中介逻辑的命题演算系统(Ⅱ)

This paper is a continuation of [1]、[2]、[4]. In this paper, we shall con-tinue to constitute the formal theorems and the important substituting theorem(see theorem 16 in this paper) of the propositional calculus system of mediumlogic MP. The order numbers of following formal theorems follow those in reference[4]     

On the Naive Mathematical Models of Medium Mathematical System MM

Introduction The aim of this paper is to explain the practical background and the ideological principles of succeed papers related to medium logic calculus ML and med-ium axiomatic set theory MS on the basis of reference[1]. The succeed papers,which include 15 papers, cover propositional calculus systems of medium logicMP_((Ⅰ)-(Ⅲ))and their extention MP_((Ⅰ)-(Ⅱ)), predicate calculus systems of medium     

Leibniz割线切线问题在数学无穷之逻辑基础层面上的分析研究(英文)

Refs 1 and 2 provide the definition of the concepts of‘potential infinity’(poi)and actual infinity(aci);Ref 3 discusses and verifies that poi and aci are a pair of contradictory opposites without intermediate(p,-p).The second part of this paper,i.e.,§2,further discusses the manners in which a variable x approaches infinitely to its limit x0 using the poi and aci methods and concludes that,in any system compatible with both poi and aci, the two approaching manners are also a pair of contradictory opposites w...     

数学直觉形象思维的应有地位及其计算机模拟问题

本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面，阐明形象思维在处理实际问题时的重要作用．然后又从数学方法论的几种典型方法出发，讨论数学发现的计算机模拟问题．并在机器发现之简单回顾的基础上，对上述计算机模拟问题的研究方法提出一些看法，并指出其研究目的与意义．     

中介逻辑演算系统MPN及MFN

为满足不完全信息系统应用的需要,本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ,并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。ＭＦＮ将为进一步讨论不完全信息数据库作准备     

中介逻辑的命题演算系统 (Ⅲ)

The paper is a continution of [1]、[2]、[4]、[5]. In this paper we shall introduceconjunction symbol\"∧\", disjunction symbol \"∨\" and equality value symbol \" asdefining symbols of MP, which are read as \"and\"、\"or\"、\"if and only if\" respectively.With these symbols we shall go on to prove the formal theorems of MP. The list ofthe following formal theorems are in succssion of refernce.