交互式零知识证明的哲学意义  

On the Philosophical Significance in Interactive Zero-Knowledge Proof

作　　者：张践明[1] 谭柏华[1] 

机构地区：[1]湘潭大学哲学系,湖南湘潭411105

出　　处：《湘潭大学学报（哲学社会科学版）》2017年第1期138-142,共5页Journal of Xiangtan University:Philosophy And Social Sciences

摘　　要：交互式零知识证明是数学实践发展中的产物,对传统的数学证明理论具有挑战性。在数学哲学上它具有数学方法论和认识论意义;在科学哲学上对科学理论具有重要的启发性意义;它丰富了知识论中认识来源的理论,凸现了证明的说服与提振信念的功能,区分了证明与理解;它对复杂性理论与思维的发展也具有重要的理论意义。Interactive zero- knowledge proof is the production of the mathematical practice,which has the challenging significance on the traditional mathematical proof theory. It has the meaning of the mathematical methodology in the philosophy of mathematics,and has the important enlightening significance to scientific theory in the philosophy of science. It enriches the theory on the source of cognition in the epistemology,highlights the function of persuasion and boosting faith about the proof,distinguishes the meaning between the proof and comprehension. Interactive zero- knowledge proof also has the great theory significance to the development of the complexity theory and thinking.

关 键 词：交互式证明 零知识证明 数学证明 数学哲学 

分 类 号：N02[自然科学总论—科学技术哲学]