ParentFull threadsorokod·Most of the names you mention belong to the next (18th) century.Gauss worked out some sort of probability distribution too.View on HN