计算和机器计算

电子计算机应用已深入到人类活动的各个领域。虽然其应用方式不尽相同,但归根结底少不了“计算”。如所周知,“计算”这概念是先于计算机而出现的。然而到底什么是人类所能进行的计算?机器计算是否与人类所能进行的计算相同呢?本文以数理逻辑和计算机科学的研究成果来回答上述问题。一、有穷自动机的能力和机器计算对可作为计算机模型的有穷自动机的功能曾进行过不少研究。R.W.Ritchie定义了     

多值递归函数

本文研究了多值递归函数、多值递归函数与单值递归函数的关系以及多值递归函数的分类等问题.不确定的自动机所表示的函数,实际上就是一种多值递归函数,随着并行结构的电子计算机的出现和计算机网络的建立,并行计算也成了急需解决的问题.多值递归函数则在一定程度上刻画了并行可计算性和自动机的不确定性问题.本文提出多值递归函数的概念并进行了一定的研究,有些研究则是个开始.本文所假定的单值递归函数的一些结果可见文献[3]、[4] [5]、[6]、[7].     

κ-紧空间的κ-乘积定理

本文指出一族κ－紧空间的κ－乘积仍为κ－紧的充分必要条件是κ为紧致基数     

k—紧空间的k—乘积定理

本文指出一族ｋ－紧空间的ｋ－乘积仍为ｋ－紧的充分必要条件是ｋ为紧致基数。