Texas Archival Resources Online

TABLE OF CONTENTS


Descriptive Summary

Scope and Contents

Organization

Restrictions

Index terms

Related Material

Administrative Information

Description of Series

Writings of Jean van Heijenoort:

Correspondence:

Work:

Writings of others:

From Frege to Gödel:

Material donated by Irving H. Anellis:

University of Texas, Dolph Briscoe Center for American History

A Guide to the Jean Van Heijenoort Papers, 1946-1988



Descriptive Summary

Creator: Van Heijenoort, Jean, 1912-
Title: Jean Van Heijenoort Papers,
Dates: 1946-1988
Abstract: Collection documents the career of Jean van Heijenoort (1912-1986) in mathematical logic and its history.
Extent: 16 ft. manuscript, typescript, printed.
Languages: Materials are written in English and French.
Repository: Dolph Briscoe Center for American History, The University of Texas at Austin

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

Return to the Table of Contents


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.

Return to the Table of Contents


 

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

Return to the Table of Contents


Restrictions

Use Restrictions

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

Return to the Table of Contents


Index terms

Van Heijenoort, Jean
Logic, Symbolic and mathematical
Logic, Symbolic and mathematical - history

Return to the Table of Contents


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.

Return to the Table of Contents


Administrative Information

Preferred Citation

Jean Van Heijenoort Papers, 1946-1988, Archives of American Mathematics, Dolph Briscoe Center for American History, University of Texas at Austin.

Return to the Table of Contents


Detailed Description of the Collection

 

Writings of Jean van Heijenoort:

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

Return to the Table of Contents




 

Correspondence:

Box
94-127/3 Brunschwig
Church, A.
Corcoran, J.
Craig, W.
de Rouilhan, P.
Dreben, B.
Engel, P. (with manuscript)
Espié
Feferman, S.
Fraissé, R.
Goldfarb, W. D.
Hintikka, J.
Prawitz, D.
Zaslawsky, D.

Return to the Table of Contents




 

Work:

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

Return to the Table of Contents




 

Writings of others:

[reprints, preprints, duplicated lecture notes, etc.]
Box
94-127/9 "Papers"
[folder of unsorted papers]
A - Blom
Box
94-127/10 Bloom-Diller
Box
94-127/11 Dreben-Girard
Box
94-127/12 Girard-Hermes
Box
94-127/13 Hermes-Kandel
Box
94-127/14 Kaplan-Malament
Box
94-127/15 Marchaisse-Prawitz
Box
94-127/16 Prawitz-Schank
Box
94-127/17 Scaltsas-Smith
Box
94-127/18 Smith-Zucker

Return to the Table of Contents




 

From Frege to Gödel:

Box
94-127/19 Correspondence:
["M" indicates presence of manuscript(s) in addition to letters. "*" indicates no letters to or from van Heijenoort.]
Ackerman, Hans Richard
Ackerman, Wilhelm
Artin, Emil
Bernays, Paul
to Dreben, B.
to Goldfarb
Beth, E. W.
Cassina, U.
Church, A. [M]
Corcoran, John
Curry, Haskell B.
Dawson, John W., Jr., 1982-1986
De Jongh
*Dedekind, Richard [M]
to H. Keferstein
Dreben, Burton [M]
to Bernays, P.
Gödel, K. (with reply)
Hailperin, T. (with reply)
Mints, G. E.
Schutte, K.
*Fenstad, Jens Erik
to Savitt, S.
Finsler, P.
Follesdal, Dagfinn
Fraenkel, Abraham A.
Gilmore, Paul
*Girard, Jean-Yves [M]
Gödel, Kurt
to Davis, M.
Quine, W. V.
Goodstein, R. L.
Box
94-127/20 *Herbrand, Documents ENS
[photocopies of letters and documents circa 1931. Includes letters of E. Artin, J. Herbrand, and E. Noether]
Hermes, Hans
Heyting, A.
Isles, David
*Keferstein, H. [M]
to Dedekind
Kleene, S. C. [M]
to Dreben, B.
Koerner, S.
Kolmogorov, A. H.
Leaf, Michelina
Martin, Roger [M]
Martin-Loef, Per
Montague
Moschovakis, Yiannis N.
Myhill
Nagel, Ernst
Parsons, Charles D.
correspondence with G. Kreisel
Patzig, Guenther
to Dreben, B.
correspondence of van H. with J. Sprute
Quine, W. V.
to Elder, J. (Harvard Univ. Press)
Gochet
Gödel, K.
Granger, M.
Correspondence of Quine and van H. with J. C. Thiel
Raggio, A.
Russell, Bertrand
to Frege
Scanlon, T.
*Scott, Dana S.
to B. Dreben/H. Wang
Skolem, Th. [M]
D. Follesdal to van H.
V. F. Rickey to van H.
Tarski, Alfred
van Heijenoort, J. On Herbrand's Systems, 1980
Vesley, Richard E.
Wang, Hao [M]
to Dreben, B.
Weil, A.
Wiener, Norbert
Wilder, Raymond L.
Writings of others:
Box
94-127/21 A - Beth (Includes correspondence with P. B. Andrews)
Box
94-127/22 Biardeau - Church
Box
94-127/23 Cohen - Culmer
Box
94-127/24 Cummins - Feferman
Box
94-127/25 Feferman - Gergonne
Box
94-127/26 Giannattasio - Guillaume
Box
94-127/27 H
Box
94-127/28 I
Box
94-127/29 J - L
Box
94-127/30 M - O
Box
94-127/31 P - Q
Box
94-127/32 R - Scott
Box
94-127/33 Se - Szabo
Box
94-127/34 T - V
Box
94-127/35 W - Z, and unidentified

Return to the Table of Contents




 

Material donated by Irving H. Anellis:

Box
94-127/36 Item list by Irving H. Anellis; Correspondence with van Heijenoort; Manuscripts by van Heijenoort; Newspaper clippings
Correspondence and notes concerning van Heijenoort; Jean van Heijenoort, his life and contributions to logic, by Irving H. Anellis
Writings about van Heijenoort by Dr. Anellis
List of van Heijenoort's courses; Examinations; Course notes: Logic and ontology, Theories of quantification, Intermediate logic
Course notes: Advanced topics in logic: Frege, Foundations of mathematics

Return to the Table of Contents