What is the "correct" pronunciation of Robin Hartshorne's last name? Mostly I hear it pronounced "Har-shorn" although I've also heard "Harts-orn" and maybe a few other variations.
Post Closed as "Not suitable for this site" by Ricardo Andrade, Stefan Kohl♦, Chris Godsil, abx, Felipe Voloch