computability computerizability recomputability precomputability calculableness calculatedness commutativeness calculability incomputability uncomputability