Жан Луи Максим ван Хейеноорт / v æ n ˈ h aɪ . ə n ɔːr t / ( французский: [van ɛjɛnɔʁt] ; 23 июля 1912 — 29 марта 1986) — историк математической логики . Он также был личным секретарем Льва Троцкого с 1932 по 1939 год и американским троцкистом до 1947 года.
Жан ван Хейенорт, известный математик и логик, родился в Крей, Франция. Его родители иммигрировали из Нидерландов еще до его рождения. К сожалению, когда ван Хейеноорту было всего два года, его отец скончался, оставив семью в тяжелом финансовом положении. Несмотря на эти проблемы, он продолжил свое образование и овладел французским языком. На протяжении всей своей жизни он поддерживал прочные связи со своей большой семьей и друзьями во Франции, нанося визиты раз в два года после того, как получил американское гражданство в 1958 году.
К сожалению, ван Хейеноорт безвременно погиб в 1986 году в Мехико от рук своей четвертой супруги. Однако его интеллектуальный вклад и влияние, которое он оказал в области математики и логики, продолжают признаваться и цениться.
В 1932 году Ван Хейеноорт был завербован Иваном Крайпо для присоединения к троцкистскому движению. В том же году он вступил в Лигу коммунистов . После ссылки Троцкого он нанял ван Хейеноорта секретарем и телохранителем, прежде всего из-за его свободного владения французским, русским , немецким и английским языками. Ван Хейеноорт провел семь лет в доме Троцкого, в течение которых он работал переводчиком, помог Троцкому написать несколько книг и вел обширную интеллектуальную и политическую переписку на нескольких языках.
В 1939 году ван Хейенорт переехал в Нью-Йорк , чтобы быть со своей второй женой Беатрис «Банни» Гайер. Он не был причастен к обстоятельствам, приведшим к убийству Троцкого в 1940 году. В Нью-Йорке он работал в Социалистической рабочей партии (США) (СРП) и написал ряд статей для американской троцкистской прессы и других радикальных СМИ. Он был избран в секретариат Четвертого Интернационала в 1940 году, но подал в отставку, когда Феликс Морроу и Альберт Гольдман , на стороне которых он встал, были исключены из СРП. (Впоследствии Гольдман присоединился к Рабочей партии США , а Морроу не присоединился ни к какой другой партии или группировке.) В 1947 году Ван Хейенорт тоже был исключен из СРП. В 1948 году он опубликовал статью под названием «Баланс столетия», в которой критиковал ту часть марксизма, которая рассматривала «пролетариат» как революционный класс. Он продолжал считать истинными другие части марксизма.
Ван Хейеноорт был избавлен от испытаний маккартизма , поскольку все, что он публиковал в троцкистских публикациях, появлялось под одним из более чем дюжины псевдонимов, которые он использовал. По словам Фефермана (1993), логик Ван Хейеноорт довольно сдержанно относился к своей троцкистской молодости и не обсуждал политику. Тем не менее, он вносил свой вклад в троцкистское движение до последнего десятилетия своей жизни, когда он написал свою монографию « С Троцким в изгнании» (1978) и издание переписки Троцкого (1980). Он консультировал и сотрудничал с архивистами библиотеки Хоутона Гарвардского университета , где хранятся многие документы Троцкого за годы его изгнания.
После получения докторской степени. Получив степень по математике в Нью-Йоркском университете , в 1949 году под руководством Дж. Дж. Стокера Ван Хейенорт начал преподавать математику в Нью-Йоркском университете, но перешёл к логике и философии математики , во многом под влиянием Георга Крейзеля . Он начал преподавать философию, сначала на неполный рабочий день в Колумбийском университете , затем на постоянной основе в Университете Брандейса с 1965 по 1977 год . Работы Курта Гёделя .
От Фреге до Гёделя: Справочник по математической логике (ван Хейеноорт, 1967) представляет собой антологию переводов по истории логики и основам математики . Она начинается с первого полного перевода книги Фреге « Begriffsschrift» 1879 года , за которой следуют 45 коротких статей по математической логике и аксиоматической теории множеств , первоначально опубликованных между 1889 и 1931 годами. Антология заканчивается знаковой статьей Гёделя о неполноте арифметики Пеано . Дополнительную информацию о периоде, охватываемом этой антологией, см. в Grattan-Guinness (2000).
Почти все содержание книги «От Фреге до Гёделя: Справочник по математической логике» было доступно лишь в нескольких университетских библиотеках Северной Америки (например, даже Библиотека Конгресса не приобретала копию « Begriffsschrift» до 1964 г.), и все, кроме четыре произведения пришлось перевести с одного из шести языков континентальной Европы. По возможности авторы оригинальных текстов проверяли переводы и предлагали исправления и дополнения. Каждая статья была снабжена редакционными сносками и введением (в основном Ван Хейенорта, но частично Уилларда Куайна и Бертона Дребена ); его ссылки были объединены в обширную библиографию, а опечатки, несоответствия и ошибки были исправлены.
От Фреге до Гёделя: Справочник по математической логике способствовал продвижению точки зрения, согласно которой современная логика начинается с Begriffsschrift и развивается на нем . Граттан-Гиннесс (2000) утверждает, что такой взгляд на историю логики ошибочен, поскольку Фреге использовал идиосинкразическую систему обозначений и был значительно менее читаем, чем Пеано . По иронии судьбы, ван Хейеноорт (1967) часто цитируется теми, кто предпочитает альтернативную теоретическую модельную позицию в отношении логики и математики. Большая часть истории этой позиции, в число ведущих представителей которой входят Джордж Буль , Чарльз Сандерс Пирс , Эрнст Шредер , Леопольд Левенхайм , Торальф Скулем , Альфред Тарский и Яакко Хинтикка , описана в книге Брейди (2000). От Фреге до Гёделя: Справочник по математической логике недооценил алгебраическую логику Де Моргана , Буля, Пирса и Шредера, но посвятил Скулему больше страниц, чем кому-либо, кроме Фреге, и включил Левенхайма (1915), основополагающий документ по теория моделей.
У Ван Хейеноорта были дети от двух из четырех жен. Живя с Троцким в Койоакане , первая жена ван Хейеноорта оставила его после ссоры с супругой Троцкого. В 1986 году он навестил свою бывшую четвертую жену, Анн-Мари Самору, в Мехико , где она убила его [2] , прежде чем покончить с собой.
Ван Хейеноорт также был одним из любовников Фриды Кало ; в фильме «Фрида» его играет Фелипе Фулоп.
Книги, которые Ван Хейеноорт редактировал один или вместе с другими:
С приложением Соломона Фефермана . Феферманы знали Ван Хейеноорта профессионально и в обществе на протяжении многих лет.
СМИ, связанные с Жаном ван Хейеноортом, на Викискладе?