超数学——一种新的数学方法学与计算机科学

超数学作为一种新的数学方法学不同于经典数学的“定义—定理—证明”模型,而是基于“说明—断言—辩明”模型工作的,其基础是“操作逻辑”。它的理论与实现既为计算机科学提供基础。同时又借助于计算机科学的有关理论、技术和方法学,本文就这些方面概要地讨论超数学及其计算机科学的联系。