Известно, что математики - это устройства, трансформирующие кофе в теоремы. Много кофе в большое количество теорем. Чтобы их различать, им дают названия. Часто по имени авторов ("Теорема Ху", "Теорема Банаха-Алаоглу"); иногда, если авторы плодовитые, - просто по номеру (так и говорят: "Теорема 3.4 из [Tarjan '97]"). Иногда дают пафосные названия ("Основная Теорема Арифметики", "Центральная Предельная Теорема"). Если совсем нет идей, называют по содержанию ("Теорема о существовании и единственности решения дифференциального уравнения").
Читать полностью »