论算法、有效程序及其定义

IF 0.8 1区哲学 Q2 HISTORY & PHILOSOPHY OF SCIENCE

Philosophia Mathematica Pub Date : 2023-07-29 DOI:10.1093/philmat/nkad011

Philippos Papayannopoulos

{"title":"论算法、有效程序及其定义","authors":"Philippos Papayannopoulos","doi":"10.1093/philmat/nkad011","DOIUrl":null,"url":null,"abstract":"\n I examine the classical idea of ‘algorithm’ as a sequential, step-by-step, deterministic procedure (i.e., the idea of ‘algorithm’ that was already in use by the 1930s), with respect to three themes, its relation to the notion of an ‘effective procedure’, its different roles and uses in logic, computer science, and mathematics (focused on numerical analysis), and its different formal definitions proposed by practitioners in these areas. I argue that ‘algorithm’ has been conceptualized and used in contrasting ways in the above areas, and discuss challenges and prospects for adopting a final foundational theory of (classical) ‘algorithms’.","PeriodicalId":49004,"journal":{"name":"Philosophia Mathematica","volume":" ","pages":""},"PeriodicalIF":0.8000,"publicationDate":"2023-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On Algorithms, Effective Procedures, and Their Definitions\",\"authors\":\"Philippos Papayannopoulos\",\"doi\":\"10.1093/philmat/nkad011\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\\n I examine the classical idea of ‘algorithm’ as a sequential, step-by-step, deterministic procedure (i.e., the idea of ‘algorithm’ that was already in use by the 1930s), with respect to three themes, its relation to the notion of an ‘effective procedure’, its different roles and uses in logic, computer science, and mathematics (focused on numerical analysis), and its different formal definitions proposed by practitioners in these areas. I argue that ‘algorithm’ has been conceptualized and used in contrasting ways in the above areas, and discuss challenges and prospects for adopting a final foundational theory of (classical) ‘algorithms’.\",\"PeriodicalId\":49004,\"journal\":{\"name\":\"Philosophia Mathematica\",\"volume\":\" \",\"pages\":\"\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2023-07-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Philosophia Mathematica\",\"FirstCategoryId\":\"98\",\"ListUrlMain\":\"https://doi.org/10.1093/philmat/nkad011\",\"RegionNum\":1,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"HISTORY & PHILOSOPHY OF SCIENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Philosophia Mathematica","FirstCategoryId":"98","ListUrlMain":"https://doi.org/10.1093/philmat/nkad011","RegionNum":1,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"HISTORY & PHILOSOPHY OF SCIENCE","Score":null,"Total":0}

引用次数: 0

摘要

我研究了“算法”作为一个顺序的、循序渐进的、确定性的过程的经典思想（即20世纪30年代已经使用的“算法”思想），涉及三个主题，它与“有效过程”概念的关系，它在逻辑、计算机科学和数学（侧重于数值分析）中的不同作用和用途，以及这些领域从业者提出的不同形式的定义。我认为，“算法”在上述领域已经以不同的方式被概念化和使用，并讨论了采用（经典）“算法”的最终基础理论的挑战和前景。

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

查看原文本刊更多论文

On Algorithms, Effective Procedures, and Their Definitions

I examine the classical idea of ‘algorithm’ as a sequential, step-by-step, deterministic procedure (i.e., the idea of ‘algorithm’ that was already in use by the 1930s), with respect to three themes, its relation to the notion of an ‘effective procedure’, its different roles and uses in logic, computer science, and mathematics (focused on numerical analysis), and its different formal definitions proposed by practitioners in these areas. I argue that ‘algorithm’ has been conceptualized and used in contrasting ways in the above areas, and discuss challenges and prospects for adopting a final foundational theory of (classical) ‘algorithms’.

求助全文

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

来源期刊

Philosophia Mathematica HISTORY & PHILOSOPHY OF SCIENCE-

CiteScore

1.70

自引率

9.10%

发文量

审稿时长

>12 weeks

期刊介绍： Philosophia Mathematica is the only journal in the world devoted specifically to philosophy of mathematics. The journal publishes peer-reviewed new work in philosophy of mathematics, the application of mathematics, and computing. In addition to main articles, sometimes grouped on a single theme, there are shorter discussion notes, letters, and book reviews. The journal is published online-only, with three issues published per year.