Феодор Киренский (465–398 гг. до н. э.) — древнегреческий математик, доказавший, что числа √3, √5…√l7 являются иррациональными (иррациональность √2 была, по всей видимости, доказана раньше). Существование лишь пяти правильных многогранников (грани которых являются правильными многоугольниками) установил его ученик Теэтет. Не совсем понятно, почему Саган связывает имя Феодора с додекаэдром. — Пер.