The idea proposed by an American Mathematician and philosopher included knowledge of what kind of properties?