チャイティンが実装した停止確率Ωに関するコードの覚書

何の話かと言うと 数学の限界[復刻改装版] (00)作者:グレゴリー・J・チャイティンエスアイビー・アクセスAmazon上記の書籍では、チャイティンの定数 Ω の説明とそれに関連した Lisp の独自実装コードが紹介されていますが、講義録という性質上、説明がやや言葉足らずで、コードの中身を読み込んで、はじめて「なるほど」と…