构造性数学是构造性地(即从某些初始对象出发，通过明确规定的操作)展开的数学理论的通称。同建立在公理之上的数学相反，主要由于后者在刻画自然数、实数等方面缺乏唯一性所产生。有几种流派，包括。直觉主义、希尔伯特的有限主义及毕肖普(Errett Bishop，1928-1983)的狭义构造主义。不承认逻辑上排中律的普遍有效是其共同特征。
以离散数学和组合数学为代表的可构造性数学是计算机科学与技术学科的最重要的数学基础。
Combinatorics and discrete mathematics are the most important mathematics foundation in science and technology of computer.
从数学方法的角度，通过若干实例的分析，阐明了“数学构造性方法”的具体应用。
From the Angle of mathematical methodology, by analyzing some typical examples, the forth application are set on constructivity method of mathematics.
应用推荐