The Mechanization of Natural Philosophy