4 ms·

Most of the names you mention belong to the next (18th) century. Gauss worked out some sort of probability distribution too.

• deleted 6mo ago
  [deleted]