Хенкин Леон (Leon Henkin).

Родившиеся в январе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в феврале
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29            

Родившиеся в марте
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в апреле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в мае
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в июне
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
 


Обмен детскими садами

 

Хенкин Леон.

 ›

Леон Альберт Хенкин
Leon Albert Henkin
Дата рождения:

19 апреля 1921

Место рождения:

Бруклин

Дата смерти:

1 ноября 2006 (85 лет)

Место смерти:

Окленд

Страна:

 США

Научная сфера:

математика, логика

Место работы:

Калифорнийский университет в Беркли

Учёная степень:

доктор философии (PhD) по математике

Альма-матер:

Колумбийский университет, Принстонский университет

Научный руководитель:

Алонзо Чёрч

Леон Альберт Хенкин

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

Содержание
  • Биография
  • Научные достижения
  • Награды
  • Примечания
  • Ссылки
Биография

Родился в 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)
Примечания
  1. 1 2 3 Немецкая национальная библиотека, Берлинская государственная библиотека, Баварская государственная библиотека, Австрийская национальная библиотека Record #174096046 Проверено 26 апреля 2014.
  2. The Completeness of Formal Systems, 1947

Доп. информация

 

 








Родившиеся в июле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в августе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в сентябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в октябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в ноябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в декабре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

© 2015 famous-birthdays.ru
При использовании материалов сайта прямая, активная ссылка на источник обязательна!
Дата последнего обновления каталога именинников: 2019-10-20