Леон Хенкин , американский логик (ум. 2006 г.)

Леон Альберт Хенкин (19 апреля 1921, Бруклин, Нью-Йорк — 1 ноября 2006, Окленд, Калифорния) — один из самых выдающихся логиков и математиков 20 века. Его работы сыграли большую роль в развитии логики, особенно теории типов. Он был активным ученым в Калифорнийском университете в Беркли, где внес большой вклад в качестве исследователя, преподавателя, а также на административных должностях. В этом университете он руководил вместе с Альфредом Тарским группой логики и методологии науки, из которой вышли многие важные логики и философы. У него было сильное чувство социальной ответственности, и он был страстным защитником своих пацифистских и прогрессивных идей. Он принимал участие во многих социальных проектах, направленных на преподавание математики, а также в проектах, направленных на поддержку женщин и групп меньшинств в стремлении сделать карьеру в математике и смежных областях. Любитель танцев и литературы, он ценил жизнь во всех ее гранях: искусство, культуру, науку и, прежде всего, теплоту человеческих отношений. Его ученики помнят его за его большую доброту, а также за его академические и педагогические успехи. Хенкин в основном известен своими доказательствами полноты различных формальных систем, таких как теория типов и логика первого порядка (полнота последней, в его слабой версии было доказано Куртом Гёделем в 1929 г.). Чтобы доказать полноту теории типов, Хенкин вводит новую семантику, основанную на определенных структурах, называемых общими моделями (также известными как модели Хенкина). Предложенное им изменение семантики позволяет обеспечить полное дедуктивное исчисление для теории типов и логики второго порядка, среди других логик. Методы Хенкина помогли доказать различные результаты теории моделей как в классической, так и в неклассической логике. Помимо логики, другой отраслью, на которой сосредоточились его исследования, была алгебра; он специализировался на цилиндрических алгебрах, над которыми работал вместе с А. Тарским и Д. Монком. Что касается философии математики, хотя работ, в которых он явно подходит к ней, немного, можно считать, что он занимает номиналистическую позицию.