computativeness algorithmizability computability automatability digitizability recomputability cogitability civilizability normalizability conditionability