WorldCat Identities

Van Heijenoort, Jean 1912-1986

Overview
Works: 80 works in 251 publications in 10 languages and 3,558 library holdings
Genres: Biography  Diaries  Records and correspondence 
Roles: Author, Editor, Translator, Thesis advisor, Other, Contributor, Opponent, Author of introduction
Classifications: QA9, 511.3
Publication Timeline
.
Most widely held works by Jean Van Heijenoort
From Frege to Gödel; a source book in mathematical logic, 1879-1931 by Jean Van Heijenoort( Book )

68 editions published between 1966 and 2002 in English and Undetermined and held by 1,414 WorldCat member libraries worldwide

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for the first time. Modern logic, heralded by Leibniz, may be said to have been initiated by Boole, De Morgan, and Jevons, but it was the publication in 1879 of Gottlob Frege's Begriffsschrift that opened a great epoch in the history of logic by presenting, in full-fledged form, the propositional calculus and quantification theory. Frege's book, translated in its entirety, begins the present volume. The emergence of two new fields, set theory and foundations of mathematics, on the borders of logic, mathematics, and philosophy, is depicted by the texts that follow. Peano and Dedekind illustrate the trend that led to Principia Mathematica. Burali-Forti, Cantor, Russell, Richard, and Kouml;nig mark the appearance of the modern paradoxes. Hilbert, Russell, and Zermelo show various ways of overcoming these paradoxes and initiate, respectively, proof theory, the theory of types, and axiomatic set theory. Skolem generalizes Louml;wenheim's theorem, and he and Fraenkel amend Zermelo's axiomatization of set theory, while von Neumann offers a somewhat different system. The controversy between Hubert and Brouwer during the twenties is presented in papers of theirs and in others by Weyl, Bernays, Ackermann, and Kolmogorov. The volume concludes with papers by Herbrand and by Gouml;del, including the latter's famous incompleteness paper. Of the forty-five contributions here collected all but five are presented in extenso. Those not originally written in English have been translated with exemplary care and exactness; the translators are themselves mathematical logicians as well as skilled interpreters of sometimes obscure texts. Each paper is introduced by a note that sets it in perspective, explains its importance, and points out difficulties in interpretation. Editorial comments and footnotes are interpolated where needed, and an extensive bibliography is included. - Publisher
Frege and Gödel; two fundamental texts in mathematical logic by Jean Van Heijenoort( Book )

19 editions published between 1967 and 2001 in English and Germanic and held by 507 WorldCat member libraries worldwide

Biographical note: van HeijenoortJean: Jean van Heijenoort, well known in the fields of mathematical logic and foundations of mathematics, is Professor of Philosophy at Brandeis University and has taught at New York and Columbia Universities
Selected essays by Jean Van Heijenoort( Book )

8 editions published in 1985 in English and Undetermined and held by 149 WorldCat member libraries worldwide

De Prinkipo à Coyoacán : sept ans auprès de Léon Trotsky by Jean Van Heijenoort( Book )

14 editions published between 1978 and 2016 in French and held by 60 WorldCat member libraries worldwide

Correspondance, 1933-1938 by Leon Trotsky( Book )

3 editions published in 1980 in French and held by 56 WorldCat member libraries worldwide

Correspondance, 1929-1939 by Leon Trotsky( Book )

4 editions published in 1989 in French and held by 34 WorldCat member libraries worldwide

Staline by Leon Trotsky( Book )

7 editions published between 1948 and 2010 in French and held by 30 WorldCat member libraries worldwide

Logical writings by Jacques Herbrand( Book )

5 editions published between 1968 and 1971 in English and Dutch and held by 27 WorldCat member libraries worldwide

In 1968 Jean van Heijenoort published an edition of Herbrand's collected logic papers (Herbrand 1968). The core of the present volume comprises translations of these papers and of the biographical notes also appearing in that edition. With two exceptions, this is their first appearance in English; the exceptions are Chap. 5 of Herbrand's thesis and Herbrand 1931c, both of which appeared in van Heijenoort 1967, the former trans lated by Burton Dreben and van Heijenoort, and the latter by van Heijenoort. These two translations have been reprinted here, thanks to the permission ofthe Harvard University Press, with only minor changes. The remainder of the present translations are my own; I am grateful to van Heijenoort for providing an English draft of 1931, which forms the basis of the translation appearing here. In these translations, the bibliographical references have been stan dardized (see p. 299 below) and the notation has been changed so that it is fairly uniform throughout (any differences from Herbrand's original notation are mentioned in footnotes). Herbrand's technical terminology is not always translated literally; the principal instances of this are 'reduite', translated 'expansion' (except in 1930, Chap. 3, {sect} 3, where it is translated 'relativization'), 'champ', translated 'domain', and 'symbole de variable apparente', translated 'quantifier'. In other cases of this sort, the French terms appear in double brackets immediately following the English renderings
El desarrollo de la teoría de la cuantificación by Jean Van Heijenoort( Book )

6 editions published in 1976 in Spanish and Undetermined and held by 17 WorldCat member libraries worldwide

Introduction à la sémantique des logiques non classiques by Jean Van Heijenoort( Book )

4 editions published in 1979 in French and held by 17 WorldCat member libraries worldwide

Staline by Leon Trotsky( Book )

3 editions published in 1979 in French and held by 14 WorldCat member libraries worldwide

De Prinkipo à Coyocán. Sept ans auprès de Léon Trotsky by Jean Van Heijenoort( Book )

1 edition published in 1988 in French and held by 10 WorldCat member libraries worldwide

Collected works by Kurt Gödel( Book )

2 editions published in 1995 in English and held by 10 WorldCat member libraries worldwide

With Trotsky in exile : from Prinkipo to Coyoacán by Jean Van Heijenoort( Book )

7 editions published between 1978 and 1984 in 4 languages and held by 9 WorldCat member libraries worldwide

Biographical note: van HeijenoortJean: Jean van Heijenoort, well known in the fields of mathematical logic and foundations of mathematics, is Professor of Philosophy at Brandeis University and has taught at New York and Columbia Universities
Correspondencia (1933-1938) by Leon Trotsky( Book )

3 editions published in 1981 in Spanish and held by 9 WorldCat member libraries worldwide

Collected works by Kurt Gödel( Book )

in German and held by 9 WorldCat member libraries worldwide

Con Trotsky, de Prinkipo a Coyoacán : testimonio de siete años de exilio by Jean Van Heijenoort( Book )

6 editions published between 1979 and 2013 in 3 languages and held by 8 WorldCat member libraries worldwide

Ben shu yi hui yi lu de xing shi xiang xi miao shu le tuo luo ci ji kan ke qu zhe de liu wang sheng ya
Politics, logic, and love : the life of Jean Van Heijenoort by Anita Burdman Feferman( Book )

1 edition published in 1993 in English and held by 3 WorldCat member libraries worldwide

Trotsky's diary in exile, 1935 by Leon Trotsky( Book )

3 editions published in 1976 in English and German and held by 2 WorldCat member libraries worldwide

Frege and Gödel by Jean Van Heijenoort( )

1 edition published in 1966 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.50 (from 0.01 for Büyükada ... to 1.00 for Memorial s ...)

From Frege to Gödel; a source book in mathematical logic, 1879-1931
Alternative Names
Heijenoort, J. van.

Heijenoort, Jean van.

Heijenoort, Jean van 1912-

Heijenoort, Jean van 1912-1986

Jean van Heijenoort Frans wiskundige (1912-1986)

Jean van Heijenoort französischer Trotzkist und Logik-Historiker

Jean van Heijenoort Historian of mathematical logic and personal secretary to Leon Trotsky

Van Heijenoort, J.

Van Heijenoort, J. 1912-1986

Van Heijenoort, J. (Jean)

Van Heijenoort, J. (Jean), 1912-1986

Van Heijenoort, Jean

Van Heijenoort, Jean, 1912-

VanHeijenoort, Jean

VanHeijenoort, Jean 1912-1986

Хейенорт, Жан ван

ژان ون‌هاینورت

エジュノール, ジャン・ヴァン

Languages
Covers
Frege and Gödel; two fundamental texts in mathematical logicLogical writingsCollected worksCollected works