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

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

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

Хенкин в основном известен своими доказательствами полноты различных формальных систем , таких как теория типов и логика первого порядка (полнота последней в ее слабой версии была доказана Куртом Гёделем в 1929 году). Чтобы доказать полноту теории типов, Хенкин вводит новую семантику, основанную на определенных структурах, называемых общими моделями (также известными как модели Хенкина ). Предложенное им изменение семантики позволяет предоставить полное дедуктивное исчисление для теории типов и логики второго порядка , среди других логик. Методы Хенкина помогли доказать различные результаты теории моделей как в классической, так и в неклассической логике. Помимо логики, другой областью, на которой были сосредоточены его исследования, была алгебра; он специализировался на цилиндрических алгебрах , в которых работал вместе с А. Тарским и Д. Монком. Что касается философии математики, хотя работ, в которых он явно подходит к ней, немного, его можно считать занимающим номиналистическую позицию.

Жизнь

Детство и первая юность

Леон Альберт Хенкин родился 19 апреля 1921 года в Бруклине, штат Нью-Йорк, в еврейской семье, эмигрировавшей из России лишь поколением ранее. Первым из семьи эмигрировал Авраам Хенкин, старший из братьев отца Леона. По словам Леона, его отец очень гордился им с детства. Его высокие ожидания были очевидны во имя он дал ему: он решил назвать своего сына Альберта после серии статей по Эйнштейна «с теорией относительности , что Нью - Йорк Таймс , опубликованной незадолго до рождения Хенкина. Его семья симпатизировала пацифистским и прогрессивным идеям, и, хотя он не был религиозным, у него были глубоко укоренившиеся еврейские традиции. Леон вырос в окружении крепких семейных уз; он был очень близок со своими двоюродными братьями, с которыми он жил в детстве в Бруклине.

Хенкин учился в основном в государственных школах Нью-Йорка; он учился в средней школе Линкольна, которую окончил в 16 лет и поступил в Колумбийский университет . И в колледже, и в средней школе он был членом шахматных команд; он всегда предпочитал игры с рациональным мышлением азартным играм. В годы учебы в средней школе Хенкин собирался стать учителем математики, а также захотел стать писателем (как он позже выразился в личном письме). Хотя он посвятил себя университетской академической жизни, он никогда не отказывался от своего интереса к преподаванию элементарной математики, чему впоследствии активно способствовал.

Первый университет учится

В 1937 году Леон поступил в Колумбийский университет на математический факультет. Именно во время его пребывания в этом учебном заведении он проявил интерес к логике, которая определит курс его академической карьеры. Его первый контакт с логикой произошел через книгу Б. Рассела « Мистицизм и математика », которая заинтересовала его во время посещения библиотеки. Этот интерес был увеличен и культивирован некоторыми курсами. Хотя математический факультет университета не предлагал курсы логики (они предлагались философским факультетом), Леон был одним из немногих студентов-математиков, заинтересованных в этой дисциплине, и он решил посещать их. Осенью 1938 года, на втором курсе Колумбийского университета, он участвовал в первом курсе логики, который преподавал Эрнест Нагель , который двумя годами ранее внес свой вклад в создание Ассоциации символической логики . Этот курс приблизил его к книге Рассела « Принципы математики », где он впервые столкнулся с аксиомой выбора ; Презентация Рассела произвела на него сильное впечатление и побудила его изучить Principia Mathematica, которую Рассел написал вместе с Уайтхедом несколько лет спустя. Его поразили общие идеи теории типов и загадочная аксиома сводимости . И аксиома выбора, и теория типов позже сыграли важную роль в его докторской диссертации.

В следующем году, в осеннем семестре 1939 года Хенкин взял второй курс логики с Nagel, в которой формальные системы из пропозициональной логики были рассмотрены и первым порядок логики. Это было его первым опытом математической обработки дедуктивных систем. Курс не углублялся в металогические результаты, которые устанавливали взаимосвязь между семантикой и синтаксикой, а вопрос полноты вообще не рассматривался. Однако Нагель предложил Хенкину в качестве независимого проекта прочитать доказательство полноты пропозициональной логики, данное Куайном , которое появилось за несколько месяцев до этого в Journal of Symbolic Logic . Это чтение было очень важным для Хенкина не столько из-за самого содержания, сколько потому, что с его помощью он обнаружил, что может понять исследования по логике и математике, которые проводились в то время. По словам Хенкина, хотя ему удалось проследить демонстрацию Куайна, ему не удалось уловить идею доказательства: « Я просто отметил, что цель статьи состояла в том, чтобы показать, что каждая тавтология имеет формальное доказательство в представленной системе аксиом. , и я приложил все усилия, чтобы проверить рассуждения Куайна о том, что это так, даже не задумываясь о том, почему автор и читатель прилагают такие усилия.Эта строго ограниченная цель также не позволяла мне задаваться вопросом, как автор думал о том, чтобы соединить этапы доказательства воедино. ; в результате я не смог получить «идею доказательства», ключевой ингредиент, необходимый для открытия ».

Незадолго до того, как Хенкин начал свой второй год в Колумбии, разразилась Вторая мировая война. Это имело несколько последствий для его жизни. Один из них положительно повлиял на его образование. За несколько дней до начала войны польский математик и логик Альфред Тарский приехал в Гарвард по приглашению Куайна, чтобы прочитать серию лекций по логике. После вторжения Германии в Польшу Тарский счел невозможным вернуться в Польшу, и ему пришлось остаться в Соединенных Штатах. Тарский посетил несколько городов, читая лекции по логике. Одна из этих лекций была в Колумбийском университете, и Хенкин, как и остальные студенты-логики, посетил ее с большим энтузиазмом. В нем Тарский говорил о работе Гёделя над неразрешимыми предложениями в теории типов и о существовании алгоритмов принятия решений для формальных систем - предмете, который Хенкин нашел чрезвычайно стимулирующим.

В свой последний год в Колумбии, в 1941 году, профессор Ф. Дж. Мюррей, зная, что Хенкин был студентом-математиком, интересующимся логикой, предложил им вместе пересмотреть монографию Гёделя, недавно опубликованную в Принстоне, о согласованности аксиомы выбора с обобщенным континуумом. гипотеза . Несмотря на то, что встречи, которые им приходилось обсуждать, были редкими, и Леон в конечном итоге пересмотрел эту монографию практически в одиночку, этот опыт он считал самым полезным в его образовании в Колумбии. По словам Хенкина, тогда начали формироваться некоторые идеи, которые стали отправной точкой его докторской диссертации.

В 1940 году Хенкин решил подать заявку на поступление в докторантуру, не определив полностью, по какому пути следовать в своих исследованиях. Его приняли в три университета, из которых он выбрал Принстон , поскольку там был известный логик Алонзо Черч , хотя в то время Хенкин не знал о его работе.

Аспирантура

Хенкин начал свою аспирантуру в Принстоне в 1941 году, обучаясь под руководством Черча. Доктор философии программа, которую он посещал, состояла из двухлетних курсов математики, после которых он должен был сдать «квалификационный» устный экзамен, чтобы показать, что он хорошо образован по крайней мере в трех областях математики; с этим он получит степень магистра. Затем у него будет еще два года на то, чтобы написать докторскую диссертацию, содержащую оригинальное исследование, после чего он получит степень доктора философии.

Первые два года он прослушал курсы логики, которую преподает Чёрч, анализа и общей топологии. В первом курсе логики с Черчем были изучены несколько формальных систем логики высказываний и логики первого порядка; были пересмотрены некоторые доказательства полноты и обсуждаемая часть теорем Левенхайма-Сколема, а также изложение доказательства Гёделя о полноте логики первого порядка. Во втором они очень подробно рассматривали систему второго порядка для арифметики Пеано , а также неполноту этой аксиоматической теории и вытекающую отсюда неполноту логики второго порядка.

В 1942 году Соединенные Штаты вступили во Вторую мировую войну, изменив планы Хенкина. Ему пришлось срочно сдать устный квалификационный экзамен, на котором он получил степень магистра и покинул Принстон, чтобы принять участие в Манхэттенском проекте . Этот перерыв продлился четыре года, в течение которых он поделился своими математическими знаниями, работая над проблемами радаров и проектированием установки для разделения изотопов урана. Большая часть его работы требовала численного анализа для решения уравнений в частных производных. В этот период все его работы и чтения по логике были полностью приостановлены.

По окончании войны Хенкин вернулся в Принстон в 1946 году, где от него все еще требовалось написать диссертацию, чтобы защитить докторскую диссертацию. исследования. По возвращении он присоединился к логическому курсу, который Черч начал месяцем ранее по теории « смысла и референции » Фреге . В этом курсе он открыл для себя теорию типов Черча, которая показалась ему чрезвычайно интересной. Вопросы, которые он задавал об этом, в конечном итоге привели его к тому, что он дал свое доказательство полноты теории типов, которое он смог адаптировать, чтобы также дать новое доказательство полноты логики первого порядка. Эти, а также другие результаты, вытекающие из тех же идей, вошли в состав докторской диссертации Хенкина под названием « Полнота формальных систем », которую он закончил в июне 1947 года. Сама диссертация не была опубликована. , хотя его части были переписаны и опубликованы в статьях, и. Спустя много лет Хенкин написал статью « Открытие моих доказательств полноты », в которой содержится подробный обзор содержания его диссертации. Используемые в нем процедуры стали частыми методами доказательства в различных областях логики.

После окончания

Получив докторскую степень После получения степени Хенкин провел еще два года в Принстоне, работая над постдокторскими исследованиями. В это время, в 1948 году, он встретил Джинетт Потвин во время поездки в Монреаль со своей сестрой Эстель и аспирантом Принстонского математического факультета Гарольдом Кун . Жинетт станет его женой в 1950 году, через полгода после того, как Эстель вышла замуж за Гарольда. После завершения второго года обучения в докторантуре в Принстоне в 1949 году Леон вернулся в Калифорнию, где поступил на математический факультет Университета Южной Калифорнии . Там он занимал должность доцента до 1953 года.

В 1952 году Тарскому удалось получить постоянную должность в Беркли для Хенкина. Однако Хенкин не хотел принимать его, так как он с сочувствием относился к протестам, недавно вызванным неоднозначной присягой на верность, которую требовали от университетских профессоров с 1950 года. 1953 г. 

Его жизнь в Беркли

С 1953 года большая часть академической деятельности Хенкина вращалась вокруг Беркли, где он сотрудничал с солидной исследовательской группой по логике. Он оставался там почти всю свою академическую жизнь, за исключением некоторых периодов, когда он путешествовал за границу со стипендиями и грантами различных институтов, таких как годичное пребывание в Амстердаме или пребывание в Израиле с получением исследовательских грантов Фулбрайта. (в 1954 и 1979 годах соответственно).

Хенкин всегда был благодарен Тарскому, так как именно благодаря ему он смог обосноваться в Беркли. После смерти Тарского в 1983 году он написал в личном письме: «Я пишу, чтобы сообщить вам, что Альфред Тарский, который приехал в Беркли в 1942 году и основал наш великий Центр изучения логики и основ, скончался в среду вечером в возрасте 82 лет [ ...]. Именно он привез меня в Беркли в 1953 году, поэтому я многим обязан ему лично, а также в научном плане ».

Тарский не только предложил Хенкину работу, но и предоставил ему очень плодотворную междисциплинарную среду для сотрудничества в разработке Logic. Тарский основал Центр изучения логики и основ в Беркли, но с помощью Хенкина он смог объединить группу логиков, математиков и философов, которые сформировали Группу логики и методологии науки , которая действует до сих пор. . В рамках этого проекта они создали междисциплинарную аспирантуру, завершившуюся докторской степенью. Тарский и Хенкин поддержали проект, организовав важные конгрессы и конференции по логике, следуя концепции Тарского о «логике как общей основе всего человеческого знания». Интенсивная деятельность в области металогики, имевшая место в Беркли в 1950-х и 1960-х годах, во многом была обусловлена ​​активностью Тарского и Хенкина как в области преподавания, так и в области исследований. Многие результаты того, что сегодня имеет решающее значение для теории моделей, явились результатом академической деятельности в Беркли, имевшей место в те годы.

Среди исследовательских поездок, которые Хенкин совершал на протяжении многих лет, - его посещения университетов в Ганновере, Принстоне, Колорадо, а также в несколько европейских университетов, таких как Оксфорд (в Соединенном Королевстве) и другие в Югославии, Испании, Португалии и Франции. . В 1979 году, получив второй грант Фулбрайта, Хенкин провел год в Израиле, в Хайфе, на факультете естественнонаучного образования Университета Технион. По этому случаю он также посетил два университета в Египте. В 1982 году он впервые посетил Испанию. Он проводил конференции в нескольких университетах, в том числе в Барселоне, Мадриде и Севилье.

Хенкин принимал активное участие в исследованиях и преподавании, но его деятельность в университете выходила далеко за рамки этого. В дополнение к самоотверженности, которую он вложил в свое обучение, а также в руководство Группой по логике и методологии науки , он занимал несколько административных должностей; он был директором математического факультета с 1966 по 1968 год, а затем с 1983 по 1985 год. Одним из видов деятельности, которому он уделял больше всего энергии, было преподавание математики, по которому он также провел некоторые исследования.  

Иногда Хенкин посещал школы своих детей, чтобы поговорить с учениками начальной школы о математике, поговорить с ними об « отрицательных числах » или « как вычесть сложением ». Примерно в то же время (около 1960 г.) Хенкин начал чередовать свою исследовательскую работу по математике с исследовательской работой в области преподавания математики; последние становились все более частыми.

В 1991 году ему было присвоено звание почетного профессора Университета Беркли и он вышел на пенсию.

Пенсия и смерть

После выхода на пенсию Хенкин продолжил работать над проектами по обучению математике. С 1991 года он принимал участие в программе летних курсов в колледже Миллс, целью которой было дать талантливым женщинам со всей страны математическое образование, чтобы подготовить их к поступлению в колледж. Наконец, Жинетт и Хенкин переехали в Окленд, где Хенкин умер несколько лет спустя, в ноябре 2006 года.

Всегда добр к своим ученикам и коллегам, которых он часто приглашал к себе домой, чтобы проводить вечера с Жинетт, его помнят как блестящего исследователя, учителя, приверженного своей дисциплине, и человека, проявившего солидарность со своим сообществом.

Одна из фраз, лучше всего отражающих чувства, выраженные в различных свидетельствах его учеников, - это фраза Дугласа Хофштадтера : «Мне очень повезло, что я был его аспирантом, поскольку я научился у него гораздо большему, чем логика. мое сердце. Я всегда желаю, чтобы я был не менее добр к своим аспирантам и не менее охотно следил за их профессиональным ростом после выпуска, чем он был ко мне ».

Наследие

Алгебра

Работа Хенкина по алгебре была сосредоточена на цилиндрических алгебрах - предмете, который он исследовал вместе с Альфредом Тарским и Дональдом Монком. Цилиндрическая алгебра предоставляет структуры, которые являются для логики первого порядка тем же, чем булева алгебра для логики высказываний. Одна из целей Хенкина и Тарского в продвижении алгебраической логики состояла в том, чтобы привлечь интерес математиков к логике, убежденных в том, что логика может обеспечить объединяющие принципы для математики: «Фактически мы зайдем так далеко, что рискнем предположить, что через логическое исследование может выявить важные объединяющие принципы, которые помогут придать согласованность математике, которая иногда кажется находящейся в опасности стать бесконечно делимой ».

По словам Монка, исследования Хенкина по цилиндрической алгебре можно разделить на следующие части: алгебраическая теория, алгебраическая теория множеств, теоремы представления, непредставимые алгебраические конструкции и приложения к логике.

Теоремы о полноте

В 1949 г. была опубликована « Полнота функционального исчисления первого порядка », а в 1950 г. - « Полнота в теории типов ». Оба представили часть результатов, изложенных в диссертации « Полнота формальных систем », с которой Хенкин получил его докторская степень. степень в Принстоне в 1947 году. Один из самых известных результатов Хенкина - это результат полноты логики первого порядка, опубликованный в упомянутой выше статье 1949 года, которая появляется как первая теорема диссертации 1947 года. В нем говорится следующее:

Любой набор предложений формально непротиворечивого в дедуктивной системе удовлетворяет числовой структуре .

Эта теорема сегодня называется теоремой о полноте, поскольку из нее легко следует следующее:

Если это набор предложений и является семантическим следствием , то выводится из .

Это сильная версия теоремы о полноте, из которой слабая версия получается как следствие. Последняя формулирует результат для частного случая, в котором есть пустое множество, то есть дедуктивное исчисление логики первого порядка способно вывести все допустимые формулы. Слабая версия, известная как теорема Гёделя о полноте , была доказана Гёделем в 1929 году в его собственной докторской диссертации. Доказательство Хенкина более общее, более доступное, чем доказательство Гёделя, и его легче обобщить на языки любой мощности. Он подходит к полноте с новой и плодотворной точки зрения, и его величайшее качество, возможно, состоит в том, что его доказательство может быть легко адаптировано для доказательства полноты других дедуктивных систем. Другие центральные для теории моделей результаты получены как следствия сильной полноты логики первого порядка, доказанной Хенкиным. Из этого следует, например, следующий результат для языка первого порядка  :

Каждый набор хорошо сформированных формул , выполнимых в −структуре, выполним в бесконечной числовой структуре.

Этот результат известен как теорема Левенхайма-Сколема «вниз». Еще один результат, полученный из теоремы о полноте:

Набор правильно сформированных формул имеет модель тогда и только тогда, когда каждое его конечное подмножество имеет модель.

Последняя известна как « теорема компактности » логики первого порядка, которую также можно сформулировать как: «Любой набор хорошо сформированных формул, который является конечно выполнимым, выполним». Это означает, что если для каждого из конечных подмножеств существует структура, в которой все его формулы истинны, то существует также структура, в которой все формулы истинны. Она известна как «теорема компактности», потому что соответствует компактности определенного топологического пространства, определенного из семантических понятий.

Среди других теорем о полноте, данных Хенкиным, наиболее актуальной является, пожалуй, теорема о полноте теории типов Черча, которая является первой из теорем полноты, доказанных Хенкиным. Затем он адаптировал метод, разработанный в этом доказательстве, для доказательства полноты других дедуктивных систем. Этот метод продолжает использоваться для доказательства полноты как классической, так и неклассической логики, и он стал обычным доказательством полноты для логики первого порядка в учебниках по логике. Когда Хенкин опубликовал этот результат в 1949 году, полнота даже не входила в канонические темы, охватываемые учебниками; примерно двадцать лет спустя эта теорема, вместе с ее доказательством и следствиями, была частью практически каждого учебника логики. Что касается неклассических логик, метод Хенкина можно использовать, среди прочего, для расширения полноты нечеткой логики от первого порядка до более высокого порядка, создавая полную теорию нечетких типов ; он также предлагает способ получения результатов, связывающих классическую логику с интуиционистской логикой ; и это позволяет проверять результаты полноты в других неклассических логиках, как в случаях гибридной теории типов и уравнительной гибридной теории пропозициональных типов.

Открытие теорем о полноте

Несмотря на то, что это один из самых известных результатов, Хенкин пришел к доказательству полноты логики первого порядка «случайно», пытаясь доказать совершенно другой результат. Порядок публикации его статей и даже порядок изложения теорем в его диссертации 1947 года не отражают эволюцию, которая следовала за идеями, которые привели его к результатам его полноты. Однако Хенкин упрощает сложную задачу прослеживания развития и формирования своих идей своей статьей « Открытие моих доказательств полноты », опубликованной в 1996 году. В ней он описывает процесс развития своей диссертации. Он не только объясняет содержание своей работы, но также объясняет идеи, которые привели к ней, от его первых курсов логики в колледже до конца написания диссертации.

В конце войны Хенкин вернулся в Принстон, чтобы закончить докторскую диссертацию, для чего ему все же пришлось написать диссертацию, содержащую оригинальное исследование. Сразу по прибытии в Принстон он посетил курс логики Черча, начатый месяцем ранее и посвященный теории Фреге о «чувстве и референции». Руководствуясь идеями Фреге, Черч хотел применить их на практике с помощью формальной аксиоматической теории. Для этого он взял простую теорию типов, которую он опубликовал несколькими годами ранее, и снабдил ее иерархией типов, вдохновленной идеей «смысла», раскрытой Фреге. Именно на этом курсе Хенкин познакомился с Теорией типов Чёрча, которая показалась ему очень интересной. Он сразу же высказал предположение об этом, доказательством которого, как он надеялся, могла бы стать его докторская диссертация.

Одним из атрибутов, которые привлекли внимание Хенкина к теории типов Черча, было то, что оператор -оператор позволял именовать многие объекты в иерархии типов. Как он объясняет в « Обнаружении моих доказательств полноты », он намеревался выяснить, какие элементы имеют имена в этой теории. Он начал с изучения элементов, названных в двух доменах, лежащих в основе иерархии типов. Он взял в качестве универсума индивидов и добавил константу для каждого числа и функции-преемника , так что каждый элемент в домене был назван из и повторяющихся вхождений . Поднимаясь по иерархии, он пытался указать, какие функции над этими элементами можно именовать. Множество их было неисчислимым, поэтому должны были быть некоторые без имени, поскольку существует только числовое количество выражений. Как можно было сказать, какие элементы были названы? Чтобы каждое выражение соответствовало элементу, который оно обозначает, ему нужна была функция выбора , в поиск которой Хенкин вложил много усилий. Наконец, он понял, что с помощью дедуктивного исчисления он может формировать классы эквивалентности выражений, равенство которых может быть получено с помощью исчисления, и формировать с этими классами модель, изоморфную новой иерархии типов, образованной названными элементами. Он сосредоточился на интерпретациях формального языка, когда ключ к решению проблемы лежал в дедуктивной системе. Оставалось сделать универсум объектов, названных предложениями, набором из двух элементов: значений истинности. Этого можно достичь, расширив аксиомы до максимально согласованного набора. Как только это будет достигнуто, можно будет доказать, что каждый непротиворечивый набор формул имеет модель, которая в точности удовлетворяет формулам - элементы такой модели являются классами эквивалентности самих выражений -. То есть он сумел бы дать доказательство полноты дедуктивного исчисления.

Тот же метод, который использовался для доказательства полноты теории типов Черча, можно легко адаптировать для доказательства (строгой) полноты логики первого порядка и других, которые последовали позже. Идеи именованных элементов в иерархии типов, лежащие в основе открытия доказательств полноты Хенкина, привели к успешному введению новой семантики, называемой общей семантикой , которая основана на общих моделях (или моделях Хенкина).

Метод Хенкина

Метод Хенкина для доказательства полноты состоит в построении определенной модели: она начинается с набора формул , согласованность которых предполагается. Затем строится модель, которая в точности удовлетворяет формулам . Идея Хенкина построить подходящую модель основана на получении достаточно подробного описания такой модели с использованием предложений формального языка и установлении того, какие объекты могут быть элементами такой модели. Если бы это было известно, для каждой формулы языка , должна ли она удовлетворять или нет модель, у нас было бы исчерпывающее описание модели, которое позволило бы ее построить. Это именно то, что искал: множество предложений , содержащих , для которых он считает , что каждое предложение языка или его отрицания принадлежит Gamma. В случае логики первого порядка требуется еще одна вещь: чтобы набор был проиллюстрирован, то есть для всех экзистенциальных формул существует константа, которая действует как свидетельство этого. С другой стороны, поскольку природа объектов, составляющих вселенную модели, не имеет значения, не возникает возражений против принятия в качестве индивидов самих терминов языка или их классов эквивалентности.

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

Достигнув построения этого максимально последовательного и иллюстративного множества, можно построить описываемую им модель. Какие люди составляют вселенную модели? В случае логики первого порядка без равенства элементы предметной области будут терминами формального языка. Чтобы построить функции и отношения модели, мы тщательно следуем тому, что диктует: если язык содержит -связь , его интерпретация в модели будет отношениями, образованными всеми -кортежами терминов во вселенной модели, так что формула, которая говорит они связаны . Если язык включает равенство, предметной областью модели являются классы эквивалентности терминов языка. Отношение эквивалентности устанавливается формулами максимально непротиворечивого множества: два члена равны, если в формуле указано, что они равны.

Подводя итог, демонстрация в случае числового языка состоит из двух частей:

  1. Расширение набора до максимально последовательного и иллюстративного набора.
  2. Построение модели, описываемой формулами этого набора, с использованием терминов языка - или его классов эквивалентности - как объектов вселенной модели.

Общие модели

Простая теория типов с -исчислением и стандартной семантикой достаточно богата, чтобы выразить арифметику категорически, откуда, согласно теореме Гёделя о неполноте, следует , что она неполна. Следуя идее идентификации именуемых элементов в иерархии типов, Хенкин предложил изменить интерпретацию языка, приняв в качестве иерархий типов некоторые, которые ранее не допускались. Если с каждого уровня иерархии спрашивали не о том, что должны быть все соответствующие функции, а только те, которые можно определить, то получается новая семантика, а вместе с ней и новая логика. Полученная семантика известна как общая семантика. В нем структуры, которые допустимы в качестве моделей, называются «общими моделями». Их можно использовать не только в теории типов, но также, например, для получения полных (и компактных) логик высшего порядка .

Получение полной логики высшего порядка с помощью общей семантики соответствует ожидаемому балансу между выразительной силой логики и мощностью ее дедуктивного исчисления. В логике второго порядка со стандартной семантикой известно, что количественная оценка предикативных переменных дает языку огромную выразительную силу, взамен которой теряется сила дедуктивного исчисления: последнего недостаточно для создания обширного набора действительных формул эта логика (со стандартной семантикой). Изменение исчисления ничего не решает, поскольку теорема Гёделя о неполноте гарантирует, что никакое дедуктивное исчисление не сможет достичь полноты. Напротив, изменяя семантику, то есть изменяя наборы, которые образуют вселенные, в которых интерпретируются предикативные переменные и константы, логика оказывается завершенной за счет потери выразительной способности.

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

К переводу между логиками

Одна из областей, в которой основы, заложенные в работе Хенкина, оказались плодотворными, - это поиск логики, работающей в качестве общей основы для перевода между логиками. Эта структура предназначена для использования в качестве металогического инструмента; его цель не в том, чтобы выбрать «одну логику» над другими, которая подавила бы богатство, обеспечиваемое их разнообразием, а в том, чтобы предоставить адекватный контекст, чтобы противопоставить их, понять их и, таким образом, наилучшим образом использовать качества каждой из них. .

Исследование, которое развивает идеи Хенкина в этом направлении, принадлежит Марии Мансано, одной из его учениц, чье предложение состоит в том, чтобы использовать многоуровневую логику в качестве общей основы для перевода логик. Цели этого предложения можно объединить в две: 1) использовать единое дедуктивное исчисление для всех из них; и 2) использовать метасвойства многосортной логики для более простого доказательства метасвойств других логик. Кроме того, наличие логической основы полезно для сравнения различных логик путем сравнения теорий, которые их представляют. Хотя Хенкин не говорит о переводе формул и не делает явным многоуровневый язык или исчисление, идеи, которые он использует в двух своих статьях, служат основой для подхода к переводу: « Полнота в теории типов » и « Отказ от правила подстановки функциональных переменных ».

Математическая индукция

Тема математической индукции часто затрагивалась в педагогической деятельности Хенкина. Вероятно, его опыт в этой области был результатом его статьи « О математической индукции ». Это была его любимая статья Хенкина, о которой он даже написал, что считает ее лучшей своей пояснительной статьей. В нем он определил модели Пеано как те, которые удовлетворяют трем аксиомам второго порядка Пеано, а модели индукции как те, которые удовлетворяют третьей из них: аксиоме индукции . Он продемонстрировал, что, хотя в моделях Пеано можно ввести все рекурсивные операции, в моделях индукции это не так. Конкретно, существуют модели индукции, в которых операция возведения в степень не может быть определена. В этой статье Хенкин также представляет математическую структуру, которую могут иметь индукционные модели, которая довольно проста: они могут быть либо стандартной моделью, то есть изоморфной натуральным числам, либо еще двумя способами; изоморфны циклам - соответствующим модулю целых чисел ; или изоморфно тому, что Хенкин называл «ложками», что представляет собой комбинацию конечного списка, за которым следует цикл.

Философская позиция

Из статей, опубликованных Хенкином, наиболее философской является « Некоторые заметки о номинализме », которые он написал в ответ на две статьи о номинализме, одну Куайна, а другую совместно написанные Куайном и Гудманом. Обсуждения, относящиеся к этой философской доктрине, естественным образом возникают в доказательствах полноты, данных Хенкиным, а также в его предложении об изменении семантики с помощью общих моделей. Как по содержанию его работ, так и по его собственным высказываниям считается, что его позиция была номиналистической.

Обучение

Хенкин как профессор университета вел активную деятельность. Он преподавал на всех уровнях, уделяя каждому из них одинаковую заботу и преданность. Некоторые из преподаваемых им курсов были напрямую связаны с его областью исследований, например, « Математическая логика », « Метаматематика » или « Цилиндрическая алгебра », но другие распространялись на большое разнообразие областей, включая, среди прочего, « Основы геометрии ». , « Алгебра и тригонометрия », « Конечная математика », « Исчисление с аналитической геометрией » или « Математические концепции для учителей начальной школы ». Его ученики соглашаются, что его объяснения были предельно ясными и привлекли внимание слушателя. По словам одного из его учеников, « частью его магии было его элегантное выражение математики, но он также много работал, чтобы вовлечь аудиторию в догадки и видение следующего шага или на то, чтобы быть им удивленным. Он определенно захватил интерес. его аудитории ".

Одним из аспектов его лекций, которым он уделял особое внимание, был поиск подходящего темпа, стоящего перед постоянной дилеммой, как найти оптимальную скорость для обучения. Он считал важным, чтобы ученики могли следовать ритму урока, даже если это означало, что некоторые сочли его медленным - они могли продолжить чтение в своем собственном темпе. Однако он также считал, что то, что легко выучить, легко забыть, поэтому он искал баланс между тем, чтобы сделать свои уроки доступными и сложными для учеников, чтобы они приложили усилия для более глубокого изучения. О своем собственном студенческом опыте он так прокомментировал в интервью: «Из-за того легкого способа, которым возникали идеи, было слишком легко их забыть. Я, вероятно, изучил более сжатый материал в том, что мы назвали« семинаром для младенцев в конъюнктивной топологии ». , проводимый Артуром Стоуном. Я узнал больше, потому что он заставлял нас делать всю работу ».

В дополнение к его курсам и руководству аспирантами, роль Хенкина в обучении ученых была значительна. Тарский пригласил его в Беркли с ясной целью. Как математик, Хенкин сыграл ключевую роль в проекте Тарского по превращению Беркли в центр развития логики, объединяющий математиков, логиков и философов. Хенкин помог ему в реализации проекта, помогая ему в создании междисциплинарной группы по логике и методологии науки , успешная работа которой во многом была обусловлена ​​энергией Хенкина. Частью этого проекта было создание междисциплинарной университетской программы, в результате которой была получена степень доктора философии. по специальности « Логика, методология и философия науки ». Он также участвовал в организации важных встреч и конференций, которые способствовали междисциплинарному сотрудничеству, объединенному логикой. Результатом стало то, что в 1950-х и 1960-х годах в Беркли произошло бурное развитие логики, на основе которого возникло множество достижений в теории моделей.

Хотя Хенкин впервые столкнулся с преподаванием математики в качестве профессора, позже он начал проводить исследования в области преподавания математики. Вот некоторые из его работ в этой области: « Повторное изучение элементарной математики », « Новые направления в математике средней школы » или « Роли действия и мысли в математическом образовании ». Начиная с 1979 года он уделял особое внимание этому аспекту своих исследований, и последние докторские диссертации, которые он возглавлял, касались преподавания математики или интеграции групп меньшинств в исследования.

Хенкин любил писать пояснительные статьи, за некоторые из которых он получил такие награды, как премия Шовене (1964) за статью « Идентичны ли логика и математика? » Или премия Лестера Р. Форда за статью « Математические основы математики». ".

Социальные проекты

На протяжении всей своей жизни Леон Хенкин проявлял глубокую приверженность обществу, его часто называли общественным деятелем. Многие из его проектов по обучению математике были направлены на то, чтобы приблизить меньшинства или социально незащищенные группы к математике и смежным областям. Он знал, что мы являемся частью истории и окружающего нас контекста, как записано в одном из его произведений:

" Волны истории омывают нашу нацию, взбудораживая наше общество и наши институты. Вскоре мы видим изменения в том, как все мы делаем что-то, в том числе в нашей математике и нашем обучении. Эти изменения формируются в ручейки и ручьи, которые сливаются в разные стороны. углы с теми, которые возникают в частях нашего общества, совершенно отличных от образования, математики или науки. Образуются реки, способствующие мощным течениям, которые будут производить будущие волны истории. Великая депрессия и Вторая мировая война сформировали фон моих лет учебы; Холодная война и Движение за гражданские права были фоном, на котором я начал свою карьеру математика-исследователя, а позже начал заниматься математикой ».

Хенкин был убежден, что перемены могут быть достигнуты через образование, и, верный своей идее, он посвятил себя как программам начального математического образования, так и программам, направленным на борьбу с изоляцией. Он проявил политическую приверженность обществу, отстаивая прогрессивные идеи. Он вдохновил многих своих учеников заниматься математикой. Дайан Ресек, одна из его учениц, склонных к преподаванию, описала его следующим образом:

« Леон был привержен делу обеспечения равенства в обществе. Он увидел, что профессиональные математики могут иметь значение, особенно в отношении расового неравенства в Соединенных Штатах. Он был одним из первых, кто сказал, что одна вещь сдерживает расовую принадлежность. меньшинств и более бедных людей в Америке был их низкий уровень участия в математических / научных карьерах. Он считал, что есть способы обучения и новые программы, которые могут решить эту проблему ».

Осознавая тот вклад, который математики могут внести через преподавание, Хенкин защищал, что преподавание должно цениться в академической среде, как он выразился в личном письме: « В эти времена, когда наши традиционно подготовленные доктора философии математики находят трудное положение. На рынке мне кажется, что мы, преподаватели, должны особенно искать новые области, в которых обучение математике может внести существенный вклад в основные цели общества ».

Вот некоторые из социальных проектов, которые он организовал или в которых участвовал. В период с 1957 по 1959 год он был частью Летних институтов, предназначенных для учителей математики и посвященных совершенствованию образования в средней школе и колледже. В 1958 году Национальный научный фонд разрешил комитету Американского математического общества, которое в течение нескольких лет интересовалось использованием фильмов и визуальных материалов для математического образования, производить экспериментальные фильмы с этой целью, сопровождаемые печатными руководствами с приложениями, которые углубиться в содержание и проблемы, которые необходимо решить. Хенкин участвовал в этом проекте с фильмом по математической индукции, дополнительное руководство к которому было напечатано Американским математическим обществом. Фильм транслировался в сериале « Математика сегодня ». С 1961 по 1964 год он участвовал в серии курсов для учителей начальной школы, организованных Комитетом по программе бакалавриата по математике. Примерно в то же время он продвигал инициативу «Мероприятия по расширению возможностей», целью которой было предоставить возможности для перспективных студентов из групп этнических меньшинств, предлагая им летние курсы и стипендии. Он принимал участие в программе SEED (Специальное начальное образование для малоимущих), которая поощряла студентов к участию в начальном образовании, а также в SESAME (Специальное образование в области естественных наук и математики), междисциплинарной докторской программе, созданной членами различных организаций. научные факультеты, целью которых было изучение преподавания и изучения естественных наук, инженерии и математики. Между 1960 и 1968 годами он участвовал в серии конференций в математических школах и участвовал в разработке нескольких фильмов, выпущенных Национальным советом учителей математики (NCTM). Эти фильмы касались таких тем, как целочисленная система и рациональная система счисления. Он также участвовал в курсах поддержки для студенток, изучающих математику, и убедил математический факультет разрешить аспирантам получать такую ​​же финансовую поддержку для работы учителями начальной школы, как и для работы помощником учителя в колледже. « Он не только верил в равенство, но и активно работал над его осуществлением ».

Основные статьи Хенкина

  • Хенкин, Л. (1949). Полнота функционального исчисления первого порядка. Журнал символической логики , 14 (3), 159-166.
  • Хенкин, Л. (1950). Полнота теории типов. Журнал символической логики , 15 (2), 81-91.
  • Хенкин, Л. (1953). Отказ от правила подстановки функциональных переменных. Журнал символической логики , 18 (3), 201-208.
  • Хенкин, Л. (1953). Некоторые взаимосвязи между современной алгеброй и математической логикой. Труды Американского математического общества , 74, 410-427.
  • Хенкин, Л. (1953). Некоторые заметки о номинализме, The Journal of Symbolic Logic , 18 (1), 19-29.
  • Хенкин Л. (1954) Обобщение концепции $ \ omega $ -согласованности. Журнал символической логики . 19 (3), 183–196.
  • Хенкин, Л. (1955) Номиналистическая интерпретация математического языка. Бюллетень Бельгийского математического общества . 7, 137-141.
  • Хенкин, Л. (1955) Теорема представления для цилиндрических алгебр. Эн Сколем, Т., Хасенджегер, Г., Крейзель, Г., Робинсон, А. (ред.) Математическая интерпретация формальных систем , стр. 85–97.
  • Хенкин, Л. (1957) Обобщение понятия -полноты. Журнал символической логики . 22 (1), 1-14.
  • Хенкин, Л. (1960). О математической индукции. Американский математический ежемесячник . 67 (4), 323-338.
  • Хенкин, Л. (1961). Математическая индукция. En MAA Film Manual № 1 Математическая ассоциация Америки, Университет Буффало, Нуэва-Йорк.
  • Хенкин, Л., Тарский, А. (1961) Цилиндрические алгебры. Эн Дилворт, Р.П. (ред.) Теория решеток. Труды симпозиумов по чистой математике. Американское математическое общество , 2, 83-113.
  • Хенкин, Л. Смит, В. Н., Варино, В. Дж., Уолш, М. Дж. (1962) Восстановление элементарной математики . Макмиллан, Нью-Йорк.
  • Хенкин, Л. (1962). Идентичны ли логика и математика ?, Наука, том 138, 788-794.
  • Хенкин, Л. (1963). Новые направления в математике средней школы. Эн Ричи, RW (ред.) Новые направления в математике , 1-6. Прентис Холл, Нью-Йорк.
  • Хенкин, Л. (1963). Расширение теоремы Крейга-Линдона об интерполяции. Журнал символической логики . 28 (3), 201-216.
  • Хенкин, Л. (1963). Теория пропозициональных типов. Fundamenta mathematicae . 52, 323-344.
  • Хенкин, Л. (1971). Математические основы математики. Американский математический ежемесячник . 78 (5), 463-487.
  • Хенкин, Л. (1975). Идентичность как логический примитив. Философия 5, 31-45.
  • Хенкин, Л. (1977). Логика равенства. Американский математический ежемесячник . 84 (8), 597-612.
  • Хенкин, Л. (1995). Роли действия и мысли в математическом образовании - отрывок для одного математика. Фишер, Н.Д., Кейнс, HB, Вагрейх, доктор философии. (Ред.), Изменение культуры: математическое образование в исследовательском сообществе , CBMS Issues in Mathematics Education, vol. 5. С. 3–16. Американское математическое общество в сотрудничестве с Математической ассоциацией Америки, Провиденс.
  • Хенкин, Л. (1996). Открытие моих доказательств полноты, Bulletin of Symbolic Logic , vol. 2 (2), 127-158.

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

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

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

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

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

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