论文部分内容阅读
文章对构造性数学的基础－递发函数进行了认真地分析，指出其支柱之一－摹状算子不具有能行性即构造性，从而表明了构造性数学基础的非构造性。文章同时还指出了构造性数学对否定词和蕴涵词的使用也是不的构造性要求的，最后谈了一点哲学启示。
论构造性数学中的非构造性
【摘 要】
：
文章对构造性数学的基础－递发函数进行了认真地分析，指出其支柱之一－摹状算子不具有能行性即构造性，从而表明了构造性数学基础的非构造性。文章同时还指出了构造性数学对否定词和
【机 构】
：
山西大学科技与社会研究所
【出 处】
：
科学技术与辩证法
【发表日期】
：
1998年4期
其他文献
为深入贯彻习近平总书记关于教育的重要论述,全面贯彻党的教育方针, 落实《中共中央 国务院关于全面加强新时代大中小学劳动教育的意见》, 加快构建德智体美劳全面培养的教育
哈佛大学的著名教授吉伯特曾经指出:如果说20世纪是信息世纪,那么21世纪则将是生物科技的世纪。自从诺贝尔奖金获得者、美国生物学家沃森和克里克提出生命的遗传基础寓于脱氧
赣东北地区是古饶州府、广信府所在地,位于赣、皖、浙、闽四省交界之处,且交通便利,四通八达,为此地经济与文化的发展提供了客观的条件。宋元以来,这里成为南戏走向西南内陆
该文主要根据变态模型试验中模型能坡比降与原型不等（λ1≠λh=λB）的变态方式，在长隧洞模型变态设计的依据基础上，重点介绍了调压井水力模型变态设计方法，推导建立了一套较完整的
研制了一套远程网络控制的演示实验系统。该系统采用嵌入式ARM9作为主控芯片,结合linux软件,组成主控中心。系统利用连接到Internet的电脑,通过内嵌控制实现对风扇、灯光等开
本文从认识论角度界定了人工自然的三层含义，进而通过人工自然的复杂现象和发展历史揭示出人工自然的本质是“人的对象化的本质力量”，并讨论了研究人工自然的意义及人工自然发
桥梁工程建设从无到有的过程是从方案策划到实施设计、动工建设、运行养护,直至废弃的历程,按照这一紧密联系的过程,主要介绍了精细化设计对工程质量的贡献、施工阶段对工程
结合传统波形钢腹板组合箱梁和钢桁架的优点,将传统波形钢腹板组合箱梁下缘混凝土底板改进为钢管桁架结构,提出一种波形钢腹板-钢管组合箱梁新型结构形式。该结构充分发挥材
很多人认为，社会信息化、网络化，知识经济兴起将走向“信息共享”。本文分析了信息化进程将同信息的社会性、历史性联系在一起，导致知识技术竞争与知识技术垄断的矛盾，从而引发信