Remix.run Logo
sorokod 3 hours ago

Most of the names you mention belong to the next (18th) century.

Gauss worked out some sort of probability distribution too.