Моцкин, Теодор

Отец Моцкина, Лео Моцкин, украинский еврей, отправился в Берлин в возрасте тринадцати лет изучать математику. Он учился в университете и был принят в аспирантуру Леопольдом Кронекером, но оставил эту область, чтобы работать в сионистском движении, не закончив диссертацию^[2].

Моцкин вырос в Берлине и также рано начал изучать математику, поступив в университет в 15 лет^[2]. В 1934 году он получил степень доктора философии в Базельском университете под руководством Александра Островского^[3] за диссертацию по линейному программированию^[2] (Beiträge zur Theorie der linearen Ungleichungen, «Вклад в теорию линейных неравенств», 1936^[4]).

В 1935 году Моцкин был назначен в Еврейский университет в Иерусалиме в Иерусалиме, внеся вклад в развитие математической терминологии на иврите^[4]. В 1936 году он был приглашённым докладчиком на Международном конгрессе математиков в Осло^[5]. Во время Второй мировой войны он работал криптографом на британское правительство^[2].

Моцкин женился на Наоми Оренштейн в Иерусалиме. Там у них родилось трое сыновей^[2].

В 1948 году Моцкин переехал в США. После двух лет в Гарварде и Бостонском колледже он был назначен в Калифорнийский университет в Лос-Анджелесе в 1950 году, став профессором в 1960 году^[4]. Он работал там до выхода на пенсию^[2].

Диссертация Моцкина содержала важный вклад в зарождающуюся теорию линейного программирования (ЛП), но её значение было признано только после появления английского перевода в 1951 году. Он продолжал играть важную роль в развитии ЛП во время работы в Калифорнийском университете в Лос-Анджелесе^[4]. Кроме того, Моцкин публиковал работы по различным проблемам алгебры, теории графов, теории приближений, комбинаторики, численного анализа, алгебраической геометрии и теории чисел^[4].

В его честь названы теорема Моцкина о транспозиции, числа Моцкина, теорема Моцкина — Таусски и метод Фурье — Моцкина. Он первым разработал алгоритм «двойного описания» в полиэдральной комбинаторике и вычислительной геометрии^[6]. Он первым доказал существование областей главных идеалов, которые не являются евклидовыми кольцами, его первым примером было ${\textstyle \mathbb {Z} \left[{\frac {1+{\sqrt {-19}}}{2}}\right]}$^[7].

Он нашёл первый явный пример неотрицательного многочлена, который не является суммой квадратов, известного как многочлен Моцкина ${\displaystyle X^{4}Y^{2}+X^{2}Y^{4}-3X^{2}Y^{2}+1}$, и показал, что он положителен, используя неравенство о среднем арифметическом и геометрическом^[8].

Ему приписывают цитату «полный беспорядок невозможен», описывающую теорию Рамсея.