Extra
代表人物
精选上位词
构造性数学
简介
构造性数学是构造性地(即从某些初始对象出发,通过明确规定的操作)展开的数学理论的通称。同建立在公理之上的数学相反,主要由于后者在刻画自然数、实数等方面缺乏唯一性所产生。有几种流派,包括。直觉主义、希尔伯特的有限主义及毕肖普(errett bishop,1928-1983)的狭义构造主义。不承认逻辑上排中律的普遍有效是其共同特征。
| 中文名 | 构造性数学 |
|---|---|
| 原始名称 | 构造性数学 |
| 外文名 | constructive mathematics |
| 学科 | 数学 |
| 英文名 | constructive mathematics |
| 起源 | 构造性哲学 |
相关实体