Jacob T. Schwartz

Clear, nontechnical treatment makes principles of relativity more accessible than ever. The author gradually introduces Einstein's ideas in terms of familiar concepts from high school-level geometry. More than 60 helpful drawings.

Relativity in Illustrations

Mark Kac

Gian-Carlo Rota

This is a volume of essays and reviews that delightfully explores mathematics in all its moods — from the light and the witty, and humorous to serious, rational, and cerebral. These beautifully written articles from three great modern mathematicians will provide a source for supplemental reading for almost any math class. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and broad applications of mathematics. Readers will also find coverage of history and philosophy, including discussion of the work of Ulam, Kant, and Heidegger, among others.

Essays on Mathematics, Science and Philosophy

Discrete Thoughts

Nelson Dunford

This classic text, written by two notable mathematicians, constitutes a comprehensive survey of the general theory of linear operations, together with applications to the diverse fields of more classical analysis. Dunford and Schwartz emphasize the significance of the relationships between the abstract theory and its applications. This text has been written for the student as well as for the mathematician—treatment is relatively self-contained. This is a paperback edition of the original work, unabridged, in three volumes.

General Theory

Linear Operators, Part 1

Domenico Cantone

Eugenio G. Omodeo

This must-read 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. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn’s lemma.

Applying Formalized Logic to Analysis

Computational Logic and Set Theory

This title, first published in 1965, provides an analysis of the forces and mechanisms governing the formation of the overall level of money prices. Even though this problem has a long history, and in spite of its obvious practical importance, it remains one of the most poorly understood questions in economic theory. This title will be of interest to students of monetary economics and the history of economic thought.

Jacob T. Schwartz

About

Books

Join the club