ｳｷｭｰがｳｷｭｳｷｭ言いながら戦っていたので思わず吹いた。

Th. 実数の全体を とし、あるチューリング完全な言語で書かれたプログラムの全体を とおくとき、連続体仮説を認めれば （cf. id:succeed:20061121#1164079716）。Prf. 背理法を使う。無限に長い文字列を出力する（つまり、何かを出力し続けて停止しない）よ…

起床。 → 食事する。 → ネットを彷徨う。 → RGBエネルギー変換！ → ネットを彷徨う。 → 食事する。 → ネットを彷徨う。 → 正気に返る。 → やべぇここ数日何もしてないよ。 → そろそろ実装を始めないと本気でまずい！ → でもやる気出ないなぁ。 → しかしまず…

どこだか忘れてしまったが、どこかで見たパラドックスというか何というか。 「いかなる入力に対しても停止する」ことが証明できるようなチューリングマシンの全体を H とする。（論理体系としては、たとえば一階述語論理を使うことにしよう。）まず、H は帰…