منجم و ریاضی دان