数理逻辑及其系统特征

引言在数学研究和数学应用中,人们总是要进行大量的推理和计算,推理要有一定的前提和推演规则,计算要有一定的数据和计算法则,这是数学家的常识。但是,推理和计算有什么性质,有什么联系,有什么局限性,这些都是需要进行研究的问题。人们研究这些问题,不仅可以探索推理与计算的规律,而且还可以探索数学的本质,寻求新的研究领域,并且还可能发现数学的不同分支之间的共同规律。上述这些问题和研究,就是人们称之为数理逻辑的问题和研究。一百年来,特别是近几十年来这项研究取得了一系列重大的进展和结果,引起了科学界的重视。