业界普遍认可它现在图灵完备了。

图灵完备是什么

图灵完备 = 这门语言能表达“一切可计算的函数”。

一个直观的说法:只要一种语言具备条件判断 + 循环 / 递归(或者能模拟出这两样),理论上它能算出任何计算机能算的问题,就是图灵完备。

  • 图灵完备:Python、Java、C、SQL(现代版)、Excel 新版 LAMBDA……
  • 不图灵完备:正则表达式、HTML、CSS、SQL 的早期子集……

凭什么算图灵完备

图灵完备只需要三样东西:条件分支 + 递归 + 基本运算。Excel 公式现在全都有:

需要的能力 Excel 里的对应物
条件分支 IF / IFS / SWITCH
递归 LAMBDA 支持自身调用(通过名称管理器)
基本运算 算术、比较、逻辑、文本、数组函数

而 LAMBDA 本质上就是 λ 演算(Lambda Calculus)——这个名字不是随便起的,λ 演算本身就是一个被证明图灵完备的计算模型。你有了 LAMBDA 加 IF 加递归,就等价于有了 λ 演算,理论上一切可计算的函数都能用公式写出来。

举个“证明思路”给你(不用看懂,感受一下)

数学家用“丘奇编码”证明了这件事:只用函数,就能表示数字、布尔值、条件判断——

TRUE  = LAMBDA(x, LAMBDA(y, x))
FALSE = LAMBDA(x, LAMBDA(y, y))

意思就是“真假都能用函数造出来”。只要数字、真假、分支都能用公式表达,再配上递归,图灵机能算的,公式都能算。社区里甚至有人用纯 Excel 公式跑过康威生命游戏、实现了斐波那契递归,就是这个道理的现实演示。

但要泼一盆冷水:理论上完备 ≠ 实际无限制

图灵完备是理论天花板,Excel 落地时有三道现实墙:

  1. 单元格上限:最多 1,048,576 行 × 16,384 列,数据总量有天花板
  2. 递归深度/迭代限制:Excel 的迭代计算默认关闭,开启后也有最大次数限制,递归太深会算不动
  3. 性能:一个复杂的 LAMBDA 递归,可能比 Python 慢几个数量级

但这些限制不影响“图灵完备”的结论——因为所有真实编程语言都有资源限制(Python 也有内存上限、递归深度限制),图灵完备讨论的是“能不能算”,不是“算得多快、多大”。

结论

Excel 公式现在理论上“什么都能算”,只是现实里受性能和规模限制。

对会计人的实际意义是:别再把“这功能 Excel 做不到”当借口——做不到,只是公式写复杂了、算慢了,不是能力边界。遇到复杂计算,先想“能不能用 LAMBDA 拆成可复用函数”,实在性能扛不住,才轮到 Power Query / Python 上场。