Jot はまさにゲーデル数の具体的な実装のひとつ
しかも ゲーデル数→プログラム の解釈が全域関数なのが素晴らしい
つまり任意の typo が必ずプログラムとして実行可能であるということですね (一気に最悪になってきた)
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。