Next year we celebrate the centennial of Alan Turing's birth. This will be a talk for a general audience about some of the ways that computers shape mathematical research. I will give examples of "computer proofs" that make computation part of the proof and "formal proofs" that use computers to check the logical reasoning behind proofs. I will also discuss the issue of the reliability of computers for mathematical research.