Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
复制标题
自动演绎 - CADE-25 - 第 25 届国际自动演绎会议，德国柏林，2015 年 8 月 1-7 日，会议记录
DOI：
10.1007/978-3-319-21401-6_2
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Martin U
中科院分区：
文献类型：
--
作者：
Martin U
越来越多地使用互联网进行协作，使用数字和符号软件来执行手工无法完成的计算，不仅增强了数学家的能力，而且还提供了观察他们所做的事情的新方法。在这篇文章中，我们通过四个案例研究来了解我们可以从数学的日常实践中学到什么：数学合作生产的polymathexperiments，它告诉我们数学家在公共场合一起工作的态度;同样的minipolymathexperiments，我们可以从其中更细粒度的细节来检查在发展证明过程中所进行的各种活动;数学溢出的数学问题和答案，告诉我们关于小规模的数学研究;最后是计算机代数的作用，特别差距系统，在数学的产生。我们的结论与计算逻辑的作用的观点。
The growing use of the internet for collaboration, and of numeric and symbolic software to perform calculations it is impossible to do by hand, not only augment the capabilities of mathematicians, but also afford new ways of observing what they do. In this essay we look at four case studies to see what we can learn about the everyday practice of mathematics: thepolymathexperiments for the collaborative production of mathematics, which tell us about mathematicians attitudes to working together in public; theminipolymathexperiments in the same vein, from which we can examine in finer grained detail the kinds of activities that go on in developing a proof; the mathematical questions and answers inmath overflow, which tell us about mathematical-research-in-the-small; and finally the role of computer algebra, in particular the GAP system, in the production of mathematics. We conclude with perspectives on the role of computational logic.