変わった証明があったので記してみます。別に重大なことではございません。また、この証明なるものは、よく知られているので、別段珍しいものではございません。 以下の文献の page を開くと、その該当箇所に 林晋 『数理論理学』、コンピュータ数学シリーズ…

和書 鈴木生郎、秋葉剛史、谷川卓、倉田剛 『現代形而上学 分析哲学が問う、人・因果・存在の謎』、ワードマップ・シリーズ、新曜社、2014年 高岡詠子 『チューリングの計算理論入門 チューリング・マシンからコンピュータへ』、ブルーバックス 1851, 講談社…