停止問題
を停止問題の集合という。機械 を自分自身の番号 を入力として走らせたとき、標準出力で停止するような の集合である。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 2 件
- 契約の検査の限界✓命題 8.2・契約による設計
- 経路の爆発と実行可能性✓命題 3.7・テストの理論
を停止問題の集合という。機械 を自分自身の番号 を入力として走らせたとき、標準出力で停止するような の集合である。
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。