The universal computer : the road from Leibniz to Turing Leibnizs dream Boole turns logic into algebra Frege : from breakthrough to despair Cantor : detour through infinity Hilbert to the rescue Godel upsets the applecart Turing conceives of the all purpose computer Making the first universal computers Beyond Leibnizs dream Epilogue Notes