Descriptive Summary
Van Heijenoort, Jean,
1912-
Jean Van Heijenoort Papers,
1946-1988Materials are written in English and French.
16 ft. manuscript,
typescript, printed.
Dolph Briscoe Center for American
History, The University of Texas at
Austin
Collection documents the
career of Jean van Heijenoort (1912-1986) in mathematical logic and its
history.
Related Material
Material related to van Heijenoort's years (1932-1939) as personal
secretary to Leon Trotsky is at the Houghton Library at Harvard University.

Records of his editing of the

Collected Works of Kurt
Gödel (with Solomon Feferman and others, 1985) are at Stanford
University.
Preferred Citation
Jean Van Heijenoort Papers, 1946-1988, Archives of American Mathematics,
Dolph Briscoe Center for American History, University of Texas at Austin.

Index terms
Van Heijenoort, Jean
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical -
history
Biographical Note
Jean van Heijenoort was born in Creil, France, on July 13, 1912. He was
educated at the Lycée St. Louis in Paris. From 1932 to 1939, he served as Leon
Trotsky's personal secretary. Van Heijenoort left Trotsky in 1939 and came to
the United States, where his interests turned to mathematical logic. He
received his Ph.D. from New York University in 1949, and taught in the New York
University Mathematics Department until 1965, when he moved to the Department
of Philosophy and the History of Ideas at Brandeis University, becoming
Professor Emeritus in 1977. He died in Mexico City on March 28, 1986.

Van Heijenoort is best-known for his work in the history of logic; he
was the editor of

From Frege to Gödel: A Source Book in
Mathematical Logic, 1879-1931 (1967). He was also the author of several
non-historical works in mathematical logic. Some of this work appeared in his
Selected Essays (1985), but most remains unpublished.
His experiences with Trotsky are recounted in his With
Trotsky in Exile: From Prinkipo to Coyoacán (1978).
Source:

Jean van Heijenoort,
Former Trotsky Aide, New York Times, April 11, 1986
Scope and Contents
The Jean van Heijenoort Papers consist of two parts: (1) papers
transferred to the Archives of American Mathematics after his death, (2)
records of the preparation of

From Frege to Gödel
(donated by Professor van Heijenoort in 1981). The posthumous donation consists
of his writings (including his thesis and dissertation, reprints, texts of
lectures, unpublished works, and some letters) (1946-1982; 8 in.), correspondence
(1956-1983; 1 in.), research notes and unfinished work (3.5 ft.), and a
collection of writings of others (including reprints, preprints, duplicated
lecture notes, etc.) (7 ft.). The records of From Frege to
Gödel consist of correspondence (1953-1976) together with associated
manuscript material (8 in.), and a collection of reprints, preprints, etc. (7 ft.).
Correspondents include A. Church, B. Dreben, Kurt Gödel, S. C. Kleene, R. Martin, C. D.
Parsons, W. V. Quine, and H. Wang.
Papers relating to van Heijenoort (1974-1988; 3 in.) donated by his
doctoral student, Dr. Irving H. Anellis, include correspondence with, and
concerning, van Heijenoort, notes of his courses, and Dr. Anellis' writings
about van Heijenoort.

Organization
Organized into six series:

- Writings of Jean Van Heijenoort
- Correspondence:
- Work [Research notes, unfinished work]
- Writings of others [reprints, preprints, duplicated lecture notes,
etc.]
- From Frege to Gödel
- Correspondence
- Writings of others

- Material donated by Irving H. Anellis

Use Restrictions
This collection is stored remotely at CDL. Advance notice required for retrieval.
Contact repository for retrieval.

Writings of Jean van Heijenoort:
94-127/1
On the correspondence between E. Cartan's method and the
vector method in differential geometry,
1946
94-127/1
On locally convex surfaces,
1949
94-127/1
On locally convex manifolds,
1952
94-127/1
Topology,
1955
94-127/1
On the calculation of the asymptotic value of a sum of
exponentials,
1956
94-127/1
On the determination of coefficients in a sum of
exponentials,
1957
94-127/1
Draft of a letter to Nagel (not sent),
1962
94-127/1
Points and tensors,
1963
94-127/1
Brouwer,
1963
94-127/1
Mathematics, Logical structure of,
1963
94-127/1
Set theory,
1963
94-127/1
Logic,
1965
94-127/1
Conversation with de Jongh,
Sept. 9, 1965
94-127/1
Logic,
1966
94-127/1
Interpretations, satisfiability, validity,
1966
94-127/1
The set-theoretic approach to logic,
1966
94-127/1
The subformula approach to logic,
1966
94-127/1
Report on Schagrin,
December 8, 1966
94-127/1
Gödel's theorem,
1967
94-127/1
Logical paradoxes,
1967
94-127/1
From Frege to Gödel,
1967
94-127/1
Notes
94-127/1
Reviews
94-127/1
Mail
94-127/1
Copyrights
94-127/1
Logic as calculus and logic as language (abstract),
1967
94-127/1
Logic as calculus and logic as language,
1967
94-127/1
Note on Herbrand,
January 28, 1967
94-127/1
Report on Stoliar,
July 15, 1967
94-127/1
Préface àHerbrand,
Ecrits logiques,
1968
94-127/1
La logique comme calcul et la logique comme langage,
1968
94-127/1
Un procédé de démonstration en calcul des predicats,
January 15, 1968
94-127/1
Finitisme et infinitisme en logique,
January 18, 1968
94-127/1
Report on Kuyk,
June 20, 1968
94-127/1
Note,
October 31, 1968
94-127/1
On the relation between the falsifiability tree method and
the Herbrand method in quantification theory,
November 20, 1968
94-127/1
Frege and Gädel,
1970
94-127/1
Notes on the tree method,
October 15, 1971
94-127/1
Notes on logic,
October 15, 1971
94-127/1
Notes on logic,
November 1, 1971
94-127/1
Review of Szabo,
1972
94-127/1
Herbrand,
1972
94-127/1
Proof of the completeness of the method of Beth tableaux
for intuitionistic quantification theory,
1972
94-127/1
Proof of the completeness of the method of Beth tableaux,
March 1, 1972
94-127/2
Falsifiability trees,
March 15, 1972
94-127/2
The tree method for intuitionistic quantification theory,
March 18, 1972
94-127/2
The tableaux method for Grzegorczyk quantification theory,
March 18, 1972
94-127/2
The tree method for intuitionistic quantification theory,
March 19, 1972
94-127/2
The falsifiability-tree method for the simple theory of
types with extensionality,
July 23, 1972
94-127/2
Comparison between the falsifiability-tree method and the
Gentzen system,
May 3, 1973
94-127/2
A nonnormalizable system,
June 8, 1973
94-127/2
Soundness and completeness of the falsifiability-tree
method for sentential logic,
September 23, 1973
94-127/2
Subject and predicate in Western logic,
1974
94-127/2
Historical development of modern logic,
1974
94-127/2
Review of Chihara,
1974
94-127/2
Falsifiability trees,
30 September, 1974
94-127/2
Monadic translation of sentential modal logic,
October 31, 1974
94-127/2
The tree method for sentential modal logics,
November 3, 1974
94-127/2
Translation of modal quantification theory into nonmodal
quantification theory,
November 15, 1974
94-127/2
On the number of planets,
November 24, 1974
94-127/2
The tree method for intuitionistic quantification theory,
May 9, 1975
94-127/2
Notes on logic,
1975
94-127/2
The falsifiability-tree method for sentential
intuitionistic logic,
May 15, 1975
94-127/2
Herbrand,
May 18, 1975
94-127/2
Sense in Frege, Clermont-Ferrand,
July 24, 1975
94-127/2
Falsifiability trees,
September 30, 1975
94-127/2
Translation of modal quantification theory into classical
second-order logic,
November 20, 1975
94-127/2
Correspondence with Prawitz,
1975-1976
94-127/2
The Herbrand approach to predicate logic,
1976
94-127/2
Proof of the `semantic' Herbrand theorem,
1976
94-127/2
Herbrand expansions and Herbrand disjunctions,
1976
94-127/2
Should John be like every man?
1976
94-127/2
John and every man,
1976
94-127/2
Axiomatization and formalization,
1976
94-127/2
El desarrollo de la teoría de la
Cuantificatión,
1976
94-127/2
Set-theoretic semantics,
July, 1976
94-127/2
Méthode des arbres de falsifiabilité pour les logiques
modales propositionnelles,
November 20, 1976
94-127/2
Gödel,
1977
94-127/2
Hilbert,
1977
94-127/2
Monadic translation of sentential modal logic,
February 12, 1977
94-127/2
Modèles pour les logiques modales quantifiées,
March 13, 1977
94-127/2
Frege on sense identity,
1977
94-127/2
Sense in Frege,
1977
94-127/2
Letter to Anne Fagot,
December 27, 1978
94-127/2
Introduction àla sémantique des logiques non-classiques,
1979
94-127/2
Introduction àla sémantique des logiques non-classiques,
March, 1979
94-127/2
Absolutism and relativism in logic,
1979
94-127/2
Absolutismo y relativismo en lógica,
1979
94-127/2
Absolutismo y relativismo en lógica,
1979
94-127/2
Ostension and vagueness,
June 13, 1979
94-127/2
Rapport concernant M. Philippe de Rouilhan,
March 6, 1980
94-127/2
Rapport concernant M. de Rouilhan,
March 12, 1980
94-127/2
Letter to de Rouilhan,
March 24, 1980
94-127/2
Letter to Dreben,
November 5, 1980
94-127/2
On Herbrand's systems,
November 29, 1980
94-127/3
Letter to Suzanne Bachelard,
February 27, 1981
94-127/3
Letter to de Rouilhan,
February 27, 1981
94-127/3
Letter to de Rouilhan,
April 28, 1981
94-127/3
L'oeuvre logique de Jacques Herbrand et son contexte
historique,
1981
94-127/3
Letter to Quine,
November 13, 1981
94-127/3
Frege on vague predicates,
February 11, 1982
94-127/3
Letter to Dale M. Johnson,
April 5, 1982
94-127/3
Report on Orlowska,
June 14, 1982
94-127/3
Identity,
October 12, 1982
Correspondence:
94-127/3
Brunschwig
94-127/3
Church, A.
94-127/3
Corcoran, J.
94-127/3
Craig, W.
94-127/3
de Rouilhan, P.
94-127/3
Dreben, B.
94-127/3
Engel, P. (with manuscript)
94-127/3
Espié
94-127/3
Feferman, S.
94-127/3
Fraissé, R.
94-127/3
Goldfarb, W. D.
94-127/3
Hintikka, J.
94-127/3
Prawitz, D.
94-127/3
Zaslawsky, D.
Work:
[Research notes, unfinished work]

94-127/4
Ontology and logic
94-127/4
Pensée pure et langage
94-127/4
Protosyntax
94-127/4
Is a non-classical logic necessary to
mathematics?
94-127/4
Talk on Herbrand,
1982
94-127/4
Symbols, language
94-127/4
Natural deduction
94-127/4
Intuitionism
94-127/4
Logical form
94-127/4
Non-classical logics
94-127/4
References
94-127/4
Philosophy
94-127/4
Current
94-127/4
Logic problems
94-127/4
Logic - notes
94-127/4
Logic - quotations
94-127/4
Functionals
94-127/4
Non-classical logics - miscellaneous
94-127/4
Sense in Frege
94-127/4
Frege misunderstood
94-127/4
Post-Gödelian systems
94-127/4
Non-classical logics - papers
94-127/4
Categoricalness
94-127/4
Review of Chihara
94-127/4
Logic and psychology
94-127/4
Löwenheim
94-127/4
Notebooks, small
94-127/4
Functionals
94-127/4
Foundations of geometry
94-127/4
Simple theory of types
94-127/4
Rigidity
94-127/4
Herbrand (materials)
94-127/4
Herbrand - Kreisel on Herbrand
94-127/4
Herbrand, non-classical
94-127/5
Herbrand
94-127/5
Set-theoretic semantics
94-127/5
Universalization
94-127/5
On the completeness of first-order logic
94-127/5
On the Frege-Russell definition of number
94-127/5
Nature of mathematics
94-127/5
Higher-order calculi
94-127/5
Turing machines
94-127/5
Foundations of mathematics, Arithmetic and Gödel's
theorem
94-127/5
One-valued logics
94-127/5
On narrative discourse
94-127/5
Theory of logic
94-127/5
Paradoxes
94-127/5
Recursive functions (definition of)
94-127/5
Induction
94-127/5
Intuitionism
94-127/5
The number system
94-127/5
Husserl
94-127/5
Axiomatization of number theory
94-127/5
Theorem-proving by machine
94-127/5
Notes
94-127/5
Foundations of mathematics
94-127/5
Independence proofs
94-127/5
Axiom of infinity
94-127/6
Consistency
94-127/6
Infinite proofs
94-127/6
Ordinals
94-127/6
Categoricalness, Proof of (and discussion)
94-127/6
Formalization of a theory
94-127/6
Finite (definition of)
94-127/6
Formalization of number theory
94-127/6
Formal semantic
94-127/6
The axiomatic method
94-127/6
On the notion of recursive function
94-127/6
Set theory
94-127/6
Recursive function theory
94-127/6
Recursive definitions
94-127/6
A survey of logic, The subformula approach to
logic
94-127/6
Conventionalism - logical
94-127/6
Conventionalism, Poincaré and Reichenbach
94-127/6
Definition
94-127/6
Descriptive set theory
94-127/6
Craig's lemma
94-127/6
Type theory
94-127/6
Completeness
94-127/6
Contra Lemmon
94-127/6
Conventionalism - Arithmetical
94-127/6
Conventionalism - Geometrical
94-127/6
Prenex forms
94-127/6
Philosophy of logic
94-127/6
Category theory
94-127/6
Philo lectures
94-127/6
Logic, Indian
94-127/6
[unlabeled, notes on logic literature]
94-127/6
On Gödel's theorem
94-127/6
La petite plante
94-127/6
Subject and predicate
94-127/6
Algebraic logic
94-127/6
Theory of descriptions
94-127/6
Combinatory logic
94-127/6
Hegel
94-127/6
Notes (Philosophy)
94-127/6
Ex falso sequitur quodlibet
94-127/6
Subjects
94-127/6
Infinitary languages
94-127/6
Beth's error
94-127/6
Misc. notes - Logic
94-127/6
Misc. notes on logic
94-127/6
Copié
94-127/6
Philosophy of logic
94-127/6
Received from J. D.,
October 12, 1982
94-127/6
Alphabetical order
94-127/6
Neat numbers
94-127/6
Logic, Nature of
94-127/6
A survey of logic, miscellaneous notes
94-127/7
Moore
94-127/7
Coffa
94-127/7
Hintikka
94-127/7
Hintikka,
1975
94-127/7
Hintikka,
1957
94-127/7
Hintikka and Rantala
94-127/7
Vagueness, Incomplete entities
94-127/7
Du vague (copy)
94-127/7
Frege and vagueness (copy)
94-127/7
Frege and vagueness - materials
94-127/7
Frege and vagueness
94-127/7
Ostension and vagueness
94-127/7
Du vague - Lecture in French
94-127/7
Vagueness - Notes courant
94-127/7
Vagueness - Notes
94-127/7
Vagueness - Sea battle
94-127/7
Vagueness
94-127/7
Frege and vagueness,
August 23, 1982
94-127/7
Frege on vague predicates
94-127/7
Vagueness
94-127/7
Cashier
94-127/7
Current
94-127/7
Intuitionism and vagueness
94-127/7
Leibniz, Dedekind, Frege
94-127/7
Materials
94-127/7
Noise and vagueness
94-127/7
Poincaré
94-127/7
Probability, information theory
94-127/7
Realism and bivalence
94-127/7
References
94-127/7
Time
94-127/7
Undecidability and vagueness
94-127/7
Notes diverses
94-127/7
Ostension
94-127/7
Intension
94-127/7
Substitutional quantification
94-127/7
Valuations
94-127/7
Frege's
Farbung
94-127/7
A fashionable quotation
94-127/7
Notes philosophiques
94-127/7
Frege's universe
94-127/7
Alston
94-127/7
Ayer
94-127/7
Frege - Über das Trägheitsgesetz
94-127/7
Haack
94-127/7
Kreisel, Review of Brouwer's Cambridge lectures,
1982
94-127/7
Parikh,
1977
94-127/7
Parikh,
1981
94-127/7
Peirce
94-127/7
Posy
94-127/7
Putnam,
1982
94-127/7
Quine, Facts of the matter,
1977
94-127/7
Quine,
1980
94-127/8
Russell, Vagueness,
1923
94-127/8
Van Dalen,
1978
94-127/8
Zadeh
94-127/8
Girard
94-127/8
Brouwer, Cambridge lectures
94-127/8
Troelstra, Choice sequences
94-127/8
Category theory
94-127/8
Distributions
94-127/8
Bell
94-127/8
Fourman and Scott
94-127/8
Notes politiques
94-127/8
de Rouilhan
94-127/8
Notes to be classified - Logic, 1 of 2
94-127/9Notes to be classified - Logic, 2 of 2
Writings of others:
[reprints, preprints, duplicated lecture notes, etc.]

94-127/9
Papers
[folder of unsorted papers]

94-127/9
A - Blom
94-127/10
Bloom-Diller
94-127/11
Dreben-Girard
94-127/12
Girard-Hermes
94-127/13
Hermes-Kandel
94-127/14
Kaplan-Malament
94-127/15Marchaisse-Prawitz
94-127/16Prawitz-Schank
94-127/17Scaltsas-Smith
94-127/18Smith-Zucker
From Frege to Gödel:
94-127/19
Correspondence:
["M" indicates presence of manuscript(s) in addition to letters.
"*" indicates no letters to or from van Heijenoort.]

94-127/19
Ackerman, Hans Richard
94-127/19
Ackerman, Wilhelm
94-127/19
Artin, Emil
94-127/19
Bernays, Paul
94-127/19
to Dreben, B.
94-127/19
to Goldfarb
94-127/19
Beth, E. W.
94-127/19
Cassina, U.
94-127/19
Church, A. [M]
94-127/19
Corcoran, John
94-127/19
Curry, Haskell B.
94-127/19
Dawson, John W., Jr.,
1982-1986
94-127/19
De Jongh
94-127/19
*Dedekind, Richard [M]
94-127/19
to H. Keferstein
94-127/19
Dreben, Burton [M]
94-127/19
to Bernays, P.
94-127/19
Gödel, K. (with reply)
94-127/19
Hailperin, T. (with reply)
94-127/19
Mints, G. E.
94-127/19
Schutte, K.
94-127/19
*Fenstad, Jens Erik
94-127/19
to Savitt, S.
94-127/19
Finsler, P.
94-127/19
Follesdal, Dagfinn
94-127/19
Fraenkel, Abraham A.
94-127/19
Gilmore, Paul
94-127/19
*Girard, Jean-Yves [M]
94-127/19
Gödel, Kurt
94-127/19
to Davis, M.
94-127/19
Quine, W. V.
94-127/19
Goodstein, R. L.
94-127/20
*Herbrand, Documents ENS
[photocopies of letters and documents
circa 1931. Includes letters of E. Artin,
J. Herbrand, and E. Noether]

94-127/20
Hermes, Hans
94-127/20
Heyting, A.
94-127/20
Isles, David
94-127/20
*Keferstein, H. [M]
94-127/20
to Dedekind
94-127/20
Kleene, S. C. [M]
94-127/20
to Dreben, B.
94-127/20
Koerner, S.
94-127/20
Kolmogorov, A. H.
94-127/20
Leaf, Michelina
94-127/20
Martin, Roger [M]
94-127/20
Martin-Loef, Per
94-127/20
Montague
94-127/20
Moschovakis, Yiannis N.
94-127/20
Myhill
94-127/20
Nagel, Ernst
94-127/20
Parsons, Charles D.
94-127/20
correspondence with G. Kreisel
94-127/20
Patzig, Guenther
94-127/20
to Dreben, B.
94-127/20
correspondence of van H. with J. Sprute
94-127/20
Quine, W. V.
94-127/20
to Elder, J. (Harvard Univ. Press)
94-127/20
Gochet
94-127/20
Gödel, K.
94-127/20
Granger, M.
94-127/20
Correspondence of Quine and van H. with J. C.
Thiel
94-127/20
Raggio, A.
94-127/20
Russell, Bertrand
94-127/20
to Frege
94-127/20
Scanlon, T.
94-127/20
*Scott, Dana S.
94-127/20
to B. Dreben/H. Wang
94-127/20
Skolem, Th. [M]
94-127/20
D. Follesdal to van H.
94-127/20
V. F. Rickey to van H.
94-127/20
Tarski, Alfred
94-127/20
van Heijenoort, J. On Herbrand's Systems,
1980
94-127/20
Vesley, Richard E.
94-127/20
Wang, Hao [M]
94-127/20
to Dreben, B.
94-127/20
Weil, A.
94-127/20
Wiener, Norbert
94-127/20
Wilder, Raymond L.
Writings of others:
94-127/21
A - Beth (Includes correspondence with P. B.
Andrews)
94-127/22
Biardeau - Church
94-127/23
Cohen - Culmer
94-127/24
Cummins - Feferman
94-127/25
Feferman - Gergonne
94-127/26
Giannattasio - Guillaume
94-127/27
H
94-127/28
I
94-127/29
J - L
94-127/30
M - O
94-127/31
P - Q
94-127/32
R - Scott
94-127/33
Se - Szabo
94-127/34
T - V
94-127/35
W - Z, and unidentified
Material donated by Irving H. Anellis:
94-127/36
Item list by Irving H. Anellis; Correspondence with van
Heijenoort; Manuscripts by van Heijenoort; Newspaper clippings
94-127/36
Correspondence and notes concerning van Heijenoort; Jean
van Heijenoort, his life and contributions to logic, by Irving H.
Anellis
94-127/36
Writings about van Heijenoort by Dr. Anellis
94-127/36
List of van Heijenoort's courses; Examinations; Course
notes: Logic and ontology, Theories of quantification, Intermediate
logic
94-127/36
Course notes: Advanced topics in logic: Frege, Foundations
of mathematics