{"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":2,"journal":{"name":"ACS Applied Bio Materials","volume":"3 1","pages":""},"PeriodicalIF":4.7000,"publicationDate":"2024-02-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACS Applied Bio Materials","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1090/bull/1826","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATERIALS SCIENCE, BIOMATERIALS","Score":null,"Total":0}
引用次数: 0
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.
期刊介绍：
ACS Applied Bio Materials is an interdisciplinary journal publishing original research covering all aspects of biomaterials and biointerfaces including and beyond the traditional biosensing, biomedical and therapeutic applications.
The journal is devoted to reports of new and original experimental and theoretical research of an applied nature that integrates knowledge in the areas of materials, engineering, physics, bioscience, and chemistry into important bio applications. The journal is specifically interested in work that addresses the relationship between structure and function and assesses the stability and degradation of materials under relevant environmental and biological conditions.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
