As the computer age dawned, he saw how the new technology could be harnessed to mathematics to solve problems in everything ...