＜＜
＜
＞
＞＞
1/1
19/02/17 22:08
編集コメント
「関連項目」で、「チューリング」を「チューリングマシン」に変更しました。
14/08/23 15:12
編集コメント
チューリングマシンの停止問題
11/03/23 06:08
編集コメント
微修正
11/03/22 23:53
編集コメント
動画が削除されていたので別の動画に差し替え、実は歌詞の中に不完全性定理とヒルベルト計画に関するフレーズがあります。
11/01/25 21:58
編集コメント
コミュを追加
10/10/06 02:23
編集コメント
さらに微修正orz
10/10/06 02:17
編集コメント
微修正
10/10/06 02:14
編集コメント
説明を分かりやすくしてみた。
10/09/10 23:23
編集コメント
微修正
10/09/01 17:58
編集コメント
好きな命題のタグがあったので、とりあえず作ってみた。加筆修正お願いします。
＜＜
＜
＞
＞＞
1/1