Цейльбергер, Дорон
Дорон Цейльбергер (ивр. דורון ציילברגר; род. 2 июля 1950, Хайфа, Израиль) — израильско-американский математик[1], известный своими работами по комбинаторике. Профессор математики (Board of Governors Professor и Distinguished Professor) Ратгерского университета[2].
Общие сведения
| Дорон Цейльбергер | |
|---|---|
| ивр. דורון ציילברגר | |
| Дата рождения | 2 июля 1950 (76 лет) |
| Место рождения | Хайфа, Израиль |
| Страна |
 Израиль |
| Научная сфера | математик |
| Место работы | Ратгерский университет |
| Образование | |
| Учёная степень | доктор философии (PhD) по математике |
| Учёное звание | профессор |
| Научный руководитель | en:Harry Dym |
| Награды и премии | |
Биография
В 1972 году получил степень бакалавра наук в Лондонском университете[1]. Получил докторскую степень Института Вейцмана в 1976 году[3].
После получения степени работал в ряде научных учреждений: был членом Института перспективных исследований в Принстоне (1977—1978 и осенью 1993 года), занимал академические должности в Технологическом институте Джорджии (1978—1979), Иллинойсском университете (1979—1980), Институте Вейцмана (1980—1982), Пенсильванском университете (1982—1983), Дрексельском университете (1983—1990) и Темпльском университете (1990—2001)[1].
В январе 1988 года получил гражданство США[1]. С 2001 года он является почётным профессором математики Ратгерского университета[4]. Живёт и работает в США.
Научная деятельность
Цейльбергер внёс важный вклад в комбинаторику, гипергеометрические тождества и q-серии. Совместно с Гербертом Уилфом он разработал теорию Уилфа — Цейльбергера (WZ-теорию) и метод «творческой телескопии», позволивший автоматически доказывать комбинаторные тождества[5][6]. В 1990 году он представил алгоритм Цейльбергера, предназначенный для автоматического доказательства тождеств с участием сумм гипергеометрических рядов[7]. Цейльбергер первым доказал гипотезу матрицы с переменным знаком[8].
В 2011 году вместе с Мануэлем Кауэрсом и Кристофом Кочаном доказал гипотезу q-TSPP[9].
Являясь одним из пионеров экспериментальной математики, Цейльбергер активно выступает за использование компьютеров для автоматизированных доказательств теорем[10][8]. Он известен тем, что записал свой компьютер в соавторы под псевдонимом «Шалош Б. Эхад» (в переводе с иврита — «Три Б Один», что отсылает к модели AT&T 3B1) и публикует материалы от его имени[11][12][13]. Таким образом математик подчёркивает значительную роль вычислительной техники в исследованиях и выступает против традиционного «человекоцентричного» подхода в науке[10][13]. Число Эрдёша равно 2.
Является сторонником ультрафинитизма.
Публикации
- Petkovšek M., Wilf H. S., Zeilberger D. A=B. — A. K. Peters, 1996.
- Zeilberger D. A holonomic systems approach to special functions identities // Journal of Computational and Applied Mathematics. — 1990.
- Zeilberger D. The method of creative telescoping // Journal of Symbolic Computation. — 1991.
- Wilf H. S., Zeilberger D. An algorithmic proof theory for hypergeometric (ordinary and «q») multisum/integral identities // Inventiones mathematicae. — 1992[5].
Награды
- 1998 — Премия Лероя Стила американского математического общества в номинации «За плодотворный вклад в исследования».
- 2004 — медаль Эйлера, награда в области комбинаторики за «быстрое и эффективное использование компьютеров и алгоритмов в математике»
- В 2010 году в честь 60-летия Цейльбергера была организована конференция израильских и американских математиков[14].
- В 2012 году избран фелло Американского математического общества[15].
- 2016 — премия Дэвида П. Роббинса от Американского математического общества[16].
Примечания
Ссылки
Дополнительно по теме
 | ||||
|---|---|---|---|---|
