TABLE OF CONTENTS
Biographical Note
Scope and Contents
Restrictions
Index Terms
Related Material
Administrative Information
OCLC Number
Accession Number
Description of Series
Correspondence
Publications
Work by others
Mathematical work
Research notes
Teaching
Lectures
Conferences and Institutes
Professional organizations
Swarthmore College Honors Examination
Security clearance
Institute for Defense, 1976, undated
Princeton Mathematics Community in the 1930s [interview with Kleene and Rosser], 1984-1985
Digital computer needs in universities and colleges, 1966-1967
Rosser's retirement, 1978
Overhead projector transparencies, undated
Personal
Photographs
|
J. Barkley Rosser Papers, 1931-1989
|
|
|
|
|
Creator |
Rosser, J. Barkley (John Barkley), 1907-1989 |
|
Title: |
J. Barkley Rosser papers |
|
Dates: | 1931-1989 |
|
|
Abstract: |
The J. Barkley Rosser Papers, 1931-1989, consist of correspondence, manuscripts of publications and lectures, notes, reprints, calculations, and books. Topics covered include logic, analytic number theory, and ballistics. |
|
Identification: |
urn:taro:utexas.cah.00212 |
|
Extent: |
12.2 linear feet |
|
Language: |
Materials are written in English. |
|
Repository: |
Dolph Briscoe Center for American History |
J. Barkley Rosser was born in Jacksonville, Florida, in 1907. He earned both his Bachelor of Science (1929) and his Master of Science (1931) from the University of Florida. He obtained his Ph.D. from Princeton University in 1934. After getting his Ph.D., Rosser taught at Princeton, Harvard, and Cornell and spent the latter part of his career at the University of Wisconsin-Madison. He continued to lecture well into his late 70s, and died at his home in Madison in 1989.
Rosser contributed to many committees and professional associations in addition to his teaching: he served as president of the Association for Symbolic Logic and the Society of Industrial and Applied Mathematics; was a member of the space vehicle panel for the advisory committee of the Apollo project; was an early contributor to computer science theory; and helped develop the Polaris missile. While at the University of Wisconsin-Madison, he served as the director of the U. S. Army Mathematics Research Center. Rosser is known for his part in the Church-Rosser theorem, in lambda calculus, and he developed the Rosser sieve.
His areas of expertise include symbolic logic, ballistics, rocket development, and numerical analysis.
Return to the Table of Contents
The J. Barkley Rosser Papers, 1931-1989, consist of correspondence, manuscripts of publications and lectures, notes, reprints, calculations, and books. Topics covered include logic, analytic number theory, and ballistics.
Forms part of the Archives of American Mathematics.
Return to the Table of Contents
Conditions Governing Access
These papers are stored remotely at CDL. Advance notice required for retrieval. Contact repository for retrieval.
Conditions Governing Use
There are no use restrictions on this collection. Publisher is responsible for complying with copyright law.
Return to the Table of Contents
|
|
|
|
|
|
|
Personal Names |
|
|
Rosser, J. Barkley (John Barkley), 1907-1989 |
|
|
Schoenfeld, Lowell, 1920- |
|
Corporate Names |
|
|
Mathematics Research Center (United States. Army) |
|
|
The University of Wisconsin-Madison. Mathematics Department |
|
Subjects |
|
|
Ballistics |
|
|
Logic, Symbolic and mathematical |
|
|
Mathematics--Study and teaching |
|
|
Number theory |
|
|
Numerical analysis |
|
|
Rockets (Ordnance) |
|
Places |
|
|
United States |
|
Document Types |
|
|
Magic squares |
Return to the Table of Contents
|
|
|
|
Materials relating to Dr. Rosser's work at the Army Math Research Center can be found at the Wisconsin Historical Society in Madison, Wisconsin. |
Return to the Table of Contents
J. Barkley Rosser Papers, 1931-1989, Archives of American Mathematics, Dolph Briscoe Center for American History, The University of Texas at Austin.
Collection processed by Dolph Briscoe Center staff. Subsequent processing by Colleen Hobbs, October 2020.
Return to the Table of Contents
52626776
Return to the Table of Contents
91-1 (Mathematical Association of America accession)
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Correspondence |
box |
91-1/1 [cdl_92130] |
|
|
Candy, A. L., 1938-1941 |
|
|
|
Church, Alonzo [includes correspondence photocopied by Church], circa 1983 |
|
|
|
Erdos, Paul, 1938-1939 |
|
|
|
Sacks, Gerald [includes mathematical work], 1961, undated |
|
|
|
Schoenfeld, Lowell, 1955-1976 |
box |
91-1/2 [cdl_92131] |
|
|
Thays, Leslie, 1973, undated |
|
|
|
Van Waarden, John, 1975-1977 |
|
|
|
American Mathematical Monthly [problem and solution], 1974 |
|
|
|
Centre de Recherches Mathematiques, 1972-1973 |
|
|
|
Hawaii lectures, 1981 |
|
|
|
Journal of Symbolic Logic, 1965 |
|
|
|
Magic squares [Coxeter, Stern, Thomas], 1938-1941 |
|
|
|
New Orleans talks, 1980 |
|
|
|
Lawrence Rad. Lab., 1971-1974 |
|
|
|
Rational proofs, 1938-1939 |
|
|
|
Stewart Committee, 1983 |
|
|
|
Sieve method, 1955 |
|
|
|
Miscellaneous mathematics related correspondence [includes requests for reprints], 1963-1989 |
|
|
|
"Miscellaneous", 1961-1963 |
|
|
|
Assorted, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Publications |
|
|
|
Books |
box |
91-1/2 [cdl_92131] |
|
|
|
Mathematical Theory of Rocket Flight, New York and London: McGraw-Hill Book Company, Inc. [bound photocopy], 1947 |
|
|
|
|
Theory and Application of $intsb {0sp z}esp {-xsp {2}}dx$ and $intsb {0sp z}esp {-psp {2}ysp {2}}dyintsp ysb 0 esp {-xsp {2}}dx$, Brooklyn: Mapleton House Publishers [bound photocopy], 1948 |
|
|
|
|
Many-Valued Logics, Amsterdam: North-Holland Publishing Company [bound photocopy], 1952 |
box |
91-1/3 [cdl_92136] |
|
|
|
Logic for Mathematicians |
|
|
|
|
|
Logic for Mathematicians, New York: McGraw-Hill Book Company, Inc. [includes correspondence], 1953 |
|
|
|
|
|
Logic for Mathematicians, New York: Chelsea Publishing Company [includes correspondence], 1978 |
|
|
|
|
|
Draft |
|
|
|
|
|
|
Chapter 1, undated |
|
|
|
|
|
|
Chapter 2, undated |
|
|
|
|
|
|
Chapter Three and Four, undated |
|
|
|
|
|
|
Chapter 3 and 4, undated |
|
|
|
|
|
|
Chapter 5, undated |
|
|
|
|
|
|
Chapter 6, undated |
box |
91-1/2 [cdl_92131] |
|
|
|
Simplified Independence Proofs: Boolean Valued Models of Set Theory, New York: Academic Press, 1969 |
|
|
|
|
Pocket Calculator Supplement for Calculus, Reading, Massachusetts: Addison-Wesley Publishing Company, 1979 |
|
|
|
Reprints |
box |
91-1/4 [cdl_92137] |
|
|
|
"Explicit Bounds for Some Functions of Prime Numbers", January 1941 |
|
|
|
|
"Axiom Schemes for M-Valued Propositional Calculi" [with A. R. Turquette], 1945 |
|
|
|
|
"Axiom Schemes for M-Valued Functional Calculi of First Order, Part I: Proof of Plausibility" [with A. R. Turquette], December 1948 |
|
|
|
|
"A Note on the Deductive Completeness of M-Valued Propositoinal Calculi" [with A. R. Turquette], January 1950 |
|
|
|
|
"Real Roots of Real Dirichlet L-series", December 1950 |
|
|
|
|
"Real Roots of Real Dirichlet L-series, II", undated |
|
|
|
|
"Transformations to Speed the Convergence of Series", January 1951 |
|
|
|
|
"Axiom Schemes for M-Valued Functional Calculi of First Order, Part II: Deductive Completeness" [with A. R. Turquette], March 1951 |
|
|
|
|
"Explicit Remainder Terms for Some Asymptotic Series", July 1955 |
|
|
|
|
"Deux Esquisses de Logique", 1955 |
|
|
|
|
"Some Sufficient Conditions for the Existence of an Asymptotic Formula or an Asymptotic Expansion", 1959 |
|
|
|
|
"Approximate Formulas for Some Functions of Prime Numbers" [with Lowell Schoenfeld], March 1962 |
|
|
|
|
"Rigorous Computation and the Zeros of the Riemann Zeta-Function" [with Lowell Schoenfeld and J. M. Yohe], 1969 |
|
|
|
|
"Mathematics Courses in 1984", June-July 1972 |
|
|
|
|
"Sharper Bounds for the Chebyshev Functions theta (x) and psi (x)" [with Lowell Schoenfeld] |
|
|
|
|
|
Draft, 1974 |
|
|
|
|
|
Published reprint, January 1975 |
|
|
|
|
"Nine-Point Difference Solutions for Poisson's Equation", April 1975 |
|
|
|
|
"Effect of Discontinuous Boundary Conditions on Finite-Difference Solutions", 1976 |
|
|
|
|
"Finite-difference Solution of Poisson's Equation in Rectangles of Arbitrary Proportions", 1977 |
|
|
|
|
"Majorization Formulas for a Biharmonic Function of Two Variables", April 1980 |
|
|
|
|
"Mathematics and Mathematicians in World War II" [includes galley proof], October 1982 |
|
|
|
|
"Mathematics and Mathematicians in World War II," A Century of Mathematics in America, Part I [includes galley proof], 1982 |
|
|
|
|
"Highlights of the History of the Lambda-Calculus", October 1984 |
|
|
|
|
"Stuff on Asymptotic", 1951-1955, undated |
|
|
|
Manuscripts |
box |
91-1/4 [cdl_92137] |
|
|
|
"On the Extension of Certain Theorems of Mathematical Physics and Their Subsequent Application to Problems of Wave Mechanics" [Master's thesis], 1931 |
|
|
|
|
"Factorial Expansions for Certain Bessel Functions", undated |
|
|
|
|
"The Goldback-Vinogradoff Theorem" [Xerox master copy], 1949, undated |
box |
91-1/3 [cdl_92136] |
|
|
|
"Non-mathematical Theory of Rocket Flight", undated |
box |
91-1/4 [cdl_92137] |
|
|
|
"Rational Proofs of the Existence of Primes in Arithmetic Sequences", 1939 |
|
|
|
|
"Real Roots of Real Dirichlet L-Series III", 1952, undated |
box |
91-1/5 [cdl_92138] |
|
|
|
"Some New Extension of Brun's Method", 1955, undated |
|
|
|
|
"Unusual Properties of Laguerre Polynomials" [with Ragab and Schoenfeld], undated |
|
|
|
|
Analytic Number Theory |
|
|
|
|
|
General correspondence, 1949-1951 |
|
|
|
|
|
Correspondence with Chelsea Publishing Company, 1948 |
|
|
|
|
|
Corrections, 1948, undated |
|
|
|
|
|
Bibliography, undated |
|
|
|
|
|
"Primes in an Arithmetic Progression, Page's Theorem", undated |
|
|
|
|
|
Correspondence with Schoenfeld, 1948 |
|
|
|
|
|
"Notes in Anal. # Th. Chap I", undated |
|
|
|
|
|
Chap II, 1950, undated |
|
|
|
|
|
Chap III, undated |
|
|
|
|
|
Chap IV and V, undated |
|
|
|
|
Supplement to diabolic squares ["Magic Squares, Supplement"], undated |
|
|
|
|
Propositional Calculus, undated |
|
|
|
|
Chapter IX, undated |
|
|
|
|
Early drafts, undated |
box |
91-1/6 [cdl_92139] |
|
|
|
Original [includes reprints by Rieger and Kuhn], 1953-1954, undated |
|
|
|
|
Printed matter [chapters I-VIII], undated |
|
|
|
|
Carbon, undated |
|
|
|
|
Appendices, undated |
|
|
|
|
Assorted typed manuscripts, undated |
|
|
|
|
Untitled [handwritten], undated |
|
|
|
Technical reports |
box |
91-1/6 [cdl_92139] |
|
|
|
"Numerical Computation of Low Moments of Order Statistics from a Normal Population", 1951, undated |
box |
91-1/7 [cdl_92141] |
|
|
|
"Axiomatization of Infinite Valued Logics", September 1960 |
|
|
|
|
"A Table of Ei(x) (x-1)e-x", March 1961 |
|
|
|
|
"Table for Estimating Functions of Primes", September 1961 |
box |
91-1/8 [cdl_92142] |
|
|
|
"Estimation of Capacity with Bounds for the Error, I" [April 1966], [includes correspondence and research materials], 1950, 1962-1973 |
|
|
|
|
"Block Relaxation by Computer", April 1964 |
|
|
|
|
"The Direct Solution of Difference Analogs of Poisson's Equation", October 1967 |
|
|
|
|
"The Riemann Zeta-Function Magnetic Tapes" [with D. R. Musser, Lowell Schoenfeld, and J. M. Yohe], March 1969 |
|
|
|
|
"An Iterative Algorithm for Calculating Potentials Near Small Groups of Finite Charged Plates" [with F. S. Acton], December 1970 |
box |
91-1/7 [cdl_92141] |
|
|
|
"Approximation of the Riemann Zeta-Function" [with Lowell Schoenfeld] |
|
|
|
|
|
Early draft, 1970 |
|
|
|
|
|
Published report, June 1971 |
|
|
|
|
|
References, 1924, 1967-1975 |
box |
91-1/8 [cdl_92142] |
|
|
|
"Bounds for Some Coefficients Related to the Zeta Function", July 1972 |
|
|
|
|
"Potentials of Charged Plates, Part I", April 1973 |
|
|
|
|
"Finite-Difference Solution of Poisson's Equations in Rectangles of Arbitrary Shape", September 1973 |
|
|
|
|
"Potentials of Charged Plates, Part III", December 1973 |
|
|
|
|
"A Power Series Solution of a Harmonic Mixed Boundary Value Problem" [with N. Papamichael], December 1973 |
|
|
|
|
"Finite-Difference Solution of Poisson's Equation in Rectangles of Arbitrary Shape", February 1974 |
|
|
|
|
"Potentials of Charged Plates", October 1974 |
|
|
|
|
"Fourier Series in the Computer Age", February 1974 |
|
|
|
|
"A Power Series Solution of a Harmonic Mixed Boundary Value Problem" [with N. Papmichael], January 1975 |
|
|
|
|
"Nine-Point Difference Solutions for Poisson's Equation", March 1975 |
box |
91-1/6 [cdl_92139] |
|
|
|
"Calculation of Potential in a Sector, Part I" [includes notes], May 1975 |
box |
91-1/8 [cdl_92142] |
|
|
|
"High Precision Coefficients Related to the Zeta Function" [with Fred D. Crary], May 1975 |
|
|
|
|
"Fourier Transform Evaluation", June 1976 |
|
|
|
|
"Cancellation and Rounding Errors" [with J. Michael Yohe], August 1976 |
|
|
|
|
"Solution of Partial Differential Equations by Means of Finite Elements: An Introductory Sketch", December 1976 |
box |
91-1/7 [cdl_92141] |
|
|
|
"Harmonic Functions on Regions with Reentrant Corners, Part I" [includes draft], 1977, undated |
|
|
|
|
"Majorization Formulas for a Biharmonic Function of Two Variables" [includes draft], August 1978 |
box |
91-1/8 [cdl_92142] |
|
|
|
"Highlights of the History of the Lambda-Calculus", October 1982 |
box |
91-1/6 [cdl_92139] |
|
|
|
"A Numerical Bound in the Three Prime Theorem" [Obsolete], undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Work by others |
box |
91-1/8 [cdl_92142] |
|
|
Bateman, Paul, "Imaginary Quadratic Fields with Unique Factorization" [with Emil Grosswald], 1961 |
|
|
|
Brun, Viggo, 1916-1931 |
|
|
|
Church, Alonzo, "Russell's theory of Identify of Propositions" [includes correspondence], circa 1985 |
|
|
|
Erdös, Paul, 1935-1950 |
box |
91-1/9 [cdl_92143] |
|
|
Feferman, Solomon, "Transfinite recursive progressions of axiomatic theories", undated |
|
|
|
Grimm, Gottfried, Zeroes of L-series, 1932 |
|
|
|
Grosswald, Emil, ""L-functions and quadratic fields with unique factorization", 1963-1964 |
|
|
|
Harrington, Walter Joel, "A Study of Certain Functions Auxiliary to Brun's Method in Number Theory", 1941 |
|
|
|
Hiz, H. [includes notes by Rosser], 1957, undated |
|
|
|
Hlavka, James L., "Evaluation of a Lower Bound for Vinogradov's Three Prime Theorem, with an Improved Error Term" [includes corrections], undated |
|
|
|
Jones, J. P., "The Existential Gödel-Rosser Theorem", 1979-1981 |
|
|
|
Klop, Jan William, "A Counterexample to the Church-Rosser Property for Lambda Calculus with Subjective Pairing", January 1979 |
|
|
|
Kuhn, Pavel [reprints and correspondence], 1939, 1954, undated |
|
|
|
McCurley, Kevin, "Explicit Estimates for Functions of Primes in Arithmetic Progressions", 1981 |
|
|
|
Mitchell, Emerson, mathematical calculations, 1974, undated |
|
|
|
Rademacher, Hans, undated |
|
|
|
Ragab, F. M., "Four titles re: Laguerre Polynomials", undated |
|
|
|
Richert, H. E., "Die Brun-Selbergsche Siebmethode", 1962-1963 |
|
|
|
Scarpellin, Bruno, "Non-Axiomatizability of the Infinitely-many-valued Predicate Calculus x" [includes correspondence and notes], 1950, 1960, undated |
box |
91-1/10 [cdl_92140] |
|
|
Schoenfeld, Lowell, "Every Odd Integer Having at Least 350,000 Digits is the Sum of Three Odd Primes" [lecture], 1957-1959 |
|
|
|
Schoenfeld, Lowell, three manuscripts, undated |
|
|
|
Schoenfeld-Selberg ["Chapter V: The Goldbach-Snirel'man Thorem"], December 22, 1954 |
|
|
|
Schroer, David Edward, "The Church-Rosser Theorem," [Ph.D. thesis], June 1965 |
box |
91-1/11 [cdl_92144] |
|
|
Teichroew, D., 1954-1955 |
|
|
|
Laguerre polynomials reprints, undated |
|
|
|
Laplace Transforms, 1944 |
|
|
|
Linear equation reprints, 1946-1958 |
|
|
|
Partial difference equations reprints, 1951-1959 |
|
|
|
Brunel University, 1978-1982 |
|
|
|
Photocopied mathematical notes, 1949, undated |
box |
91-1/12 [cdl_92145] |
|
|
Reprints [assorted], 1941-1954 |
|
|
|
Assorted reprints [Dutch], 1938-1940, 1950-1953 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mathematical work |
box |
91-1/12 [cdl_92145] |
|
|
Block relaxation by computer [see filigree], 1962-1966, undated |
|
|
|
Computation of Ei( x), undated |
|
|
|
Direct solution of the difference analog of Poisson's Equation, undated |
|
|
|
Elementary proof – prime number theorem, undated |
|
|
|
Estimation of S (1, 2, r), undated |
|
|
|
Expansion of x^n e^-x, undated |
|
|
|
Exponential integer, undated |
|
|
|
Filigree, 1967, undated |
box |
91-1/13 [cdl_92146] |
|
|
Logic, circa 1963, undated |
|
|
|
Jan Lulsasiewicz, 1958, undated |
|
|
|
Miscellaneous results about M(x) and g(x), undated |
|
|
|
"Numerical Computation of Low Moments of Order Statistics from a Normal Population", 1951-1952 |
|
|
|
Orbits ["stuff from Curtiss Schafer, etc."], undated |
|
|
|
Order statistics [includes correspondence], 1951-1955, undated |
|
|
|
Ramsey's theorem and creative sets, undated |
|
|
|
"Reconsideration of Certain Points", undated |
|
|
|
Rose, G. F., "Propositional Calculus and Realizability", 1953, undated |
|
|
|
Three-prime theorem with Lowell Schoenfeld |
|
|
|
|
First part, sections I, II [includes correspondence], 1948 |
|
|
|
|
Second part, part of section III, 1948 |
|
|
|
|
Third part, last of section III, 1948 |
box |
91-1/14 [cdl_92147] |
|
|
|
Fourth part, sections IV, V and Vinogradov results, 1948 |
|
|
|
|
Section I: Basic Inequalities and Lemmas, undated |
|
|
|
|
Section III: Regions in which <(s, x) 0 and Estimates for Functions Involving < (s, x), undated |
|
|
|
|
Section IV: The Number of Primes in a Progression and Section V: Vinogradov's Estimate, undated |
|
|
|
|
Section VI: The Three Prime Theorem, undated |
|
|
|
|
Intro and Biblio, undated |
|
|
|
|
Changes [8 sets of revisions], undated |
|
|
|
|
Changes to Section IV, undated |
|
|
|
|
Untitled pages, undated |
|
|
|
From Lowell Schoenfeld, August 1965 |
|
|
|
Real roots of real Dirichlet L-series, 1950, undated |
|
|
|
"Reconsideration of Certain Points", undated |
box |
91-1/15 [cdl_92278] |
|
|
Study of F n (a,b), undated |
|
|
|
Study of G n ( X), undated |
|
|
|
Tables of G n ( X), undated |
|
|
|
Table of Zeta Function [printout], undated |
|
|
|
W. J. Dixon, 1951, undated |
|
|
|
Zeroes of L-series, undated |
|
|
|
Miscellaneous notes on eigenvalues, undated |
|
|
|
Miscellaneous notes, undated |
|
|
|
Unlabeled [includes printouts], undated |
box |
4RM55b [SRH1230020474] |
|
|
Unlabeled, undated |
box |
91-1/16 [cdl_92279] |
|
|
Unlabeled, undated |
|
|
|
Untitled, undated |
|
|
|
Unfoldered, undated |
box |
4RM55c [SRH1230020475] |
|
|
Unfoldered, undated |
|
|
|
Tables and computer printouts |
box |
4RM55b [SRH1230020474] |
|
|
|
Table I. values of 4^ r [alpha]2 t ( r, r), undated |
|
|
|
|
Table II. Values of 4^ r [beta] A ( r), undated |
|
|
|
|
Table III. Table of accurate and approximate means, undated |
|
|
|
|
Table IV. Table of accurate and approximate extreme means, undated |
|
|
|
|
Computer printouts [on the 1604], undated |
|
|
|
|
Computer printouts, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Research notes |
box |
91-1/16 [cdl_92279] |
|
|
Ed Cannon Comp. of Ei ( X), undated |
|
|
|
Eigenvalues, 1952, 1962, undated |
|
|
|
Euler-MacLaurin, undated |
|
|
|
Laplace transform notes, undated |
|
|
|
The method of Hestenes and Stiefel, undated |
|
|
|
Order statistics, 1954, undated |
|
|
|
Problems on asymptotic series [includes correspondence], undated |
box |
91-1/17 [cdl_92280] |
|
|
Tables of [psi](x) and X (x), undated |
|
|
|
"Stuff on forcing" [includes reprints and mathematics work], 1963-1967 |
|
|
|
Bibliographic citation cards, undated |
|
|
|
Miscellaneous, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Teaching |
box |
91-1/17 [cdl_92280] |
|
|
Attendance [Analytic number theory], undated |
|
|
|
Mathematics 100 and 110, 1947-1949 |
|
|
|
Mathematics 381/382 assignments, 1956-1957 |
box |
4RM194 [SRH1230024909] |
|
|
Mathematics 381/382 gradebooks and assignments, undated |
|
|
|
Conditions Governing Access |
|
|
|
Restricted: |
|
|
|
381 and 382 homework [includes grade book], undated |
|
|
|
Conditions Governing Access |
|
|
|
Restricted: |
box |
91-1/17 [cdl_92280] |
|
|
Math. 381 final exam, 1957 |
|
|
|
Mathematics 381, 1953-1955 |
|
|
|
Math 381 prelim and final exam, January 1959 |
|
|
|
Math. 382 final exam student work, 1957, undated |
|
|
|
Math. 382 homework assignments, 1961, undated |
box |
91-1/18 [cdl_92281] |
|
|
Mathematics 382 theorems, undated |
|
|
|
382 prelim, undated |
|
|
|
Prelim Math. 382, 1957, undated |
|
|
|
Final exam for Logic [Math382, David N. Freeman], 1957 |
|
|
|
Logic homework 1955, undated |
|
|
|
Math 423/424, 1962-1963 |
|
|
|
615 homework assignments, Sept-Oct-Nov, 1955-1957 |
|
|
|
Notes used in Mathematics 615, 1955-1958 |
|
|
|
615 Homework Dec-Jan, 1955-1959 |
|
|
|
615 homework 1955, 1955-1956 |
box |
91-1/19 [cdl_92403] |
|
|
615 homework 1956, 1957, undated |
|
|
|
615 Homework 1957-8, September 1957-January 1958 |
|
|
|
615 1957, January 1958, undated |
|
|
|
615 homework 1958, 1958-1959 |
|
|
|
615 homework 1958, 1959, undated |
|
|
|
615 notes, undated |
|
|
|
Remarks about rigor in 615, undated |
|
|
|
Homework 616 Feb-Mar, 1956, undated |
box |
91-1/20 [cdl_92404] |
|
|
616 assignments, Feb-Mar, 1956-1959 |
|
|
|
Homework 616 Apr-May, 1956 |
|
|
|
616 homework April-May, 1956-1959 |
|
|
|
Homework 616 1957 Feb and March, 1957, undated |
|
|
|
Homework 616 1957 April and May, undated |
|
|
|
Mathematics 616, 1959 |
box |
91-1/21 [cdl_92405] |
|
|
616 problems, 1961 |
|
|
|
Thm. A, B, C, D. Asymptotic Exp. Laplace Trans. [Mathematics 621-622], undated |
|
|
|
Math. 622, "The Horn-Jeffreys-Langer Method (Commonly known as the BWK or WKB method)" [includes Langer reprints], 1948-1949 |
box |
4RM194 [SRH1230024909] |
|
|
Answers for 621 [includes gradebooks], November-December 1948 |
|
|
|
Conditions Governing Access |
|
|
|
Restricted: |
box |
91-1/21 [cdl_92405] |
|
|
Answers in 621, September-October 1948 |
|
|
|
Mathematics 621, final exam and answers, 1949 |
|
|
|
Final exam 621, 1949 |
|
|
|
621 prelim and solutions, 1950 |
|
|
|
621 final, January 1951 |
|
|
|
621 course notes, undated |
|
|
|
Answers in 621-622, January-February 1949 |
|
|
|
Problems and answers in 622, 1948 |
box |
91-1/22 [cdl_92406] |
|
|
Final exam 622 [includes answers], 1948 |
|
|
|
Math 622, final exam and answers, June 1949 |
|
|
|
622 homework, 1949 |
|
|
|
622 course notes, 1950-1951 |
|
|
|
Homework 622, 1951 |
|
|
|
Final exam 622 [includes answers], 1951 |
|
|
|
Math 622 term examination, May 1952 |
|
|
|
Homework from 622, 1949 |
|
|
|
426 Assignments, 1963, undated |
box |
91-1/23 [cdl_92407] |
|
|
Algebra [Cornell University], circa 1938, 1964 |
|
|
|
Orientation lectures ["Numerical Solutions of Ordinary Differential Equations"], 1964-1966 |
|
|
|
Computer Science 412, 1975-1977 |
|
|
|
Theorems master set [logic], undated |
|
|
|
Exercises master set [logic], undated |
box |
4RM194 [SRH1230024909] |
|
|
Arthur Shaw student work [includes grade book], undated |
|
|
|
Conditions Governing Access |
|
|
|
Restricted: |
box |
91-1/23 [cdl_92407] |
|
|
Davis 2323, undated |
|
|
|
Unlabeled course assignments, undated |
|
|
|
Unfoldered [includes correspondence], 1957, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lectures |
box |
91-1/23 [cdl_92407] |
|
|
Taft lectures [University of Cincinnati], 1969-1970 |
|
|
|
"Mathematization of U. S. Society from World War II to Present and Beyond" [James Madison University], 1982 |
box |
91-1/24 [cdl_92408] |
|
|
"Calculation of Potential in a Sector" [includes overhead transparencies], undated |
|
|
|
The Euler-Mascheroni constant, undated |
|
|
|
Thursday talks, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Conferences and Institutes |
box |
91-1/24 [cdl_92408] |
|
|
"A Report of the Institute in the Theory of Numbers" [includes paper by Rosser and errata], 1959-1960 |
|
|
|
Joint Mathematics Meeting, 1960 |
|
|
|
1982 ACM Symposium on LISP and Functional Programming, 1982 |
|
|
|
NATO Advanced Study Institute, 1973 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Professional organizations |
box |
91-1/24 [cdl_92408] |
|
|
American Mathematical Society |
|
|
|
|
Committee on Information Exchange and Publication in the Mathematical Sciences, 1965-1966 |
|
|
|
|
"Uses of the computer in teaching mathematics courses" special section, 1975 |
|
|
|
|
1982 Toronto meeting, 1982 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Swarthmore College Honors Examination |
box |
91-1/24 [cdl_92408] |
|
|
1942-1943 |
|
|
|
1961 |
box |
91-1/25 [cdl_92409] |
|
|
1961-1962 |
|
|
|
1962 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Security clearance |
box |
91-1/25 [cdl_92409] |
|
|
General, 1955-1970 |
|
|
|
National Academy clearance, 1968 |
|
|
|
NSA 1976, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
91-1/25 [cdl_92409] |
|
Institute for Defense, 1976, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
91-1/25 [cdl_92409] |
|
Princeton Mathematics Community in the 1930s [interview with Kleene and Rosser], 1984-1985 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
91-1/25 [cdl_92409] |
|
Digital computer needs in universities and colleges, 1966-1967 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
91-1/25 [cdl_92409] |
|
Rosser's retirement, 1978 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
box |
91-1/25 [cdl_92409] |
|
Overhead projector transparencies, undated |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Personal |
box |
91-1/25 [cdl_92409] |
|
|
Grand Guard 50th reunion, 1979 |
|
|
|
Insurance, 1967-1972 |
|
|
|
TIAA-CREF, 1964-1970 |
Return to the Table of Contents
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Photographs |
box |
4RM203c [SRH1230024920] |
|
|
Rosser as graduate student at Princeton, circa 1931 |
|
|
|
Group photograph at Ballistic Research Laboratory, Aberdeen Proving Ground, Maryland, undated |
|
|
|
Visit of President's Scientific Advisory Committee to the Kennedy Space Center, June 1, 1966 |
|
|
|
Portrait, 1965 |
|
|
|
Rosser at his desk in his office at UCLA as Director of the Institute for Numerical Analysis, circa 1950 |
|
|
|
Group photograph, LISP Conference in Pittsburgh, August 1982 |
Return to the Table of Contents
|