期刊文章详细信息
文献类型:期刊文章
机构地区:[1]山西大学科技与社会研究所,030006
年 份:1998
卷 号:15
期 号:4
起止页码:24-28
语 种:中文
收录情况:CSSCI、CSSCI1998、普通刊
摘 要:文章对构造性教学的基础─—递归函数进行了认真地分析,指出其支柱之———摹状算子不具有能行性即构造性,从而表明了构造性数学基础的非构造性。文章同时还指出了构迫性数学对否定词和蕴涵词的使用也是不符合构造性要求的。最后谈了一点哲学启示。
关 键 词:构造性数学 递归函数 非构造性
分 类 号:O1-02[数学类]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...