以物理学所提供的材料制造计算机的形式理论：扩展版本
摘要：突破数字计算技术的局限性催生了对神经形态学和其他非传统计算方法的研究。本文主张，如果我们想要系统地设计基于非传统物理效应的计算系统，就需要一种不同于今天计算机科学教科书中的符号-算法理论的正式理论的指导。我们提出了一种发展这样一种理论的一般策略，并在这种一般观点下，提出了一种具体方法，即“流畅计算”。与图灵从自上而下的角度建模符号推理计算过程不同，我们采用物理学的科学范式，并通过形式化在任何物理基质中最终可以测量到的内容，自下而上地对物理计算系统进行建模。这导致了对计算的理解，其将过程进行结构化，而经典的计算系统模型则描述了结构的处理。
作者：Herbert Jaeger, Beatriz Noheda, Wilfred G. van der Wiel
论文ID：2307.15408
分类：Emerging Technologies
分类简称：cs.ET
提交时间：2023-08-21