ジャン・ファン・ヘイエノールト

ジャン・ファン・ヘイエノールト
メキシコ 1937年。左から右へ: ジャン・ファン・ヘイエノールト、アルバート・ゴールドマン、レオン・トロツキー、ナタリア・セドヴァ、ヤン・フランケル
生まれる	ジャン・ルイ・マキシム・ファン・ハイエノールト (1912-07-23)1912年7月23日 クレイユ、フランス
死亡	1986年3月29日(1986-03-29)（享年73歳） メキシコシティ、メキシコ
母校	ニューヨーク大学

ジャン＝ルイ・マキシム・ファン・ヘイエノールト（/ v æ n ˈ h aɪ . ə n ɔːr t / van HY -ə-nort、フランス語: [ʒɑ̃ lwi maksim van‿ɛjɛnɔʁt]、オランダ語: [vɑn ˈɦɛiənoːrt] ; 1912年7月23日 - 1986年3月29日）は、数理論理学の歴史家である。1932年から1939年までレフ・トロツキーの個人秘書を務め、1947年まで アメリカのトロツキストでもあった。

ヴァン・ヘイエノールトはフランスのクレイユで生まれました。彼の両親は彼が生まれる前にオランダから移住してきました。ヴァン・ヘイエノールトがまだ 2 歳のとき、父親が亡くなり、家族は経済的に困窮しました。このような困難にもかかわらず、彼は学業を続け、フランス語を堪能になりました。彼は生涯を通じてフランスに住む親戚や友人と強い絆を保ち、1958 年にアメリカ市民権を取得した後は 2 年に 1 回フランスを訪れました。

1932年、ファン・ヘイエノールトはイヴァン・クレイポーにトロツキスト運動に参加するよう勧誘され、同年共産主義者同盟に加わった。トロツキーが追放された後、彼は主にフランス語、ロシア語、ドイツ語、英語に堪能だったファン・ヘイエノールトを秘書兼ボディーガードとして雇った。ファン・ヘイエノールトはトロツキーの家で7年間過ごし、その間に翻訳者として働き、トロツキーが数冊の本を書くのを手伝い、数か国語で広範囲にわたる知的、政治的な書簡を交わした。

1939年、ヘイエノールトは2番目の妻ベアトリス・「バニー」・ガイヤーと暮らすためニューヨーク市に移住した。彼は1940年のトロツキー暗殺に至る状況には関与していなかった。ニューヨークではアメリカ社会主義労働者党（SWP）で働き、アメリカのトロツキスト系新聞や他の急進派メディアに多くの記事を書いた。 1940年に第四インターナショナルの事務局長に選出されたが、彼が味方していたフェリックス・モローとアルバート・ゴールドマンがSWPから追放されたため辞任した（ゴールドマンはその後アメリカ労働者党に入党したが、モローは他の政党やグループには入党しなかった）。1947年、ヘイエノールトもSWPから追放された。 1948 年、彼は「一世紀のバランスシート」と題する論文を発表し、その中で「プロレタリア階級」を革命階級とみなすマルクス主義の部分を批判した。彼はマルクス主義の他の部分を真実であると信じ続けた。

ファン・ヘイエノールトはマッカーシズムの試練を免れた。彼がトロツキストの出版物に発表したものはすべて、彼が使用した12を超えるペンネームのいずれかで発表されたからである。フェファーマン（1993）によると、論理学者のファン・ヘイエノールトはトロツキストとしての若い頃については非常に控えめで、政治については語らなかった。それでも、彼は人生の最後の10年間までトロツキスト運動に貢献し、その年にモノグラフ『亡命中のトロツキーと共に』（1978年）とトロツキーの書簡集（1980年）を執筆した。彼はハーバード大学ホートン図書館の記録保管担当者に助言し、協力した。この図書館にはトロツキーの亡命時代の文書が多数保管されている。

1949年にニューヨーク大学でJJストーカーの指導の下で数学の博士号を取得した後、ファン・ヘイエノールトはニューヨーク大学で数学を教え始めましたが、主にゲオルク・クライゼルの影響を受けて論理学と数学の哲学に移りました。彼は最初はコロンビア大学でパートタイムで哲学を教え始め、その後1965年から1977年までブランダイス大学でフルタイムで教えました。 ^[1]彼は最後の10年のほとんどをスタンフォード大学で過ごし、クルト・ゲーデル全集の一部を含む8冊の本の執筆と編集を行いました。

『フレーゲからゲーデルまで: 数理論理学の資料集』 (1967年)は、論理学の歴史と数学の基礎に関する翻訳集です。1879年のフレーゲの「Begriffsschrift」の最初の完全な翻訳から始まり、 1889年から1931年の間に最初に出版された数理論理学と公理的集合論に関する45の短い作品が続きます。この集は、ペアノ算術の不完全性に関するゲーデルの画期的な論文で終わります。

『フレーゲからゲーデルまで: 数理論理学の原典』の内容のほぼすべては、北米のいくつかの大学図書館でしか入手できなかった (たとえば、議会図書館でさえ 1964 年までBegriffsschriftのコピーを入手していなかった) ため、4 部を除いてすべて 6 つの大陸ヨーロッパ言語のいずれかから翻訳する必要がありました。可能な場合は、原文の著者が翻訳を確認し、訂正や修正を提案しました。各部分には編集者の脚注と序文 (ほとんどは Van Heijenoort によるものですが、一部はWillard QuineとBurton Drebenによるもの) が付いており、参考文献は包括的な参考文献にまとめられ、誤植、矛盾、および誤りが修正されました。

『フレーゲからゲーデルへ: 数理論理学の原典』は、現代論理学はBegriffsschriftから始まり、それを基に構築されているという見解を推し進めるのに貢献した。Grattan-Guinness (2000) は、フレーゲは特異な記法を採用し、ペアノよりも著しく読まれなかったため、論理学の歴史に関するこの見方は誤りであると主張する。皮肉なことに、van Heijenoort (1967) は、論理と数学に関するもう 1 つのモデル理論的立場を好む人々によって頻繁に引用される。その立場の歴史の多くは、ジョージ・ブール、チャールズ・サンダース・パース、エルンスト・シュレーダー、レオポルド・レーヴェンハイム、トラルフ・スコーレム、アルフレッド・タルスキ、ヤッコ・ヒンティッカを先導する人物たちによって、Brady (2000) で取り上げられている。『フレーゲからゲーデルまで: 数理論理学の原典』は、ド・モルガン、ブール、パース、シュレーダーの代数論理を過小評価しているが、フレーゲ以外の誰よりもスコーレムに多くのページを割き、モデル理論の基礎となる論文であるレーヴェンハイム (1915) を掲載している。

ヴァン・ヘイエノールトは4人の妻のうち2人との間に子供をもうけた。コヨアカンでトロツキーと暮らしていたとき、最初の妻はトロツキーの配偶者と口論になり、ヴァン・ヘイエノールトのもとを去った。1986年、ヴァン・ヘイエノールトはメキシコシティで別居中の4番目の妻アン・マリー・サモラを訪ねたが、そこでサモラはヴァン・ヘイエノールトを殺害し、その後自殺 した^{[2] 。}

ファン・ヘイエノールトはフリーダ・カーロの恋人の一人でもあり、映画『フリーダ』ではフェリペ・フロップが彼を演じている。

ヴァン・ヘイエノールトが単独または他者と共同で編集した書籍: