hehe skald
ya kak-to sluchaino dokazal chto subset of halting problem razreshim - to est' miagko govoria vozmozhnost' predskazyvat' budushee
I MNE POVERILI!!! na dostatochno dolgo chtoby postavit' ocenku a potom my vse ochen' dolgo smejalis'