Title: Some mathematics of the calculating machine