当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Combinators and the Story of Computation
arXiv - CS - Logic in Computer Science Pub Date : 2021-02-18 , DOI: arxiv-2102.09658
Stephen Wolfram

We discuss the role of combinators in the development of the modern conception of computation over the course of the past century. We describe how ideas about formalism and mathematical logic led to the introduction of combinators in 1920 as an extension of the discovery of Nand as a basis for basic logic. We then discuss how combinators informed lambda calculus and symbolic computation, and their relationship to the development of practical computation. We finally describe recent views of combinators in terms of the computational universe of possible programs, and a recent approach to the fundamental theory of physics.

中文翻译:

组合器与计算的故事

在过去的一个世纪中,我们讨论了组合器在现代计算概念发展中的作用。我们描述关于形式主义和数学逻辑的思想如何导致组合器在1920年作为对Nand的发现的扩展作为基本逻辑的基础而引入。然后,我们讨论组合器如何告知lambda微积分和符号计算,以及它们与实际计算的发展之间的关系。最后,我们根据可能程序的计算范围描述了组合器的最新观点,以及物理学基础理论的最新方法。
更新日期:2021-02-22
全部期刊列表>>
2021新春特辑
SN Applied Sciences期刊征稿中
JCR Q1医学全学科
虚拟特刊
亚洲大洋洲地球科学
NPJ欢迎投稿
自然科研论文编辑
ERIS期刊投稿
欢迎阅读创刊号
自然职场,为您触达千万科研人才
spring&清华大学出版社
城市可持续发展前沿研究专辑
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
阿拉丁试剂right
上海中医药大学
南科大-连续三周2.26
西湖大学
化学所
北京大学
山东大学
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
南方科技大学
张凤娇
中国石油大学
天合科研
x-mol收录
试剂库存
down
wechat
bug