收藏本站
问答
《自然辩证法通讯》 2025年07期
作者本人免费下载 | 收藏 | 投稿 | 论文排版

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

杨帆   开通知网号
【摘要】：在信息化时代，人们能够使用计算机实现对数学定理的形式化证明，由此改变了数学实践的范式。鉴于形式化证明中涉及到人脑证明、机器证明和数学形式三种不同类别的存在，有必要从本体论层面对其进行考察。彭罗斯的三个世界理论发展自波普尔，并以其将数学形式作为柏拉图世...
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 https://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
违法和不良信息举报电话：400-062-8866
举报邮箱：jubao@cnki.net
©2022中国知网（CNKI）


加载耗时:36ms