基于彭罗斯三个世界理论视角的形式化证明

自然辩证法通讯页数： 8 2025-06-11

摘要：在信息化时代，人们能够使用计算机实现对数学定理的形式化证明，由此改变了数学实践的范式。鉴于形式化证明中涉及到人脑证明、机器证明和数学形式三种不同类别的存在，有必要从本体论层面对其进行考察。彭罗斯的三个世界理论发展自波普尔，并以其将数学形式作为柏拉图世界的独立存在而适用于形式化证明的本体论构建。为了使彭罗斯的三个世界理论能够作为形式化证明的本体论，还需要对其理论中世界间的关系进行... （共8页）

开通会员，享受整站包年服务

说明：本文档由创作者上传发布，版权归属创作者。若内容存在侵权，请点击申诉举报

科技文档

数学力学化学金融证券保险投资会计审计园艺林业旅游体育物理学生物学天文学气象学海洋学地质学新能源金属学农艺学农作物管理学领导学自然科学系统科学资源科学无机化工有机化工燃料化工化学工业材料科学矿业工程冶金工业安全科学环境科学工业通用机械工业无线电子电信技术铁路运输汽车工业船舶工业动力工程电力工业农业科学农业工程植物保护动物医学教育理论学前教育初等教育中等教育高等教育职业教育成人教育自然地理地球物理经济统计农业经济工业经济交通经济企业经济文化经济信息经济贸易经济财政税收市场研究科学研究互联网自动化轻工业核科学服务业石油然气服务业野生动物水产渔业硬件仪器仪表航空航天武器军事公路运输水利水电建筑科学软件