Towards a Fluid computer
Robert Cardona, Eva Miranda and Daniel Peralta-Salas
1991年,摩尔[20]提出了一个关于流体力学是否有能力执行计算的问题。 同样,在2016年,陶[25]询问机械系统,包括流体流动,是否可以模拟通用图灵机。 在这篇说明性文章中,我们回顾了第3号尺寸中“流体计算机”的构造,该构造结合了符号动力学中的技术与Etnyre和Ghrist揭示的稳定欧拉流动和接触几何之间的联系。 此外,我们认为渲染矢量场Beltrami的度量在Chern-Hamilton意义上不能至关重要[9]。 我们还在 [7] 中为 R^3 中的欧几里得度量绘制了完全不同的构造。 这些结果揭示了不可判定的流体粒子路径的存在。 我们以公开问题列表结束文章。
In 1991, Moore [20] raised a question about whether hydrodynamics is capable of performing computations. Similarly, in 2016, Tao [25] asked whether a mechanical system, including a fluid flow, can simulate a universal Turing machine. In this expository article, we review the construction in [8] of a "Fluid computer" in dimension 3 that combines techniques in symbolic dynamics with the connection between steady Euler flows and contact geometry unveiled by Etnyre and Ghrist. In addition, we argue ...
