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

交互式零知识证明是数学实践发展中的产物,对传统的数学证明理论具有挑战性。在数学哲学上它具有数学方法论和认识论意义;在科学哲学上对科学理论具有重要的启发性意义;它丰富了知识论中认识来源的理论,凸现了证明的说服与提振信念的功能,区分了证明与理解;它对复杂性理论与思维的发展也具有重要的理论意义。     

柏拉图对经验主义知识论的批判

柏拉图的《泰阿泰德篇》对“知识就是感觉”的命题进行了五点驳斥：它不能得出普遍性理论知识;它导致人与动物、神的感觉能力没有区分;它导致相对主义;它没有语义结构,不适应理性世界也不能预言未来。进而柏拉图对经验主义知识论的信念背景提出了五个诘难：误辨难题、想无难题、互换难题、蜡板说难题和鸟笼难题。