arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1609.04531math.HOmath.CAmath.LO
收藏

走向以过程为中心的数学史

Toward a history of mathematics focused on procedures

Piotr Blaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Semen S. Kutateladze, David Sherry

摘要:

亚伯拉罕·罗宾逊的现代无穷小框架是在半个世纪前发展起来的。它使重新评估的程序的先驱数学分析。他们的程序经常被视为通过维尔斯特拉斯基金会的成功镜头。我们提出了一个观点,而不通过镜头,通过代理这样的程序在现代理论的无穷小。微积分和分析的真正成就主要是基于解决问题的新技术的阐述,而不是对终极基础的追求。用点状连续体来解释历史基础可能是没有希望的,但用现代技术和程序来解释历史技术和程序却是可能的。我们提出的形式化并不意味着费马、格雷戈里、莱布尼茨、欧拉和柯西是前罗宾逊主义者,而是表明罗宾逊的框架比维尔斯特拉斯的框架更有助于理解他们的程序。

英文摘要:

Abraham Robinson's framework for modern infinitesimals was developed half a century ago. It enables a re-evaluation of the procedures of the pioneers of mathematical analysis. Their procedures have been often viewed through the lens of the success of the Weierstrassian foundations. We propose a view without passing through the lens, by means of proxies for such procedures in the modern theory of infinitesimals. The real accomplishments of calculus and analysis had been based primarily on the elaboration of novel techniques for solving problems rather than a quest for ultimate foundations. It may be hopeless to interpret historical foundations in terms of a punctiform continuum, but arguably it is possible to interpret historical techniques and procedures in terms of modern ones. Our proposed formalisations do not mean that Fermat, Gregory, Leibniz, Euler, and Cauchy were pre-Robinsonians, but rather indicate that Robinson's framework is more helpful in understanding their procedures than a Weierstrassian framework.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑