On Algorithms, Effective Procedures, and Their Definitions

IF 0.8 1区 哲学 Q2 HISTORY & PHILOSOPHY OF SCIENCE
Philippos Papayannopoulos
{"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}
引用次数: 0

Abstract

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’.
论算法、有效程序及其定义
我研究了“算法”作为一个顺序的、循序渐进的、确定性的过程的经典思想(即20世纪30年代已经使用的“算法”思想),涉及三个主题,它与“有效过程”概念的关系,它在逻辑、计算机科学和数学(侧重于数值分析)中的不同作用和用途,以及这些领域从业者提出的不同形式的定义。我认为,“算法”在上述领域已经以不同的方式被概念化和使用,并讨论了采用(经典)“算法”的最终基础理论的挑战和前景。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Philosophia Mathematica
Philosophia Mathematica HISTORY & PHILOSOPHY OF SCIENCE-
CiteScore
1.70
自引率
9.10%
发文量
26
审稿时长
>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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信