悪魔の帳簿は合う

系 6.5（「マクスウェルの悪魔」§6）・ △証明あり（閉包未完）

定義 4.1のシラードのエンジンを、メモリの消去まで含めて 1 サイクル完結させるとき、外部に取り出せる正味の仕事 $W_{\text{net}}$ は

W_{\text{net}} \le 0

を満たす。したがってこの装置は公理 2.1に反しない。

閉包の状態

△ 証明あり（閉包未完）

証明は Rikai にありますが、たどった先に主張のみの定理（または循環）があり、公理まではつながっていません。止めている前提:

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

シラードのエンジンの仕事✓定理 4.2・マクスウェルの悪魔
測定は原理的にはただでできる注意 5.1・マクスウェルの悪魔
ランダウアーの原理△定理 6.4・マクスウェルの悪魔
- ボルツマンのエントロピー定義 2.2・マクスウェルの悪魔
- リウヴィルの定理（位相空間体積の保存）※補題 6.2・マクスウェルの悪魔
- シラードのエンジンの仕事✓定理 4.2・マクスウェルの悪魔

証明で明示的に参照している定理は、まだありません。