# 递归电影公式系统：从 W = F(C(W)) 到可操作判据

本文为研究档案公开版，保留来源版本的论述与限制。公开时间：2026-09-08；不表示已完成同行评审。 本文属于公开研究资料（历史笔记、研究稿或来源记录）：已完成格式、来源限制与重复项筛查，尚未完成逐篇独立事实复核；原文中的解释、候选判断和未确认内容均按其原有限制阅读。

来源版本日期：2026-07-06

证据边界：本文为 T3 公式澄清页；用于把 W = F(C(W)) 展开为电影本位的可解释公式系统。不把公式当数学证明，只作为严格判别语法。

# 递归电影公式系统：从 W = F(C(W)) 到可操作判据

## 先给最清晰版本

原公式：

```text
W = F(C(W))
```

建议在论文中改写为：

```text
W = F(C0 + ρ(W))
```

这是更清晰的版本。

含义：

- `W`：这部电影作品。
- `F`：电影把条件加工成作品的形式函数，包括摄影、表演、剪辑、声音、叙事、放映、观看组织。
- `C0`：作品开始之前已有的普通条件，例如预算、剧组、摄影机、演员、类型规则、现实事件、观众预期。
- `ρ(W)`：作品自身存在后产生的回流条件，也就是“这部电影正在被拍、被禁止、被观看、被误读、被重看”这些事实重新进入作品结构。

所以：

```text
W = F(C0 + ρ(W))
```

可以直译为：

> 一部递归电影，是电影把原本外部的普通条件 C0，加上由自身存在产生的回流条件 ρ(W)，一起加工成自己的形式。

## 三种电影的区别

### 1. 普通电影

```text
W = F(C0)
```

条件生成作品，但作品把条件排出画面。

例子：一部黑帮片需要预算、演员、摄影机、剧本、类型规则，但观众通常只看到故事，不需要看到这些条件。

### 2. 元电影 / 自反电影

```text
W = F(C0) + M(C0)
```

`M(C0)` 是对条件的再现、谈论、展示。

这类电影会展示片场、导演、摄影机、演员排练，但这些条件多半只是题材。

关键是：条件被看见了，但没有反过来生成整部作品。

### 3. 递归电影

```text
W = F(C0 + ρ(W))
```

条件不只是被展示，而是回流为发动机。

如果删掉 `ρ(W)`，作品不再是它自己。

## 为什么 C(W) 容易让人不清楚

`C(W)` 的问题是太压缩。

它容易让读者问：

```text
C 为什么是 W 的函数？
条件不是在作品之前就存在吗？
```

更清楚的解释是：

```text
C(W) = C0 + ρ(W)
```

也就是说，递归电影的条件有两层：

1. `C0`：作品之前已经存在的条件。
2. `ρ(W)`：作品出现之后，才被激活、暴露或改写的条件。

例如《这不是一部电影》：

```text
C0 = 禁拍令 + 公寓 + 摄像设备 + 帕纳西处境
ρ(W) = “他仍然在拍这件事”让禁令变成可见、可检验、可被羞辱的条件
W = F(C0 + ρ(W))
```

禁令本来只是法律文件。只有这部作品存在后，禁令才变成“被电影展示的禁令”。这就是 `C(W)`。

## 电影本位的完整展开

电影条件可以展开为七个端口：

```text
Cfilm(W) = D(W) + A(W) + K(W) + Re(W) + G(W) + P(W) + S(W)
```

分别是：

| 符号 | 端口 | 问题 |
|---|---|---|
| `D(W)` | 装置条件 | 用什么拍？摄影机、胶片/数字、剪辑、声音、银幕如何回流？ |
| `A(W)` | 作者条件 | 谁在拍？导演、编剧、剧组、创作困境如何回流？ |
| `K(W)` | 制片/资本条件 | 凭什么拍？预算、委托、审查、发行如何回流？ |
| `Re(W)` | 现实条件 | 拍什么世界？真实事件、法庭、历史、政治条件如何回流？ |
| `G(W)` | 类型条件 | 按什么规则拍？类型语法如何反噬自身？ |
| `P(W)` | 表演条件 | 谁被拍？演员身体、角色、明星形象如何回流？ |
| `S(W)` | 观看条件 | 给谁看？观众误判、重看、共谋如何回流？ |

于是完整公式是：

```text
W = F(D(W), A(W), K(W), Re(W), G(W), P(W), S(W))
```

但论文正文不一定每次都写这么长。可以这样处理：

```text
短公式：W = F(C0 + ρ(W))
完整公式：W = F(D(W), A(W), K(W), Re(W), G(W), P(W), S(W))
```

## 三轴版本

如果想更直观，可以用三轴公式：

```text
W = F(Gen(W), Vis(W), View(W))
```

其中：

- `Gen(W)`：生成条件。谁拍、怎么拍、为什么能拍、什么限制让它如此生成。
- `Vis(W)`：显现条件。摄影机、剪辑、声音、字幕、银幕怎样让某物可见可听。
- `View(W)`：观看条件。观众如何误判、重看、共谋、承担解释边界。

这对应三轴九格：

```text
A 轴 = Gen(W)
B 轴 = Vis(W)
C 轴 = View(W)
```

所以本体递归电影可以写成：

```text
W = F(Gen(W), Vis(W), View(W))
且 Gen / Vis / View 三者全部回流
```

## 动态版本：递归不是一次显形，而是一次回流

递归可以写成一个过程：

```text
C1 = C0 + ρ(W0)
W1 = F(C1)
```

含义：

1. 先有普通条件 `C0`。
2. 电影初步成形为 `W0`。
3. `W0` 的存在反过来激活新条件 `ρ(W0)`。
4. 新条件和旧条件一起生成真正的递归作品 `W1`。

如果这个过程继续发生：

```text
C(n+1) = C0 + ρ(Wn)
W(n+1) = F(C(n+1))
```

这就是递归迭代。

帕纳西序列就是电影史中的迭代：上一部禁令电影成为下一部禁令电影的生产条件。

## 三个测试也可以公式化

### 删除测试

```text
如果 W - ρ(W) ≈ W，则不是强递归。
如果 W - ρ(W) ≠ W，甚至 W - ρ(W) 崩塌，则是递归候选。
```

通俗说：

> 把回流条件删掉，电影还成立吗？

### 因果测试

```text
ρ(W) → 叙事因果 / 形式组织 / 观看位置
```

通俗说：

> 回流条件是否真的驱动电影，而不是只作为装饰出现？

### 重看测试

```text
View2(W) ≠ View1(W)
```

通俗说：

> 知道机制之后，第二次观看是否改变了第一次观看的性质？

注意：普通反转只是改变信息，递归反写改变观看位置。

## 四个例子

### 《八部半》

```text
C0 = 费里尼的创作危机 + 片场 + 制片压力
ρ(W) = “拍不出电影”这件事被拍成电影结构
W = F(C0 + ρ(W))
```

它不是关于创作危机的电影，而是创作危机本身生成了电影形式。

### 《摄影机不要停！》

```text
C0 = 低成本直播委托 + 一镜到底限制 + 剧组事故
ρ(W) = 后半段把前半段的失败重写为生产证据
W = F(C0 + ρ(W))
```

前半段的“烂”，在后半段之后变成劳动的证据。

### 《这不是一部电影》

```text
C0 = 禁拍令 + 公寓 + 摄像设备 + 作者处境
ρ(W) = 作品的存在让禁令成为作品内容
W = F(C0 + ρ(W))
```

没有这部作品，禁令只是禁令。作品出现后，禁令才变成被电影结构激活的条件。

### 《搏击俱乐部》

```text
C0 = 黑色电影类型 + 消费社会题材 + 明星身体 + 胶片装置
ρ(W) = Tyler 作为影像插入物 + 观众对 Tyler 的迷恋被反写
W = F(P(W), D(W), S(W))
```

它不是简单的精神分裂故事，而是表演条件、装置条件、观看条件互相改写。

## 最推荐放进论文的版本

正文中用这个：

```text
W = F(C0 + ρ(W))
```

然后解释：

> `C0` 是电影原本的生产条件；`ρ(W)` 是作品自身存在后反向激活的条件。递归电影之所以不同于元电影，不是因为它展示了条件，而是因为它把 `ρ(W)` 重新输入形式生成过程。

脚注或方法章中再写：

```text
C(W) = C0 + ρ(W)
Cfilm(W) = D(W)+A(W)+K(W)+Re(W)+G(W)+P(W)+S(W)
W = F(Cfilm(W))
```

## 最终压缩

普通电影：

```text
条件生产电影。
W = F(C0)
```

元电影：

```text
电影展示条件。
W = F(C0) + M(C0)
```

递归电影：

```text
电影把自身存在造成的条件重新输入电影。
W = F(C0 + ρ(W))
```

最短解释：

> 递归电影不是电影看见自己，而是电影把“自己正在成为电影”这件事变成电影的发动机。

## 2026-07-06 公理化版本补充

用户新提供的《递归指称机器：理论体系完整陈述》进一步确认了本页公式系统的方向，并补充了一个关键区分：

```text
m(C0) = 条件的再现
ρ(W) = 条件的回流
```

这意味着正文中应把三类作品写成：

```text
普通电影：W = F(C0)
元电影：W = F(C0 + m(C0))
递归电影：W = F(C0 + ρ(W))
```

其中 `m(C0)` 和 `ρ(W)` 的本质差异在自变量：元电影再现的是先在条件，递归电影激活的是由作品自身存在反向改变的条件。详见 [递归指称机器公理化版本审读-2026-07-06](/research/hs-1b9f2a101f61d41b)。