Математик Джерри Гроссман однажды отправил в журнал письмо от имени принадлежащей его жене лошади по кличке Смарти. В результате у Смарти тоже появилось ЭТО. В чью честь ЭТО названо?