---
name: reference-computability-layers-taxonomy-2026-08-02
description: 万能チューリング機械の外へ触れる 4 経路 (A/B/C/D) と 5 層 (0-4) 分類 — chat Claude 提示 (2026-08-02) + Rei stack 内での operational + formal 対応表
metadata: 
  node_type: memory
  type: reference
  originSessionId: 32fa55da-b433-41ad-a60b-633176a9ef3a
  modified: 2026-08-02T03:03:40.388Z
---

# 層 (Computability Layers) Taxonomy — 2026-08-02 chat Claude 提示

藤本さん経由で chat Claude が提示した 「万能チューリング機械の外に触れる」 経路分類。
Rei stack 内で 層3 (Rei-Solver v0.3 limit engine) + 層4 (ConstructorTheoryBasic.lean)
の 2 layer が同 arc で implement された contextual 基盤。

## 5 層分類 (chat Claude 版)

| 層 | 内容 | 実現可能性 (個人 level, 金銭最小) | Rei 対応 |
|---|---|---|---|
| **層 0** | TTL logic + 万能 TM (自作 CPU / Tiny Tapeout) | 可能 (数万円) | 既存 (Rei-AIOS 全 Lean 4 stack) |
| **層 1** | 超伝導量子ビット | 冷凍機 必要、 IBM Quantum Open Plan で設計〜実機 access は可 | Paper 145 Phase Z IBM Heron r2 で touch |
| **層 2** | Neuromorphic / memristor / photonic IC | 部分可能 (BrainChip Akida 等)、 論文性能は無理 | 未着手 |
| **層 3** | **万能 TM の外** (Gold-Putnam + Karp-Lipton + QRNG + 無限) | 4 経路のうち 3 経路可能 | **Rei-Solver v0.3 limit engine (2026-08-02)** |
| **層 4** | Constructor Theory (Deutsch-Marletto) | 論文 read + Lean 4 formalize | **ConstructorTheoryBasic.lean (2026-08-02)** |

## 層 3 の 4 経路分解

万能 TM の外 = (A) 計算不能系列生成 + (B) 一様性を捨てる + (C) 停止判定を捨てる +
(D) 無限を要求する。 閉じているのは **(D) のみ**。

| 経路 | 内容 | 典拠 | Rei 実装 status |
|---|---|---|---|
| **A** | 計算不能系列を物理生成 (QRNG) | Calude-Abbott-Svozil、 JPMorgan Nature 2025 | 未実装 (物理装置依存、 別 engine 候補) |
| **B** | 一様性を捨てる (P/poly) | Karp-Lipton 1980 | ✅ `limit.advice_query` op |
| **C** | 停止判定を捨てる (試行錯誤述語) | Gold 1965 / Putnam 1965 (JSL 30:28-48 / 49-57) | ✅ `limit.compute_limit` + `limit.decide_halting` op |
| **D** | 無限を要求する (MH 時空 / 無限精度 / 加速 TM) | Bekenstein 限界 / 質量インフレーション | **物理的に閉じている** (実装不可) |

## 「超越装置は作れる、超越を確認する装置は作れない」 (原理的限界)

3 経路 (B/C/D) すべてに同じ形で現れる asymmetry。 chat Claude の core insight:

> 超越する装置は作れる。 作れないのは、 それが超越したと確認する装置のほう。

Rei stack での具体化:
- `compute_limit` は正しい値に収束する、 が収束したことを内部から検出できない
- `decide_halting` の 「未停止 → 0」 は 「以降 1 になり得るが検出不可」
- `advice_query` の advice は独立検証可能なら witness、 検証手段なければ heuristic
- 全 3 op で assurance が `proof` に昇格することは **原理的に不可能** (Post 1944
  Delta_2 分類の物理的帰結)

## 層 3 と 層 4 の対比 (2026-08-02 Rei stack)

| 側面 | 層 3 (Rei-Solver limit engine) | 層 4 (ConstructorTheoryBasic.lean) |
|---|---|---|
| 実装 level | Python (operational demonstration) | Lean 4 (formal framework, axiom-free) |
| 出典 prior art | Gold 1965 + Putnam 1965 + Karp-Lipton 1980 | Deutsch 2013 + Marletto 2015-2024 + Deutsch-Marletto 2025 |
| Rei 独自貢献 | Rei-Solver assurance taxonomy 内位置付け | Type-level encoding 選択 |
| axiom profile | assurance = heuristic/witness (proof 不可) | 14 theorem 13 zero-axiom + 1 [Classical.choice] |
| Honest scope | 60 年前教科書事項 | 14 年前 well-known framework |
| controllable claim | 「教科書実装 + Rei 統合」 | 「Rei stack 内 first Lean 4 attempt」 (audit 範囲内) |
| controllable claim (禁) | 「世界初 limit machine」 | 「世界初 constructor theory formalization」 |

## 層 3/4 拡張候補 (別 STEP、 本 arc 範囲外)

**層 3 (Rei-Solver v0.4+)**:
- 経路 A (QRNG) 物理装置 engine (量子光学 / 認証済 randomness beacon 経由)
- Rei-Solver `verify_with_mathlib` の import prefix whitelist に `CollatzRei.*`
  追加 (Rei 内部 file を Rei-Solver から verify 可能に)

**層 4 (別 Lean 4 file 候補)**:
- (a) Superinformation medium (Deutsch-Marletto 2015 "of information")
- (b) Constructor theory of time (Deutsch-Marletto 2025, arXiv:2505.08692v3)
  core statements encoding
- (c) Constructor theory of thermodynamics (Marletto 2016)
- (d) Constructor theory of life (Marletto 2015)
- (e) Quantum vs classical basis change task (Deutsch 2013 §V)

## 関連 memory

- [[project-session-2026-08-02-full-arc]] 本 arc origin
- [[feedback-world-uniqueness-claim-controllable]] 全 arc で遵守
- [[feedback-chat-claude-hallucination-warning]] chat Claude 「層」 分類の技術的
  claim (Gold/Putnam/Karp-Lipton/Deutsch-Marletto) を WebSearch で独立 verify 後
  実装
- [[feedback-zero-sorry-floor-not-ceiling]] 層 4 で 13 zero-axiom + 1
  [Classical.choice] のみ
- [[project-25-load-bearing-inventions]] load-bearing core との整合

## 使い方 (future session hook)

- 「量子計算の可能性」 「計算可能性理論」 「AI が到達できない領域」 「constructor
  theory 拡張」 「limit machine 実装」 「P/poly 実例」 系の話題では本 taxonomy を
  最初に参照
- 「〇〇は原理的に不可能か?」 の問いは、まず 「D (無限要求) に落ちるか」 を判定
- chat Claude が新しい概念で層を提案してきた場合、 本 taxonomy に位置付けてから
  novelty check