Yamagishi Complexity Torus Lab | 山岸勇輝ラボ

論文259 の記録のページです。住所（YOI）は https://www.yamagishiyuuki.com/yoi/259 で、論文の本文は下の PDF にあります。ファイルは自分で用意した置き場所（https://yamagishi.sakuraweb.com）に置き、日付の証拠（.ots）を添えています。Zenodo でも公開しています（DOI：10.5281/zenodo.22169162）。

本文はサイトの記事でも読めます：【論文259】独立性を示す道は二つあり、一方は世界を狭め、他方は広げる

@misc{yamagishi2026yoi259,
  author = {Yamagishi, Yuuki},
  title = {There Are Two Roads to Independence: One Narrows the Universe and the Other Widens It},
  year = {2026},
  howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/259},
  doi = {10.5281/zenodo.22169162},
  note = {Preprint, edition 1}
}

日付の証拠（OpenTimestamps）

2026年10月1日に、2 本の PDF の指紋（SHA-256）をまとめて OpenTimestamps に送り、ビットコインのブロック 969397・969398・969440 に記録されました（2026年10月01日 14:20（日本時間））。この .ots があれば、PDF がその時点で存在したことを、このサイトや運営者を信用しなくても、誰でも確かめられます。

書誌

要旨

連続体仮説が独立であることは、一つの証明では言えない。本稿が問うのは、なぜ二つ要るのかである。答は、二つの技法の向きが正反対だからである。ゲーデルは既にあるものを選り分けて狭め、コーエンは無かったものを付け加えて広げた。新しい数学定理も新しい法則も主張しない。

第一に、狭める側を有限段で数える。構成可能階層の大きさは $0,1,2,4,16,\mathbf{65536}$ と進み、次の段は $2^{65536}$、$\mathbf{19729}$ 桁である（第2節）。

第二に、これが本稿の芯である。有限段では「選り分ける」と「全部取る」が一致する。別れるのは $\omega$ のちょうど一段先で、そこで $\aleph_0$ と $2^{\aleph_0}$ に分かれる（第3節）。

第三に、広げる側を実際に走らせた。稠密集合を $\mathbf{48}$ 個順に満たして条件を $\mathbf{24}$ 回延ばすと、旧宇宙の $24$ 本のどれとも一致しない実数が一本できる。一致した本数は $\mathbf{0}$ である（第4節）。

第四に、向きが正反対である。強制法は毎回一桁足しているだけで、何一つ取り除いていない。旧宇宙はそのまま新宇宙の中に入っている（第4節）。

第五に、片方だけでは独立と言えない。ゲーデル $1938$ 年とコーエン $1963$ 年、$\mathbf{25}$ 年を隔てた二つが揃って、初めて連続体仮説は独立になる（第5節）。

第六に、連続体の濃度は自由ではないが、決まってもいない。$\mathrm{cf}(2^{\aleph_0})>\aleph_0$ なので $\aleph_\omega$ は禁じられるが、$\aleph_1,\aleph_2,\aleph_{17},\aleph_{\omega+1}$ はどれも許される（第6節）。

Abstract

That the continuum hypothesis is independent cannot be said by one proof.This paper asks why two are needed、the answer is that the two techniques point in opposite directions.Goedel selected from what was already there and narrowed; Cohen added what had not been there and widened.No new mathematical theorem and no new law is claimed.

First, the narrowing side is counted at finite levels.The constructible hierarchy runs $0,1,2,4,16,\mathbf{65536}$, and the next level is $2^{65536}$, a number of $\mathbf{19729}$ digits(Section 2).

Second, this is the core of the paper.At finite levels, selecting and taking-everything agree.They part company exactly one step past $\omega$, where they separate into $\aleph_0$ and $2^{\aleph_0}$(Section 3).

Third, the widening side was actually run.Meeting $\mathbf{48}$ dense sets in turn and extending the condition $\mathbf{24}$ times produces a real that agrees with none of the $24$ reals of the old universe、the number that agree is $\mathbf{0}$(Section 4).

Fourth, the directions are opposite.Forcing only ever adds one bit and removes nothing whatever、the old universe sits inside the new one unchanged(Section 4).

Fifth, neither alone establishes independence.Goedel in $1938$ and Cohen in $1963$, separated by $\mathbf{25}$ years, are both required before the continuum hypothesis becomes independent(Section 5).

Sixth, the size of the continuum is not free, and it is not settled either.Since $\mathrm{cf}(2^{\aleph_0})>\aleph_0$, the value $\aleph_\omega$ is forbidden, while $\aleph_1$, $\aleph_2$, $\aleph_{17}$ and $\aleph_{\omega+1}$ are all permitted(Section 6).

版の記録

ここの PDF（倉庫の v1）は第1版（2026年8月）の原稿から作りました。ファイルは版ごとに分けて置いています（/yoi/259/v1/ の下）。中身を直すときは、このファイルを書き換えず、新しい版を足します（住所 https://www.yamagishiyuuki.com/yoi/259 はいつも最新の版を指します）。Zenodo の記録とは、Zenodo に上げる前の改訂のぶんだけ違うことがあります。

YOI の一覧へ