カテゴリー: Martin-Löf Randomness

マルティン＝レーフの再帰定理 (Martin-Löf’s Recursion Theorem) は、計算理論（計算可能関数論）における極めて強力な「自己言及の保証」です。「自己言及命題が真であること」を、数学…
Read more