Открыть главное меню

Леон Альберт Хенкин (также в источниках встречается вариант фамилии Генкин; англ. Leon Albert Henkin, 19 апреля 1921 — 1 ноября 2006) — американский математик, один из ведущих специалистов XX века в области математической логики.

Леон Альберт Хенкин
Leon Albert Henkin
Henkin leon berkeley 1990.jpg
Дата рождения 19 апреля 1921(1921-04-19)[1][2]
Место рождения
Дата смерти 1 ноября 2006(2006-11-01)[1][2] (85 лет)
Место смерти
Страна
Научная сфера математика, логика
Место работы Калифорнийский университет в Беркли
Альма-матер Колумбийский университет, Принстонский университет
Учёная степень доктор философии (PhD) по математике[3]
Научный руководитель Алонзо Чёрч
Награды и премии
Commons-logo.svg Медиафайлы на Викискладе

БиографияПравить

Родился в 1921 году в Бруклине в еврейской семье эмигрантов из Гомеля (Российская империя). Так как в это время газета «The New York Times» опубликовала серию статей о теории относительности Альберта Эйнштейна, то отец, веря в большое будущее сына, дал ему второе имя «Альберт». Леон Хенкин окончил Колумбийский колледж при Колумбийском университете, в 1941 году получив степень бакалавра, а в 1942 — магистра. Во время Второй мировой войны участвовал в Манхэттенском проекте.

После войны учился в Принстонском университете, где под руководством Алонзо Чёрча в 1947 году получил степень Ph.D. После этого он ещё два года пробыл аспирантом в Принстоне, в 1949 году переехал на запад и стал работать на математическом факультете университета Южной Калифорнии, а с 1953 года стал профессором математики в Калифорнийском университете в Беркли. В Беркли его приглашали и ранее, но предыдущее приглашение он отклонил, так как тогда поступление на работу в университет требовало принесение клятвы верности, которая в 1953 году была признана неконституционной. В 1958 году он стал полным профессором Калифорнийского университета в Беркли.

В 1959—1960 годах был первым главой созданной в Беркли междисциплинарной Группы по логике и методологии науки (Group in Logic and the Methodology of Science). В 1960-х годах он обратил внимание на то, что многие девушки и представители различных национальных меньшинств даже будучи талантливыми в области математики не выбирают впоследствии в колледжах карьеру, связанную с математикой, и его деятельность привела к созданию в 1964 году в Беркли Специального комитета по образованию (Special Scholarships Committee), состоящего из нобелевских лауреатов и чиновников высокого ранга от образования. Комитет изучил проблему и разработал специальную программу поддержки талантливых студентов, которая два года спустя послужила моделью для аналогичной программы федерального уровня, а также впоследствии для сотен аналогичных университетских программ по всем Соединённым Штатам. Хенкин возглавлял Специальный комитет по образованию в течение сорока лет.

В 1970-х годах Леон Хенкин и его бывший студент Ури Трейсмэн обратили внимание, что многие успешные школьники не проявляют успехов в колледже из-за плохой приспособленности к новым условиям и неуверенности в том, что требуется для успеха в науке вообще и в математике в частности. В 1974 году они открыли Программу профессионального развития (Professional Development Program), помогавшую справиться с этим проблемами студентам, занимающимся математикой и смежными областями. Программа оказалась успешной, и у неё стали появляться многочисленные клоны, которые в 1992 году были объединены в Коалицию за отличия и многообразие в математике, науке и инженерии (Coalition for Excellence and Diversity in Mathematics, Science and Engineering), получившую в 1998 году награду от президента Билла Клинтона.

В 1983 году Хенкин сыграл центральную роль в развитии Bay Area Mathematics Project, нацеленного на улучшение преподавания математики в школах. В 1989 году Хенкин и Трейсмэн запустили программу летних математических школ. Программа действовала десять лет и была закрыта из-за отсутствия финансирования. Также в 1989 году он принял участие вместе с другими учёными в работе комиссии по изучению математической грамотности в США, которая привела к выработке рекомендаций по изменениям в преподавании математики.

Научные достиженияПравить

В 1947 году Леон Хенкин защитил докторскую диссертацию «Полнота формальных систем», в которой предложил абсолютно новое доказательство теоремы Гёделя о полноте логики первого порядка. Введённые в этом доказательстве «константы Хенкина» стали одним из базовых инструментов новой ветви математической логики — теории моделей. Помимо логики Хенкин также интересовался и алгеброй, и в 1971 году опубликовал в соавторстве с Дональдом Монком и Альфредом Тарским большую работу «Цилиндрические алгебры».

НаградыПравить

  • Премия имени Шовене (1964)
  • Премия имени Лестера Форда-старшего (1972)
  • Gung and Hu Award for Distinguished Service to Mathematics (1991)

ПримечанияПравить

СсылкиПравить