Lo.logic
決定可能性の非構成的証明?
私が計算可能性を教えるとき、私は通常、次の例を使用してポイントを説明します。十行詩のどこかに$ n $連続した$ 1 $ sがある場合、$ f(n)= 1 $とします。
1