论文部分内容阅读
交互式零知识证明是数学实践发展中的产物,对传统的数学证明理论具有挑战性。在数学哲学上它具有数学方法论和认识论意义;在科学哲学上对科学理论具有重要的启发性意义;它丰富了知识论中认识来源的理论,凸现了证明的说服与提振信念的功能,区分了证明与理解;它对复杂性理论与思维的发展也具有重要的理论意义。
交互式零知识证明的哲学意义
【摘 要】
：
交互式零知识证明是数学实践发展中的产物,对传统的数学证明理论具有挑战性。在数学哲学上它具有数学方法论和认识论意义;在科学哲学上对科学理论具有重要的启发性意义;它丰
【机 构】
：
湘潭大学哲学系
【出 处】
：
湘潭大学学报：哲学社会科学版
【发表日期】
：
2017年1期
其他文献
会计学专业的毕业生应该是具备一定的计算机知识，掌握经济管理、法律、会计、财务管理等相关专业知识，能为企业实施会计信息化系统提供咨询和服务、能独立规划、设计和领导实施
在中原经济区战略布局中，开封处于核心区的位置，肩负着重要使命。我们将紧紧抓住和用好这一历史性机遏，主动融入．乘势而为．“十二五”期间．努力把开封打造成为中原经济区重要支撑城
企业经济效益是企业一切经济活动的根本出发点。提高企业经济效益，对于一个企业、一个民族的经济发展具有重要的意义。文章列举工业企业经济效益的种种误区，在此基础上对工业企
在行政决策过程中引入公众参与，使决策科学化、民主化、法制化，反映了我国民主法制与政治文明的成熟。公众参与到行政决策中有着现实的需要与意义，但由于传统观念、操作制度缺乏
在移动计算中,移动性及其相关的无线环境特点给Internet网络协议提出了新的挑战,该文分析了移动性对Internet中物理和链路层、网络层、传输层、应用层的影响,并介绍了目前上
以不同有机碳（月桂酸、葡萄糖和柠檬酸）为碳源合成了橄榄石型LiFePO4／C锂离子电池复合正极材料。研究了不同碳源对LiFePO4／C复合材料的结构、形貌及其电化学性能的影响。结果表明
摘要：矿建工程项目成本控制是工程项目生产经营活动过程中非常重要的环节， 成本控制的好， 则相应利润就增加， 成本与利润存在此消彼长的关系， 而利润是企业生存发展的源动力。本文主要是对矿建工程项目施工成本控制的具体措施进行了分析，以供同仁参考。 关键词：矿建工程项目 施工 成本控制 全过程管理 1.成本控制的全过程管理 成本的全过程控制是指从一个具体项目的施工准备开始、经工程施工， 到竣工交付
为了保持曲面形状的平滑性,在曲面重构过程中经常会出现曲面形状的变异,针对带有精确截面信息的截面线数据的三维曲面重构问题,提出了一种NURBS曲面蒙皮重构方法。该方法产生一个连续的NURBS曲面,改进了传统曲面蒙皮重构方法在处理非均匀截面数据点时出现的一系列问题,通过实际系统验证了该方法的有效性。
木聚糖酶能够非专一性地水解壳聚糖,研究其水解壳聚糖的条件和分析产物分子量具有重要意义。木聚糖酶水解壳聚糖的较佳条件为：pH4.8,温度60℃,加酶量15%。在酶解动力学上符合M