matematik tarihi keşif