constructive mathematics的意思|示意

美 / kənˈstrʌktɪv ˌmæθiˈmætiks / 英 / kənˈstrʌktɪv ˌmæθəˈmætɪks /

构造性数学

构造数学（constructive mathematics）是一种数学，其目的是用形式化合理的表达方式来研究解决数学问题的方法，它将数学研究从方法论和物理问题转移到实际问题，其主要特征是引入逻辑结构和科学方法。

构造学派以自然数学家美国数学家D.H.Lawrence和德国数学家A. Weyl为代表。他们根据精确的数学定义构建数学结构，更加侧重于描述现实。它以更加精确的方法来研究数学问题，而不是物理问题。

构造数学的主要用法是运用形式化的结构来研究解决数学问题的方法。一个典型的构造数学应用就是定理证明。它使用形式化的推理，以精确地指出定理或结论的正确性。此外，构造数学还可用于设计新的数学技术，例如基于图的技术，以及构建各种数学结构，如几何空间结构和代数结构。

此外，构造数学也可用于构建推断系统，其中通过形式语言来表达一个问题，并使用推理分析技术来解决这一问题。这种方法在软件工程领域得到了广泛应用，可以用来解决软件配置问题，例如任务调度。

总而言之，构造数学是一种数学，其主要特点是引入逻辑结构和科学方法，以形式化合理的表达方式来研究解决数学问题的方法。它可以用来定理证明，设计新的数学技术，以及构建推断系统等。