Mathematical Machines