Jean Van Heijenoort

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 persönlicher Sekretär von Leo Trotzki.

Inhaltsverzeichnis

Leben und Werk

Van Heijenoort wuchs als Sohn eines Niederländers in Frankreich auf, wurde aber später US-Bürger. Obwohl er später in Mexiko lebte, besuchte er ab 1958 seine Familie in Frankreich zweimal jährlich. 1932 wurde er Trotzkist sowie Sekretär und Leibwächter von Leo Trotzki in Mexiko-Stadt, hauptsächlich wegen seiner Sprachgewandheit (er sprach fließend russisch, deutsch, französisch, englisch, spanisch). Noch vor Trotzkis Ermordung im Jahr 1940 trennte er sich aus persönlichen Gründen von diesem und zog 1939 mit seiner zweiten Frau Beatrice Bunny Guyer nach New York, wo er für die Socialist Workers Party arbeitete. 1940 wurde er Sekretär der Vierten Internationale, trat aber zurück als Felix Morrow und Albert Goldman innerhalb der SWP eine gemäßigte Fraktion bildeten und schließlich aus dieser ausgeschlossen wurden, wie auch Heijenoort 1947. In einem Artikel in „Partisan Review“ unter dem Pseudonym Jean Vannier schwor er 1948 dem Marxismus ab. Auch sonst veröffentlichte er seine trotzkistischen Artikel unter Pseudonym, was dazu beitrug, dass er einer Verfolgung in der McCarthy Ära entging. Später äußerte er sich nur zurückhaltend zu seiner politischen Vergangenheit, unterstützte aber das Archiv der Houghton Library an der Harvard University in der Ordnung der Papiere aus Trotzkis Nachlass und gab auch einen Band von Trotzkis Briefwechsel 1980 heraus. 1978 schrieb er ein Buch über seine Zeit mit Trotzki. Er wurde von seiner vierten, ihm inzwischen entfremdeten Frau ermordet, als er sie in Mexiko-Stadt besuchte. Sie nahm sich kurz darauf selbst das Leben.

1949 promovierte er an der New York University in Mathematik bei J. J. Stoker mit einer differentialgeometrischen Arbeit (On locally convex surfaces), wandte sich dann unter dem Einfluss von Georg Kreisel der Philosophie der Mathematik und der Logik zu. Er lehrte Philosophie (zunächst nur in Teilzeit) an der Columbia University und ab 1965 bis 1977 als Professor an der Brandeis University. Danach war er an der Stanford University, wo er an der Herausgabe der Werke von Kurt Gödel beteiligt war. Bekannt ist er für sein 1967 erschienenes Source Book in Mathematical Logic, das englische Übersetzungen vieler historisch wichtiger Arbeiten enthält, unter anderem die erste vollständige Übersetzung von Gottlob Freges Begriffsschrift. Es endet mit der Übersetzung von Gödels Arbeit von 1931 über sein Unvollständigkeitstheorem. Die meisten dieser Arbeiten waren zuvor nur sehr schwer zugänglich. Heijenoort lieferte auch Kommentare zu den Arbeiten (ebenso wie Willard van Orman Quine und Burton Dreben) und korrigierte Druckfehler und andere Fehler. Das Buch ist auch für seine Auslassungen (speziell das Weglassen von Ernst Schröder, Charles S. Peirce, die Herausstellung von Frege gegenüber Giuseppe Peano) kritisiert worden.[1].

Heijenoort hatte die US-amerikanische und französische Staatsbürgerschaft. Er taucht auch als Figur in dem Film Frida von Julie Taymor 2002 auf, als einer von Frida Kahlos Liebhabern in Mexiko-Stadt. Er war viermal verheiratet.

Schriften

  • Logic as Language and Logic as Calculus,Synthese, Bd. 17, 1967 S.324-30.
  • With Trotsky in Exile: From Prinkipo to Coyoacan, Harvard University Press 1978
  • Selected Essays. Bibliopolis, Neapel 1985

Als Herausgeber:

  • From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Harvard University Press 1967, Neuauflage 1977.
  • Kurt Gödel: Collected Works, Vols. I, II. Oxford Univ. Press. 1986, 1990
  • Jacques Herbrand: Ecrits Logiques. Presses Universitaires de France.
  • Leon et Natalia Trotsky: Correspondance 1933-38, Paris, Gallimard 1980.

Literatur

  • Irving Anellis: Van Heijenoort: Logic and Its History in the Work and Writings of Jean van Heijenoort. Modern Logic Publishing 1994
  • Anita Burdman Feferman: From Trotsky to Gödel: The Life of Jean Van Heijenoort. Wellesley Massachusetts, A. K. Peters 1993. Mit einem Anhang von Solomon Feferman.
  • Ivor Grattan-Guinness The Search for Mathematical Roots: 1870-1940, Princeton University Press 2000

Weblinks

Einzelnachweise

  1. Eine andere Auswahl veröffentlichte Geraldine Brady in From Peirce to Skolem, North Holland 2000

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • 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 =… …   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”