“The idea behind digital computers may be explained by saying that these machines are intended to carry out any operations which could be done by a human computer.”