Леон Хенкин - Leon Henkin
Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
Леон Альберт Хенкин (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) за «исключительную приверженность образовательному развитию студентов из групп, недопредставленных в академии».
Смотрите также
использованная литература
- ^ а б Умер профессор математики Калифорнийского университета в Беркли В архиве 2011-05-24 на Wayback Machine, Оровилл Меркурий-Регистр, 24 ноября 2006 г.
- ^ [1]
- ^ "Концепция А AT" (PDF). Math.stanford.edu. Получено 2016-10-25.
- ^ "Тарский в ЦС" (PDF). Math.stanford.edu. Получено 2016-10-25.
- ^ Леон Хенкин, защитник разнообразия в математике и естественных науках, умер., Berkeley.edu, 9 ноября 2006 г.
- ^ Некрологи; Леон Хенкин, 85 лет; профессор привел меньшинства и женщин к математике, Лос-Анджелес Таймс, 16 ноября 2006 г.
- ^ Присуждение премии Шовене 1964 года профессору Леону А. Хенкину. Американский математический ежемесячник, т. 71 (1964), нет. 1, стр. 3
- ^ «Премия Юэ-Гин Гун и доктора Чарльза Ю. Ху за выдающиеся заслуги | Математическая ассоциация Америки». Maa.org. Получено 2016-10-25.
дальнейшее чтение
- Г. Уивер (2001) [1994], «Хенкин стройка», Энциклопедия математики, EMS Press
- Джордж Уивер (1997). Модели Хенкина-Кейслера. Springer. ISBN 978-0-7923-4366-0.
- Хенкин, Леон. 1949. "Полнота функционального исчисления первого порядка", Журнал символической логики. 14: 159–166. Дои:10.2307/2267044
- Хенкин, Леон. 1949. «Фрагменты исчисления высказываний», Журнал символической логики 14: 42–48. Дои:10.2307/2268976
- Хенкин, Леон. 1950 г. «Полнота теории типов», Журнал символической логики 15: 81–91.
- Манзано, Мария, Саин, Ильдико, Алонсо, Энрике (ред.). 2014 г. «Жизнь и творчество Леона Хенкина», Бирхаузер.
внешние ссылки
- Леон Хенкин на Проект "Математическая генеалогия"
- Премия Беркли Цитата
- Интервью с Хенкиным и другими об их опыте в Принстоне
- Интервью с Хенкиным о его опыте работы в Принстоне
- Леон Хенкин, защитник разнообразия в математике и естественных науках, умер Роберт Сандерс, пресс-релиз UC Berkeley News, 9 ноября 2006 г.
- Некрологи: Леон Хенкин, 85 лет: профессор привел меньшинства и женщин в математику Валери Дж. Нельсон, Лос-Анджелес Таймс, 16 ноября 2006 г., с. В-6.
- Леон А. Хенкин - преподаватель математики Калифорнийского университета. Рик ДельВеккио, Хроники Сан-Франциско, 20 ноября 2006 г., с. В-3.
- Памяти: Леона Альберта Хенкина Джона Аддисона, Уильяма Крейга, Кэролайн Кейн и Алана Шенфельда (мемориал Академического сената Калифорнийского университета).
- Памяти: Леона Альберта Хенкина, 1921–2006 гг. Дж. Дональда Монка, Бюллетень символической логики, т. 15, нет. 3 (сентябрь 2009 г.), стр. 326–331.