疲れた。 [雑]

今の今まで、かの有名な「不完全性定理」を証明したゲーデルの論文「プリンキピア・マテマティカ、およびそれに関連する体系の、形式的に決定不能ないくつかの命題について」の第1節を訳しとった。

なーんでそんなことを、と言うと、例のオンライン読書会で読もうや、という無謀なことになり、んで、その英訳がネット上に公開されてることでもあり、『ゲーデルの世界』とか買ってもらうよりは、おれが訳しちゃお！と思ったからです。

つか、ちゃんと読みきれるんだろうか？　それ以前に、おれはちゃんと数理論理学の諸々を覚えており、かつ説明とか出来るんだろうか？と、様々な不安要因が胸中に去来すれど、そこは何とか押し切っちゃおう、と思うとります。