Harvey Friedman may refer to: