Which individual is credited with the discovery of mathematical ideas such as: numbers being more useful than counting physical objects and that formulas could help establish patterns in nature