Title: Mathematics by calculating machine