机器时代的证明

IF 2 3区数学 Q1 MATHEMATICS Bulletin of the American Mathematical Society Pub Date : 2024-02-15 DOI:10.1090/bull/1826

Andrew Granville

{"title":"机器时代的证明","authors":"Andrew Granville","doi":"10.1090/bull/1826","DOIUrl":null,"url":null,"abstract":"We are concerned here with the nature of proof and what proof will become in this age of machines. We do so by comparing the values associated with (traditional) community based proof verification to those associated with computer proof verification. We finish by proposing ways that computer proofs might incorporate successful strategies from human experiences.","PeriodicalId":9513,"journal":{"name":"Bulletin of the American Mathematical Society","volume":null,"pages":null},"PeriodicalIF":2.0000,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Proof in the time of machines\",\"authors\":\"Andrew Granville\",\"doi\":\"10.1090/bull/1826\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We are concerned here with the nature of proof and what proof will become in this age of machines. We do so by comparing the values associated with (traditional) community based proof verification to those associated with computer proof verification. We finish by proposing ways that computer proofs might incorporate successful strategies from human experiences.\",\"PeriodicalId\":9513,\"journal\":{\"name\":\"Bulletin of the American Mathematical Society\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":2.0000,\"publicationDate\":\"2024-02-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the American Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1090/bull/1826\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the American Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/bull/1826","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}

引用次数: 0

摘要

在这里，我们关注的是证明的本质，以及在这个机器时代，证明将变成什么。为此，我们将（传统的）基于社区的证明验证的相关价值与计算机证明验证的相关价值进行了比较。最后，我们提出了计算机证明可以从人类经验中吸收成功策略的方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Proof in the time of machines

We are concerned here with the nature of proof and what proof will become in this age of machines. We do so by comparing the values associated with (traditional) community based proof verification to those associated with computer proof verification. We finish by proposing ways that computer proofs might incorporate successful strategies from human experiences.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Bulletin of the American Mathematical Society 数学-数学

CiteScore

2.90

自引率

0.00%

发文量

审稿时长

>12 weeks

期刊介绍： The Bulletin publishes expository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic. The Bulletin also publishes reviews of selected books in mathematics and short articles in the Mathematical Perspectives section, both by invitation only.

期刊最新文献

Compositional sparsity of learnable functions Book Review: Regularity Theory for Elliptic PDE Poincaré on the value of reasoning machines Working with machines in mathematics Proofs for a price: Tomorrow’s ultra-rigorous mathematical culture