Schwartz, Jacob T.
Overview
Works:  179 works in 855 publications in 5 languages and 10,664 library holdings 

Genres:  Popular works Bibliography Encyclopedias Miscellanea Conference papers and proceedings History 
Roles:  Author, Editor, Collector, Other 
Classifications:  QA329.2, 512.897 
Publication Timeline
.
Most widely held works by
Jacob T Schwartz
Linear operators by
Nelson Dunford(
Book
)
219 editions published between 1957 and 2010 in 4 languages and held by 1,710 WorldCat member libraries worldwide
Part 1: general theory
219 editions published between 1957 and 2010 in 4 languages and held by 1,710 WorldCat member libraries worldwide
Part 1: general theory
Discrete thoughts : essays on mathematics, science, and philosophy by
Mark Kac(
Book
)
50 editions published between 1986 and 2008 in English and held by 892 WorldCat member libraries worldwide
This is a volume of essays and reviews that delightfully explore mathematics in all its moods  from the light and the witty, and humorous to serious, rational, and cerebral. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and applications of mathematics broadly. You will also find history and philosophy covered, including discussion of the work of Ulam, Kant, Heidegger among others." ... these papers reflect on mathematics and its influence on human society. They can help the specialist to notice what is going on around him, and they may lead educated people from other domains to a better understanding of mathematics. Many of these papers can advise educators how to form a modern mathematics education, which develops approved ideas and institutions ... I admire the stimulating perspectives of the authors."American Mathematical Society "'Mathematicians, like Proust and everyone else, are at their best when writing about their first love' ... They are among the very best we have; and their best is very good indeed. ... One approaches this book with high hopes. Happily, one is not disappointed."The Mathematical Intelligencer "Mathematics is shaped by the consistent concerns and styles of powerful minds three of which are represented here. Kac's work is marked by deep commitment and breadth of inquiry. Rota is the easiest of these authors to read ... a delight: witty and urbane, with a clear and interesting agenda and an astonishing intellectual range. To read him is to be a part of a pleasant and rewarding conversation.Mathematics Magazine
50 editions published between 1986 and 2008 in English and held by 892 WorldCat member libraries worldwide
This is a volume of essays and reviews that delightfully explore mathematics in all its moods  from the light and the witty, and humorous to serious, rational, and cerebral. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and applications of mathematics broadly. You will also find history and philosophy covered, including discussion of the work of Ulam, Kant, Heidegger among others." ... these papers reflect on mathematics and its influence on human society. They can help the specialist to notice what is going on around him, and they may lead educated people from other domains to a better understanding of mathematics. Many of these papers can advise educators how to form a modern mathematics education, which develops approved ideas and institutions ... I admire the stimulating perspectives of the authors."American Mathematical Society "'Mathematicians, like Proust and everyone else, are at their best when writing about their first love' ... They are among the very best we have; and their best is very good indeed. ... One approaches this book with high hopes. Happily, one is not disappointed."The Mathematical Intelligencer "Mathematics is shaped by the consistent concerns and styles of powerful minds three of which are represented here. Kac's work is marked by deep commitment and breadth of inquiry. Rota is the easiest of these authors to read ... a delight: witty and urbane, with a clear and interesting agenda and an astonishing intellectual range. To read him is to be a part of a pleasant and rewarding conversation.Mathematics Magazine
Introduction to matrices and vectors by
Jacob T Schwartz(
Book
)
36 editions published between 1961 and 2012 in English and Spanish and held by 759 WorldCat member libraries worldwide
36 editions published between 1961 and 2012 in English and Spanish and held by 759 WorldCat member libraries worldwide
Nonlinear functional analysis by
Jacob T Schwartz(
Book
)
37 editions published between 1964 and 1987 in 3 languages and held by 647 WorldCat member libraries worldwide
37 editions published between 1964 and 1987 in 3 languages and held by 647 WorldCat member libraries worldwide
Lie groups, Lie algebras by
Melvin Hausner(
Book
)
22 editions published between 1959 and 1989 in English and Undetermined and held by 624 WorldCat member libraries worldwide
22 editions published between 1959 and 1989 in English and Undetermined and held by 624 WorldCat member libraries worldwide
Relativity in illustrations by
Jacob T Schwartz(
Book
)
19 editions published between 1962 and 2013 in 3 languages and held by 578 WorldCat member libraries worldwide
With its answers to questions such as What is time? and What is space?, this clear, nontechnical treatment makes the principles of relativity more accessible to the general reader. The author gradually introduces Einstein's theory in terms of familiar concepts fromhigh schoollevel geometry, utilizing more than 60 drawings toilluminate profound yet often simple ideas
19 editions published between 1962 and 2013 in 3 languages and held by 578 WorldCat member libraries worldwide
With its answers to questions such as What is time? and What is space?, this clear, nontechnical treatment makes the principles of relativity more accessible to the general reader. The author gradually introduces Einstein's theory in terms of familiar concepts fromhigh schoollevel geometry, utilizing more than 60 drawings toilluminate profound yet often simple ideas
Differential geometry and topology by
Jacob T Schwartz(
Book
)
27 editions published between 1966 and 2000 in English and Russian and held by 543 WorldCat member libraries worldwide
27 editions published between 1966 and 2000 in English and Russian and held by 543 WorldCat member libraries worldwide
W* algebras by
Jacob T Schwartz(
Book
)
27 editions published between 1967 and 1968 in English and Undetermined and held by 485 WorldCat member libraries worldwide
27 editions published between 1967 and 1968 in English and Undetermined and held by 485 WorldCat member libraries worldwide
Lectures on the mathematical method in analytical economics by
Jacob T Schwartz(
Book
)
16 editions published between 1961 and 1984 in English and held by 422 WorldCat member libraries worldwide
16 editions published between 1961 and 1984 in English and held by 422 WorldCat member libraries worldwide
Information, systems, and psychoanalysis : an evolutionary biological approach to psychoanalytic theory by
Emanuel Peterfreund(
Book
)
3 editions published in 1971 in English and held by 375 WorldCat member libraries worldwide
3 editions published in 1971 in English and held by 375 WorldCat member libraries worldwide
Mathematical aspects of computer science by
Jacob T Schwartz(
Book
)
21 editions published between 1964 and 1978 in English and held by 355 WorldCat member libraries worldwide
Contents: A review of automatic theoremproving; Assigning meanings to programs; Correctness of a compiler for arithmetic expressions; Contextfree languages and Turing machine computations; Computer analysis of natural languages; The use of computers in the theory of numbers; A machine calculation of a spectral sequence; Numerical hydrodynamics of the atmosphere; The calculation of zeros of polynomials and analytic functions; Mathematical theory of automata; and Linearly unrecognizable patterns
21 editions published between 1964 and 1978 in English and held by 355 WorldCat member libraries worldwide
Contents: A review of automatic theoremproving; Assigning meanings to programs; Correctness of a compiler for arithmetic expressions; Contextfree languages and Turing machine computations; Computer analysis of natural languages; The use of computers in the theory of numbers; A machine calculation of a spectral sequence; Numerical hydrodynamics of the atmosphere; The calculation of zeros of polynomials and analytic functions; Mathematical theory of automata; and Linearly unrecognizable patterns
Programming with sets : an introduction to SETL by
Jacob T Schwartz(
Book
)
12 editions published in 1986 in English and held by 352 WorldCat member libraries worldwide
12 editions published in 1986 in English and held by 352 WorldCat member libraries worldwide
Theory of money by
Jacob T Schwartz(
Book
)
15 editions published in 1965 in English and held by 248 WorldCat member libraries worldwide
15 editions published in 1965 in English and held by 248 WorldCat member libraries worldwide
Programming languages and their compilers : preliminary notes by
W. J Cocke(
Book
)
13 editions published between 1969 and 1970 in English and held by 222 WorldCat member libraries worldwide
13 editions published between 1969 and 1970 in English and held by 222 WorldCat member libraries worldwide
Algorithmic and geometric aspects of robotics(
Book
)
12 editions published between 1986 and 2016 in English and held by 219 WorldCat member libraries worldwide
12 editions published between 1986 and 2016 in English and held by 219 WorldCat member libraries worldwide
Planning, geometry, and complexity of robot motion(
Book
)
10 editions published between 1986 and 1987 in English and held by 210 WorldCat member libraries worldwide
10 editions published between 1986 and 1987 in English and held by 210 WorldCat member libraries worldwide
On programming; an interim report on the SETL Project by
Jacob T Schwartz(
Book
)
18 editions published between 1973 and 1975 in English and held by 154 WorldCat member libraries worldwide
18 editions published between 1973 and 1975 in English and held by 154 WorldCat member libraries worldwide
Algebraic number theory by
Jacob T Schwartz(
Book
)
13 editions published in 1961 in 3 languages and held by 132 WorldCat member libraries worldwide
13 editions published in 1961 in 3 languages and held by 132 WorldCat member libraries worldwide
Asteroid name encyclopedia by
Jacob T Schwartz(
Book
)
4 editions published in 1995 in English and held by 64 WorldCat member libraries worldwide
This reference lists the 4,000+ asteroids named in almost two centuries and explains how the asteroids relate to the events in the lives of the persons, places and objects they share names with
4 editions published in 1995 in English and held by 64 WorldCat member libraries worldwide
This reference lists the 4,000+ asteroids named in almost two centuries and explains how the asteroids relate to the events in the lives of the persons, places and objects they share names with
Computational logic and set theory : applying formalized logic to analysis by
Jacob T Schwartz(
Book
)
15 editions published between 2011 and 2014 in English and held by 58 WorldCat member libraries worldwide
As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. This mustread text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Taking a systematic approach, the book begins with a survey of traditional branches of logic before describing in detail the underlying design of the ÆtnaNova system. Major classical results on undecidability and unsolvability are then recast for this system. Readers do not require great knowledge of formal logic in order to follow the text, but a good understanding of standard programming techniques, and a familiarity with mathematical definitions and proofs reflecting the usual levels of rigor is assumed
15 editions published between 2011 and 2014 in English and held by 58 WorldCat member libraries worldwide
As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem. This mustread text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Taking a systematic approach, the book begins with a survey of traditional branches of logic before describing in detail the underlying design of the ÆtnaNova system. Major classical results on undecidability and unsolvability are then recast for this system. Readers do not require great knowledge of formal logic in order to follow the text, but a good understanding of standard programming techniques, and a familiarity with mathematical definitions and proofs reflecting the usual levels of rigor is assumed
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Dunford, Nelson Author
 Rota, GianCarlo 19321999 Author
 Kac, Mark Author
 Hausner, Melvin 1928 Author
 Naoum, Adil Other Redactor
 Roitberg, Joseph Other
 Newman, Harry Editor
 Omodeo, Eugenio
 Cantone, Domenico Author
 Bade, William G. Other Editor Collector Contributor
Useful Links
Associated Subjects
Algebraic number theory Algebras, Linear Asteroids AsteroidsNames Astrology Compilers (Computer programs) Compiling (Electronic computers) Computer programming Computer science Computer scienceMathematics Continuous groups Economics, Mathematical Engineering mathematics Fiber bundles (Mathematics) Formal languages Functional analysis Game theory Geometry, Differential Hilbert space History Homology theory Human information processing Lie algebras Lie groups Linear operators Logic, Symbolic and mathematical Machine theory Mathematical analysis Mathematics MathematicsData processing Matrices Nonlinear functional analysis Nonlinear theories Number theory Philosophy Programming languages (Electronic computers) Proof theory Psychoanalysis Relativity Relativity (Physics) Robotics RobotsMotion Robot vision Science SETL (Computer program language) Set theory Software engineering Spectral theory (Mathematics) Vector analysis Von Neumann algebras
Alternative Names
Jack Schwartz Amerikaans wiskundige
Jacob Schwartz matematico e informatico statunitense
Jacob T. Schwartz amerikansk matematikar
Jacob T. Schwartz amerikansk matematiker
Jacob T. Schwartz mathématicien américain
Jacob T. Schwartz USamerikanischer Mathematiker
Jacob Theodore Schwartz
Schwartz, J.
Schwartz, J. T.
Schwartz, J. T. 19302009
Schwartz, J. T. (Jacob T.)
Schwartz, J. T. (Jacob Theodore), 19302009
Schwartz, Jack 19302009
Schwartz, Jacob 19302009
Schwartz, Jacob T.
Schwartz, Jacob T. 19292009
Schwartz, Jacob Theodore.
Schwartz, Jacob Theodore 19302009
Švarc, Dž.
Svarc, Dž. 19302009
Švarc, Dž. T.
Švarc, Dž. T. 19302009
Švarc, Džekob T. 19302009
Джекоб Шварц американский математик и информатик
Шварц, Дж..
جاکوب تی. شوارتز ریاضیدان آمریکایی
Languages
Covers