用哥德尔 β 函数在皮亚诺算术里编码图灵机纸带
jessi_cata · x · 2026-10-18
讨论如何在皮亚诺算术(PA)中模拟图灵机：把纸带左右两侧的内容分别编码为数字（按纸带状态数作为进制，如十进制），再用哥德尔 β 函数（依赖中国剩余定理）实现列表编码，从而在算术系统内表示图灵机的完整状态。
所属事件:仅靠加法与乘法即可在算术中模拟图灵机(4 条相关)→
「研究」频道最新
- 陶哲轩称「进入战时状态」：OpenAI 宣称求解纳维-斯托克斯问题震动数学界 — AlexTensor · 2026-10-18
- 东京大学研究：听到录音里的自己为何别扭，或因声音恐怖谷效应 — ssh4net · 2026-10-18
- MIT SANDO 无人机规划器:12 次真实飞行全部避开移动障碍 — Olivier__OG · 2026-10-18
- 受可解释性论文启发，无反传预训练 reportedly 提速 2.3 倍 — CatAstro_Piyush · 2026-10-18
- 训练后模型能感知激活探针存在,并跨 GPU 零样本泛化 — Sauers_ · 2026-10-18
- 用纯加减乘除模拟图灵机:把纸带编码成一个自然数 — jessi_cata · 2026-10-18