Jean Van Heijenoort

Jean Van Heijenoort

Infobox_Person | name = Jean Van Heijenoort
other_names =


caption =
birth_date = birth date|1912|7|23|mf=y
birth_place = Creil, France
death_date = death date and age|1986|3|29|1912|7|23|mf=y
death_place = Mexico City, Mexico
occupation =
religion =
spouse =

Jean Louis Maxime Van Heijenoort (pronounced "highenort") (July 23 1912, Creil France - March 29 1986, Mexico City) was a pioneer historian of mathematical logic. He was also a personal secretary to Leon Trotsky from 1932 to 1939, and from then until 1947, an American Trotskyist activist.

Life

Van Heijenoort came of age in straightened family circumstances because his Dutch immigrant father died when he was two. He nevertheless acquired a powerful traditional French formal education, to which his French writings attest. (He also published in Spanish.) Although he eventually became a naturalized American citizen, he visited France twice a year from 1958 until his death, and remained very attached to his French extended family and friends.

The Trotskyite

In 1932, he joined the Trotskyist movement (recruited by Yvan Craipeau) and the Communist League. Very soon thereafter, the recently exiled Trotsky hired van Heijenoort as a secretary and bodyguard, primarily because of his fluency in French, Russian, German, and English. Thus began seven years in Trotsky's household, during which he served as an all-purpose translator, helping Trotsky write several books and keep up an extensive intellectual and political correspondence in several languages.

In 1939, van Heijenoort moved to New York to be with his second wife, Beatrice "Bunny" Guyer, where 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, left the SWP to join the US Workers Party. In 1947, he was expelled from the SWP. In 1948, he published an article, signed "Jean Vannier," in the "Partisan Review" abjuring Marxism.

Van Heijenoort was spared the ordeal of McCarthyism, and otherwise having to pay a price in later life for his youthful radicalism, because everything he published in Trotskyist organs appeared under one of more than a dozen pen names. [http://www.trotskyana.net/Trotsky_Collection/Trotskyists/Miscellanies/bio-bibl_vanheijenoort.pdf] Moreover, Feferman (1993) states that van Heijenoort the logician was quite reticent about his Trotskyist youth, and did not discuss politics. Nevertheless, in his last decade of life he contributed to the ongoing history of the Trotskyist movement by writing the monograph van Heijenoort (1978), by editing a volume of Trotsky's correspondence (van Heijenoort 1980), and by advising and working with the archivists at Harvard University's Houghton Library, which holds much of Trotsky's papers from his years in exile.

The logician

After completing a Ph. D. in mathematics at New York University in 1949, he taught mathematics there but evolved into a logician and philosopher of mathematics, in good part because of the influence of Georg Kreisel. He began teaching philosophy, first part-time at Columbia University, then full-time at Brandeis University, 1965-77. He spent much of his last decade at Stanford University, writing and editing 8 books, including parts of the "Collected Works" of Kurt Gödel.

The "Source Book" (van Heijenoort 1967), perhaps the most important book ever published on the history of logic and of the foundations of mathematics, is an anthology of translations. It begins with the first complete translation of Frege's 1879 "Begriffsschrift", which is followed by 45 historically important 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 incompletability of Peano arithmetic. For more information on the period covered by this anthology, see Grattan-Guinness (2000).

Nearly all the content of the "Source Book" was difficult to access in all but the best 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 author of the original text was asked to review the translation of his work, and suggest corrections and amendments. Each piece included editorial footnotes, all references were combined into one list, and many misprints, inconsistencies, and errors in the originals were corrected. Especially important are the remarkable introductions to each translation, most written by van Heijenoort himself. A few were written by Willard Quine and Burton Dreben.

The "Source Book" did much to advance 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 far less read than, say, Peano. Ironically, van Heijenoort (1967a) is oft-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 Peirce, Ernst Schröder, Leopold Löwenheim, Thoralf Skolem, Alfred Tarski, and Jaakko Hintikka, is covered in Brady (2000). The "Source Book" deliberately scanted 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.

The lover

Two of van Heijenoort's four wives each bore him a child. While living with Trotsky in Coyoacan, now a neighborhood of Mexico City, van Heijenoort's first wife left him after clashing with Trotsky's spouse. Van Heijenoort was also one of Frida Kahlo's lovers; in the film "Frida", he is played by Felipe Fulop. Having parted company with Trotsky in 1939 for personal reasons, van Heijenoort was innocent of all circumstances leading to Trotsky's 1940 murder. Ironically, van Heijenoort himself was likewise murdered in Mexico City, 46 years later, by his estranged fourth spouse whom he was visiting at the time. She then took her own life.

elected works

*1967a. "Logic as Language and Logic as Calculus," "Synthese 17": 324-30.
*1978. "With Trotsky in Exile: From Prinkipo to Coyoacan". Harvard Univ. Press.
*1985. "Selected Essays". Napoli: Bibliopolis.

Books which Van Heijenoort edited alone or with others:
*1967. "From Frege To Gödel: A Source Book in Mathematical Logic, 1879-1931". Harvard Univ. Press. Reprinted with corrections, 1977.
*1986, 1990. "Kurt Gödel: Collected Works, Vols. I, II". Oxford Univ. Press.
*1968. "Jacques Herbrand: Ecrits Logiques". Presses Universitaires de France.
*1980. " _fr. Leon et Natalia Trotsky: Correspondance 1933-38". Paris: Gallimard.

econdary Literature

*Irving Anellis, 1994. Van Heijenoort: Logic and Its History in the Work and Writings of Jean van Heijenoort". Modern Logic Publishing.
*Brady, Geraldine, 2000. "From Peirce to Skolem". North Holland.
*Feferman, Anita Burdman, 1993. "From Trotsky to Gödel: The Life of Jean Van Heijenoort". Wellesley MA: A. K. Peters. With an Appendix by Solomon Feferman. The Fefermans knew Van Heijenoort professionally and socially for many years.
*Ivor Grattan-Guinness, 2000. "The Search for Mathematical Roots: 1870-1940". Princeton Uni. Press.

External links

* [http://www.trotskyana.net/Trotskyists/Bio-Bibliographies/bio-bibliographies.html The Lubitz "TrotskyanaNet"] provides a biographical sketch and a selective bibliography [more complete than Feferman's] of Jean Van Heijenoort
* [http://www.lib.utexas.edu/taro/utcah/00245/cah-00245.html A Guide to the Jean Van Heijenoort papers, 1946–1988]
* [http://www.socialistorganizer.org/index.php?option=com_content&task=view&id=29&Itemid=53 The Origins of the Fourth International by Jean Van Heijenoort]
*MathGenealogy|33352

Persondata
NAME=Van Heijenoort, Jean Louis Maxime
ALTERNATIVE NAMES=
SHORT DESCRIPTION=Historian of mathematical logic and personal secretary to Leon Trotsky
DATE OF BIRTH=July 23, 1912
PLACE OF BIRTH=Creil, France
DATE OF DEATH=March 29, 1986
PLACE OF DEATH=Mexico City, Mexico


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Jean Van Heijenoort — Jean Louis Maxime van Heijenoort (* 23. Juli 1912 in Creil; † 29. März 1986 in Mexiko Stadt) war ein französischer mathematischer Logiker, bekannt für Arbeiten in der Geschichte der Logik, und Trotzkist, von 1932 bis 1939 war Heijenoort… …   Deutsch Wikipedia

  • Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

  • Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… …   Wikipedia

  • Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… …   Wikipedia

  • On Formally Undecidable Propositions of Principia Mathematica and Related Systems — This article describes the publication details of a famous paper in mathematical logic. For information about the theorems proved in this paper, see Gödel s incompleteness theorems. Über formal unentscheidbare Sätze der Principia Mathematica und… …   Wikipedia

  • Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a …   Wikipedia

  • Хейенорт, Жан ван — Жан ван Хейенорт Jean Van Heijenoort Дата рождения: 23 июля 1912(1912 07 23) Дата смерти: 29 марта 1986(1986 03 29) (73 года) …   Википедия

  • Paradoxe de Burali-Forti — En mathématiques le paradoxe de Burali Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est à dire que la théorie est contradictoire (on dit aussi …   Wikipédia en Français

  • Paradoxe de burali-forti — En mathématiques le paradoxe de Burali Forti, paru en 1897, désigne une construction qui conduit dans certaines théories des ensembles ou théories des types trop naïves à une antinomie, c’est à dire que la théorie est contradictoire (on dit aussi …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”