Richard Dedekind (n.)