Engines of Logic: Mathematicians and the Origin of the Computer