computerizability formalizability recomputability normalizability regularizability actualizability calculableness automatability precomputability randomizability