Machines and Numbers