Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Жан Луи Максим ван Хейенорт (Jean Louis Maxime van Heijenoort) — историк математической логики. Он был личным секретарем Леона Троцкого с 1932 по 1939 год и оставался американским троцкистом до 1947 года.
Jean Louis Maxime van Heijenoort /v//æ//n// /'/h//aɪ//.//ə//n//ɔːr//t/ (van ɛjɛnɔʁt; July 23, 1912 – March 29, 1986) was a historian of mathematical logic. He was also a personal secretary to Leon Trotsky from 1932 to 1939, and an American Trotskyist until 1947.
Жизнь
Ван Хейенорт родился в Крейле, Франция. Его родители иммигрировали из Нидерландов до его рождения. Когда ван Хейеноорту было всего два года, его отец скончался, оставив семью в стесненных финансовых обстоятельствах. Несмотря на эти трудности, он продолжил обучение и достиг совершенства во французском языке. На протяжении всей жизни он поддерживал тесные связи со своими родственниками и друзьями во Франции, посещая их дважды в год после получения гражданства США в 1958 году.
Van Heijenoort was born in Creil, France. His parents had immigrated from the Netherlands before his birth. When van Heijenoort was only two years old, his father passed away, leaving his family in financial hardship. Despite these challenges, he pursued his education and became proficient in French. Throughout his life, he maintained strong connections with his extended family and friends in France, making biannual visits after he obtained American citizenship in 1958.
Политические взгляды
В 1932 году ван Хейеноорт был завербован Иваном Крейпо для участия в троцкистском движении. В том же году он вступил в Коммунистическую лигу. После изгнания Троцкого тот нанял ван Хейеноорта в качестве секретаря и телохранителя, главным образом благодаря его свободному владению французским, русским, немецким и английским языками. Ван Хейеноорт провёл семь лет в доме Троцкого, в течение которых он работал переводчиком, помогал Троцкому писать несколько книг и вёл обширную интеллектуальную и политическую переписку на разных языках. В 1939 году ван Хейеноорт переехал в Нью-Йорк, чтобы быть со своей второй женой, Беатрис "Банни" Гюйер. Он не был причастен к обстоятельствам, приведшим к убийству Троцкого в 1940 году. В Нью-Йорке он работал в Социалистической рабочей партии (США) (SWP) и написал ряд статей для американской троцкистской прессы и других радикальных изданий. В 1940 году он был избран в секретариат Четвёртого Интернационала, но подал в отставку, когда Феликс Морроу и Альберт Голдман, на стороне которых он выступил, были исключены из СРП. (Голдман впоследствии вступил в Рабочую партию США, а Морроу не присоединился ни к одной другой партии или группировке.) В 1947 году ван Хейеноорт также был исключён из СВП. В 1948 году он опубликовал статью под названием «Баланс столетия», в которой подверг критике ту часть марксизма, которая рассматривала «пролетариат» как революционный класс, при этом продолжая считать другие положения марксизма верными. Ван Хейеноорта spared the ordeal of McCarthyism, поскольку все его публикации в троцкистских изданиях выходили под одним из более чем десятка псевдонимов, которые он использовал. Согласно Феферману (1993), ван Хейеноорт, как логик, был довольно сдержан в отношении своей троцкистской молодости и не обсуждал политику. Тем не менее, он продолжал вносить вклад в троцкистское движение до последнего десятилетия своей жизни, когда написал свою монографию «С Троцким в изгнании» (1978) и издание переписки Троцкого (1980). Он консультировал и сотрудничал с архивистами библиотеки Хоутона при Гарвардском университете, где хранится множество документов Троцкого, относящихся к годам его изгнания.
In 1932, van Heijenoort was recruited by Yvan Craipeau to join the Trotskyist movement. He joined the Communist League in the same year. After Trotsky was exiled, he hired van Heijenoort as a secretary and bodyguard, primarily because of his fluency in French, Russian, German, and English. Van Heijenoort spent seven years in Trotsky's household, during which he served as a translator, helped Trotsky write several books and carried on an extensive intellectual and political correspondence in several languages. In 1939, van Heijenoort moved to New York City to be with his second wife, Beatrice "Bunny" Guyer. He was not involved in the circumstances leading to Trotsky's murder in 1940. In New York, he worked for the Socialist Workers Party (US) (SWP) and wrote a number of articles for the American Trotskyist press and other radical outlets. He was elected to the secretariat of the Fourth International in 1940 but resigned when Felix Morrow and Albert Goldman, with whom he had sided, were expelled from the SWP. (Goldman subsequently joined the US Workers Party while Morrow did not join any other party or grouping.) In 1947, van Heijenoort too was expelled from the SWP. In 1948, he published an article, entitled "A Century's Balance Sheet", in which he criticized that part of Marxism which saw the "proletariat" as the revolutionary class. He continued to hold other parts of Marxism as true. Van Heijenoort was spared the ordeal of McCarthyism as everything he published in Trotskyist publications appeared under one of over a dozen pen names he used. According to Feferman (1993), Van Heijenoort the logician was quite reserved about his Trotskyist youth, and did not discuss politics. Nevertheless, he contributed to the Trotskyist movement until the last decade of his life, when he wrote his monograph With Trotsky in Exile (1978), and an edition of Trotsky's correspondence (1980). He advised and collaborated with the archivists at the Houghton Library in Harvard University, which holds many of Trotsky's papers from his years in exile.
Академическая работа
После получения степени Ph.D. по математике в Нью-Йоркском университете в 1949 году под руководством Дж. Дж. Стокера, Ван Хейеноорт начал преподавать математику в этом же университете, но затем переключился на логику и философию математики, во многом под влиянием Георга Крейзеля. Он начал преподавать философию, сначала неполный рабочий день в Колумбийском университете, а затем полный рабочий день в Брандейском университете с 1965 по 1977 год. Последнее десятилетие он провел в Стэнфордском университете, где писал и редактировал восемь книг, включая части "Собрания сочинений Курта Гёделя". "От Фреге до Гёделя: Источник по математической логике" (1967) – это антология переводов по истории логики и основаниям математики. Она начинается с первого полного перевода "Бегрифсшрифта" Фреге 1879 года, за которым следуют 45 небольших работ по математической логике и аксиоматической теории множеств, первоначально опубликованных в период с 1889 по 1931 год. Антология завершается основополагающей работой Гёделя о неполноте арифметики Пеано. Почти весь материал, представленный в книге "От Фреге до Гёделя: Источник по математической логике", был доступен лишь в нескольких университетских библиотеках Северной Америки (например, даже Библиотека Конгресса не приобрела экземпляр "Бегрифсшрифта" до 1964 года), и все, кроме четырех фрагментов, потребовали перевода с одного из шести континентальных европейских языков. По возможности, авторы оригинальных текстов просматривали переводы и предлагали исправления и поправки. Каждый фрагмент сопровождался редакционными примечаниями и введением (в основном Ван Хейеноорта, но также и Уилларда Куайна и Бертона Дребена); ссылки были объединены в исчерпывающую библиографию, а опечатки, нестыковки и ошибки были исправлены. "От Фреге до Гёделя: Источник по математической логике" способствовала утверждению точки зрения, согласно которой современная логика берет свое начало и строится на основе "Бегрифсшрифта". Грэттан Гиннесс (2000) утверждает, что эта перспектива в отношении истории логики ошибочна, поскольку Фреге использовал своеобразную нотацию и был значительно менее популярен, чем Пеано. Ирония заключается в том, что ван Хейеноорт (1967) часто цитируется теми, кто придерживается альтернативной модель-теоретической позиции в логике и математике. Большая часть истории этой позиции, ключевыми фигурами которой являются Джордж Буль, Чарльз Сандерс Пирс, Эрнст Шрёдер, Леопольд Лёвенхайм, Торальф Сколем, Альфред Тарский и Яакко Хинтикка, освещена в работе Брэди (2000). "От Фреге до Гёделя: Источник по математической логике" недооценивает алгебраическую логику Де Моргана, Буля, Пирса и Шрёдера, но уделяет больше страниц Сколему, чем кому-либо, кроме Фреге, и включает работу Лёвенхайма (1915), основополагающую статью по теории моделей.
After completing a Ph. D. in mathematics at New York University in 1949 under the supervision of J. J. Stoker, Van Heijenoort began to teach mathematics at New York University, but moved to logic and philosophy of mathematics, largely under the influence of Georg Kreisel. He started teaching philosophy, first part time at Columbia University, then full time at Brandeis University from 1965 to 1977. He spent much of his last decade at Stanford University, writing and editing eight books, including parts of the Collected Works of Kurt Gödel. From Frege to Gödel: A Source Book in Mathematical Logic (1967) is an anthology of translations on the history of logic and the foundations of mathematics. It begins with the first complete translation of Frege's 1879 Begriffsschrift, followed by 45 short pieces on mathematical logic and axiomatic set theory, originally published between 1889 and 1931. The anthology ends with Gödel's landmark paper on the incompleteness of Peano arithmetic. Nearly all the content of From Frege to Gödel: A Source Book in Mathematical Logic had only been available in a few North American university libraries (e. g., even the Library of Congress did not acquire a copy of the Begriffsschrift until 1964), and all but four pieces had to be translated from one of six continental European languages. When possible, the authors of the original texts reviewed the translations, and suggested corrections and amendments. Each piece was supplied with editorial footnotes and an introduction (mostly by Van Heijenoort but some by Willard Quine and Burton Dreben); its references were combined into a comprehensive bibliography, and misprints, inconsistencies, and errors were corrected. From Frege to Gödel: A Source Book in Mathematical Logic contributed to advancing the view that modern logic begins with, and builds on, the Begriffsschrift. Grattan Guinness (2000) argues that this perspective on the history of logic is mistaken, because Frege employed an idiosyncratic notation and was significantly less read than Peano. Ironically, van Heijenoort (1967) is often cited by those who prefer the alternative model theoretic stance on logic and mathematics. Much of the history of that stance, whose leading lights include George Boole, Charles Sanders Peirce, Ernst Schröder, Leopold Löwenheim, Thoralf Skolem, Alfred Tarski, and Jaakko Hintikka, is covered in Brady (2000). From Frege to Gödel: A Source Book in Mathematical Logic underrated the algebraic logic of De Morgan, Boole, Peirce, and Schröder, but devoted more pages to Skolem than to anyone other than Frege, and included Löwenheim (1915), the founding paper on model theory.
Личная жизнь
У Ван Хейеноорта было детей от двух из его четырех жен. Во время жизни с Троцким в Койоакане его первая жена ушла от него после ссоры с женой Троцкого. В 1986 году он навестил свою отчужденную четвертую жену, Анну Мари Замору, в Мехико, где она убила его, а затем покончила с собой. Ван Хейеноорт также был одним из любовников Фриды Кало; в фильме "Фрида" его роль исполнил Фелипе Фулоп.
Van Heijenoort had children with two of his four wives. While living with Trotsky in Coyoacán, van Heijenoort's first wife left him after an argument with Trotsky's spouse. In 1986, he visited his estranged fourth wife, Anne Marie Zamora, in Mexico City where she murdered him before taking her own life. Van Heijenoort was also one of Frida Kahlo's lovers; in the film Frida, he is played by Felipe Fulop.