カテゴリー: Turing machine

命題1：「確率は限られたSpace内のTime問題に100%変換できる」 【補強の原典①】サヴィッチの定理（Savitch, 1970） 【補強の原典②】クック＝レビンの定理（Cook, 1971 / Levin, 19…
Read more

Logic, Time, Space, Randomness 数学は系の限界を記述するにとどまり、系の外側の可能性には触れない。チューリングは高尚な数学を単純な紙とテープの連なりの問題に引き摺り落とした。そしてそれは同じ…
Read more