[发明专利]定理发现系统

摘要

定理发现系统是一种能发现数学定理并且可以设计数学模型的系统。本系统具有帮助人们设计公理系统并从他们所设计的公理系统中求取定理的能力。其特征包括：“测试人们所定义的公理系统合理性的能力”，“帮助人们从所定义的公理系统中求取定理的能力”和“帮助人们发现新型数学的能力”。这是一种帮助数学爱好者设计自己的数学模型的装置。本发明有三大功能，即：1.测试公理系统合理性的能力；2.从所定义的公理系统中求取定理的能力；3.发现新型数学模型的能力。

主权项

定理发现系统是一种发现数学定理的系统.本系统具有帮助数学家从他们所定义的公理系统中求取定理的能力.其特征包括：1.测试公理系统合理性的能力；2.从所定义的公理系统中求取定理的能力；3.发现新型数学模型的能力。这是一种用来设计数学公理并推求数学定理的装置。对于现有的数学公理，在按本系统的规定输入后，系统将发现有效的定理。本装置具有测试公理系统合理性的能力：众所周知在一个公理系统中，最重要的是任一公理不可以被其它公理所推得。在本装置中就具备侦知公理系统合理性的能力。本装置具有所定义的公理系统中求取定理的能力：在一个数学系统中，任意一个命题或者该数学系统中的变量之间关系能够从公理系统中推出，那么这个命题或者该数学系统中的变量之间关系就是这个数学系统中的定理。在本装置中，系统根据所输入的公理能推得大量定理。本装置具有发现新型数学体系的能力：由于上述二种性能，人们可不断地调整所设计的公理，从而能达到合乎预期的结果。因此本装置具有邦助人们设计新型数学系统的能力。根据以上所述，本发明专利具有如下能力：测试所定义的公理系统合理性的能力；从所定义的公理系统中求取定理的能力；发现新型数学的能量。