Леон Хенкин - Leon Henkin

Хенкин в 1990 году

Леон Альберт Хенкин (19 апреля 1921 г., Бруклин, Нью-Йорк - 1 ноября 2006 г., Окленд, Калифорния )[1] был логик на Калифорнийский университет в Беркли. Он был известен прежде всего «конструкцией Хенкина», его версией доказательства семантической полноты стандартных систем логика первого порядка.

Ранние годы

Хенкин родился в Бруклин, Нью-Йорк в Русский еврей семья иммигрантов. Его отец выразил свои большие надежды на него, дав ему второе имя «Альберт»; в то время Газета "Нью-Йорк Таймс опубликовал серию статей о Альберт Эйнштейн Российская теория относительности. Он не использовал свое второе имя в своих математических публикациях. Его первая степень была по математике и философии от Колумбийский колледж в 1941 году. Позже работал в РЛС Сигнального корпуса (г.Белмар, Нью-Джерси ). Как участник Манхэттенский проект, он работал над диффузией изотопов в Нью-Йорке и Ок-Ридж, Теннесси.

Академическая карьера

Он был докторантом Церковь Алонсо в Университет Принстона, получив докторскую степень. в 1947 году. Профессор из Математика на Калифорнийский университет в Беркли, где занимал должность с 1953 года. Получил диплом 1964 года. Приз Шовене для экспозиции.[2] Он был соавтором Альфред Тарский, и союзник в продвижении логики.[3][4] Среди его докторантов Кэрол Карп и Филип Трейсман.

Хенкин был также общественным деятелем, который с 1960-х годов работал над расширением возможностей получения высшего образования для женщин и меньшинств. В 1964 году он возглавил создание Комитета по специальным стипендиям в Калифорнийском университете в Беркли, в результате чего в Беркли были созданы стипендии для особых возможностей и другие программы. Программа Беркли послужила моделью для федеральной программы Upward Bound Program, которая была основана несколько лет спустя, а также для многих информационных программ и программ специальных возможностей в других университетах США.[1][5][6]

Доказательство полноты

Результат Хенкина не был новым; это было впервые доказано Курт Гёдель в его докторской диссертации, завершенной в 1929 г. (см. Теорема Гёделя о полноте. Гёдель опубликовал версию доказательства в 1930 году.) Доказательство Хенкина 1949 года гораздо легче рассмотреть, чем доказательство Гёделя, и, таким образом, оно стало стандартным выбором доказательства полноты для представления во вводных курсах и текстах.

Доказательство не-конструктивный, т.е. это чистый доказательство существования. Хотя это гарантирует, что если предложение α следует (семантически) из набора предложений Σ, то там является доказательство α из Σ, оно не указывает на природу этого доказательства. Хенкин первоначально доказал полноту Церкви логика высшего порядка, а затем заметил, что те же методы доказательства можно применить к логике первого порядка.

Его доказательство для логики высшего порядка использует вариант стандартной семантики, в котором используются общие модели (модели в целом или семантика Хенкина; модели в семантике Хенкина не следует путать с моделями Хенкина, которые являются моделями в классической логике первого порядка. ): более высокие типы не нужно интерпретировать полным пространством функций; вместо этого может использоваться подмножество функционального пространства.

Полученные награды

  • 1964 - Начало Приз Шовене, Премия Математической ассоциации Америки автору выдающейся разъяснительной статьи по математической теме от члена ассоциации.[7]
  • 1972 — Премия Лестера Р. Форда - для Математические основы математики, Американский математический ежемесячный журнал 78 (1971), 463–487.
  • 1990 г. - первый лауреат премии Гун и Ху за выдающиеся заслуги перед математикой.[8]
  • 1991 - Цитирование Беркли - высшая награда Калифорнийского университета.
  • 2000 - Церемония награждения Леона Хенкина за выдающиеся заслуги, которая вручается преподавателю (UC) за «исключительную приверженность образовательному развитию студентов из групп, недопредставленных в академии».

Смотрите также

использованная литература

  1. ^ а б Умер профессор математики Калифорнийского университета в Беркли В архиве 2011-05-24 на Wayback Machine, Оровилл Меркурий-Регистр, 24 ноября 2006 г.
  2. ^ [1]
  3. ^ "Концепция А AT" (PDF). Math.stanford.edu. Получено 2016-10-25.
  4. ^ "Тарский в ЦС" (PDF). Math.stanford.edu. Получено 2016-10-25.
  5. ^ Леон Хенкин, защитник разнообразия в математике и естественных науках, умер., Berkeley.edu, 9 ноября 2006 г.
  6. ^ Некрологи; Леон Хенкин, 85 лет; профессор привел меньшинства и женщин к математике, Лос-Анджелес Таймс, 16 ноября 2006 г.
  7. ^ Присуждение премии Шовене 1964 года профессору Леону А. Хенкину. Американский математический ежемесячник, т. 71 (1964), нет. 1, стр. 3
  8. ^ «Премия Юэ-Гин Гун и доктора Чарльза Ю. Ху за выдающиеся заслуги | Математическая ассоциация Америки». Maa.org. Получено 2016-10-25.

дальнейшее чтение

внешние ссылки