Jean van Heijenoort

En 1932, recruté par Yvan Craipeau, il rejoint le mouvement trotskiste et la Ligue communiste. Peu après, Trotski, récemment exilé, l'embauche comme secrétaire et garde du corps, principalement pour sa maîtrise du français, du russe, de l'allemand et de l'anglais. Il œuvre ainsi pendant sept ans dans la maison de Trotski, aidant Trotski à écrire plusieurs livres et de tenir une vaste correspondance intellectuelle et politique en plusieurs langues.

En 1939, van Heijenoort déménage à New York pour vivre avec sa seconde épouse, Béatrice Guyer, dite Bunny. Il y travaille pour le Parti socialiste des travailleurs (US) (SWP) et écrit un certain nombre d'articles pour la presse trotskyste américaine. Il est élu au secrétariat de la Quatrième Internationale en 1940, mais en démissionne lorsque Felix Morrow et Albert Goldman, avec lesquels il avait intégré le parti, sont expulsés du SWP (Goldman rejoint par la suite le Parti des travailleurs des États-Unis, contrairement à Morrow). En 1941, des textes signés de son pseudonyme, Marc Lorris, parviennent à des résistants Révolutionnaires communistes autrichiens exilés à Montauban[1]. En 1947, il est à son tour expulsé du SWP. En 1948, il publie dans le Partisan Review un article sous le pseudonyme de Jean Vannier où il annonce son renoncement au marxisme.

Après avoir terminé un Ph. D. en mathématiques à l'université de New York en 1949 sous la direction de J.J. Stoker, il y enseigne les mathématiques avant de se tourner vers la logique et la philosophie des mathématiques, en bonne partie sous l'influence de Georg Kreisel. Il commence à enseigner la philosophie, d'abord à temps partiel à l'université Columbia, puis à temps plein à l'université Brandeis, de 1965 à 1977. Il passe une grande partie de sa dernière décennie à l'université Stanford, à écrire 8 livres, dont certaines parties des Collected Works de Kurt Gödel.

L'anthologie From Frege to Gödel (van Heijenoort, 1967), peut-être le livre le plus important jamais publié sur l'histoire de la logique et des fondements des mathématiques, est une anthologie de traductions. Il commence par la première traduction complète de l'Idéographie de Frege (Begriffsschrift, 1879), qui est suivie de 45 textes historiques importants sur la logique mathématique et la théorie axiomatique des ensembles, initialement publiés entre 1889 et 1931. L'anthologie se termine par les articles fondamentaux de Gödel sur l'incomplétude de l'arithmétique de Peano.

Cette anthologie a largement contribué faire avancer l'idée que la logique moderne commence avec la Begriffsschrift. Selon Grattan-Guinness (2000), ce point de vue sur l'histoire de la logique est erroné, car Frege emploie une notation idiosyncrasique et a été beaucoup moins lu, par exemple, que Peano. Ironie du sort, van Heijenoort (1967) est souvent cité par ceux qui préfèrent la position « modèle-théorétique » sur la logique et les mathématiques. Une grande partie de l'histoire de cette position, dont les acteurs principaux sont George Boole, Charles Sanders Peirce, Ernst Schröder, Leopold Löwenheim, Thoralf Skolem, Alfred Tarski, et Jaakko Hintikka. L'anthologie sous-estime la logique algébrique de De Morgan, Boole, Peirce et Schröder, mais consacre plusieurs pages à Skolem, et comprend le texte de Löwenheim de 1915, article fondateur de la théorie des modèles.

Van Heijenoort eut un enfant de deux de ses quatre épouses. Tout en vivant avec Trotsky au Coyoacán, qui est aujourd'hui un quartier de Mexico, la première femme de van Heijenoort l'a quitté suite à des affrontements avec la conjointe de Trotsky. Van Heijenoort était aussi l'un des amants de Frida Kahlo (il est joué par Felipe Fulop dans le film Frida). Van Heijenoort n'est pas impliqué dans l'assassinat de Trotski en 1940 puisqu'il était aux États-Unis depuis 1939. Van Heijenoort a également été assassiné à Mexico, 46 ans plus tard, par sa quatrième ex-conjointe, qui s'est ensuite suicidée.