In his work on rings of operators in Hilbert space, John von Neumann discovered a new mathematical structure that resembled the lattice system Ln. In characterizing its properties, von Neumann founded the field of continuous geometry. This book, based on von Neumann's lecture notes, begins with the development of the axioms of continuous geometry, dimension theory, and--for the irreducible case--the function D(a). The properties of regular rings are then discussed, and a variety of results are presented for lattices that are continuous geometries, for which irreducibility is not assumed. For students and researchers interested in ring theory or projective geometries, this book is required reading.
Continuous and discrete modules are, essentially, generalizations of infective and projective modules respectively. Continuous modules provide an appropriate setting for decomposition theory of von Neumann algebras and have important applications to C*-algebras. Discrete modules constitute a dual concept and are related to number theory and algebraic geometry: they possess perfect decomposition properties. The advantage of both types of module is that the Krull-Schmidt theorem can be applied, in part, to them. The authors present here a complete account of the subject and at the same time give a unified picture of the theory. The treatment is essentially self-contained, with background facts being summarized in the first chapter. This book will be useful therefore either to individuals beginning research, or the more experienced worker in algebra and representation theory.
Available for the first time in soft cover, this book is a classic on the foundations of quantum theory. It examines the subject from a point of view that goes back to Heisenberg and Dirac and whose definitive mathematical formulation is due to von Neumann. This view leads most naturally to the fundamental questions that are at the basis of all attempts to understand the world of atomic and subatomic particles.
Algebraical and Topological Foundations of Geometry contains the proceedings of the Colloquium on Algebraic and Topological Foundations of Geometry, held in Utrecht, the Netherlands in August 1959. The papers review the algebraical and topological foundations of geometry and cover topics ranging from the geometric algebra of the Möbius plane to the theory of parallels with applications to closed geodesies. Groups of homeomorphisms and topological descriptive planes are also discussed. Comprised of 26 chapters, this book introduces the reader to the theory of parallels with applications to closed geodesies; groups of homeomorphisms; complemented modular lattices; and topological descriptive planes. Subsequent chapters focus on collineation groups; exceptional algebras and exceptional groups; the connection between algebra and constructions with ruler and compasses; and the use of differential geometry and analytic group theory methods in foundations of geometry. Von Staudt projectivities of Moufang planes are also considered, and an axiomatic treatment of polar geometry is presented. This monograph will be of interest to students of mathematics.
This richly illustrated textbook explores the amazing interaction between combinatorics, geometry, number theory, and analysis which arises in the interplay between polyhedra and lattices. Highly accessible to advanced undergraduates, as well as beginning graduate students, this second edition is perfect for a capstone course, and adds two new chapters, many new exercises, and updated open problems. For scientists, this text can be utilized as a self-contained tooling device. The topics include a friendly invitation to Ehrhart’s theory of counting lattice points in polytopes, finite Fourier analysis, the Frobenius coin-exchange problem, Dedekind sums, solid angles, Euler–Maclaurin summation for polytopes, computational geometry, magic squares, zonotopes, and more. With more than 300 exercises and open research problems, the reader is an active participant, carried through diverse but tightly woven mathematical fields that are inspired by an innocently elementary question: What are the relationships between the continuous volume of a polytope and its discrete volume? Reviews of the first edition: “You owe it to yourself to pick up a copy of Computing the Continuous Discretely to read about a number of interesting problems in geometry, number theory, and combinatorics.” — MAA Reviews “The book is written as an accessible and engaging textbook, with many examples, historical notes, pithy quotes, commentary integrating the mate rial, exercises, open problems and an extensive bibliography.” — Zentralblatt MATH “This beautiful book presents, at a level suitable for advanced undergraduates, a fairly complete introduction to the problem of counting lattice points inside a convex polyhedron.” — Mathematical Reviews “Many departments recognize the need for capstone courses in which graduating students can see the tools they have acquired come together in some satisfying way. Beck and Robins have written the perfect text for such a course.” — CHOICE
The present volume of the Handbook of the History of Logic brings together two of the most important developments in 20th century non-classical logic. These are many-valuedness and non-monotonicity. On the one approach, in deference to vagueness, temporal or quantum indeterminacy or reference-failure, sentences that are classically non-bivalent are allowed as inputs and outputs to consequence relations. Many-valued, dialetheic, fuzzy and quantum logics are, among other things, principled attempts to regulate the flow-through of sentences that are neither true nor false. On the second, or non-monotonic, approach, constraints are placed on inputs (and sometimes on outputs) of a classical consequence relation, with a view to producing a notion of consequence that serves in a more realistic way the requirements of real-life inference. Many-valued logics produce an interesting problem. Non-bivalent inputs produce classically valid consequence statements, for any choice of outputs. A major task of many-valued logics of all stripes is to fashion an appropriately non-classical relation of consequence.The chief preoccupation of non-monotonic (and default) logicians is how to constrain inputs and outputs of the consequence relation. In what is called "left non-monotonicity, it is forbidden to add new sentences to the inputs of true consequence-statements. The restriction takes notice of the fact that new information will sometimes override an antecedently (and reasonably) derived consequence. In what is called "right non-monotonicity, limitations are imposed on outputs of the consequence relation. Most notably, perhaps, is the requirement that the rule of or-introduction not be given free sway on outputs. Also prominent is the effort of paraconsistent logicians, both preservationist and dialetheic, to limit the outputs of inconsistent inputs, which in classical contexts are wholly unconstrained.In some instances, our two themes coincide. Dialetheic logics are a case in point. Dialetheic logics allow certain selected sentences to have, as a third truth value, the classical values of truth and falsity together. So such logics also admit classically inconsistent inputs. A central task is to construct a right non-monotonic consequence relation that allows for these many-valued, and inconsistent, inputs.The Many Valued and Non-Monotonic Turn in Logic is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science, AI, linguistics, cognitive science, argumentation theory, and the history of ideas. - Detailed and comprehensive chapters covering the entire range of modal logic. - Contains the latest scholarly discoveries and interprative insights that answers many questions in the field of logic.
The book is an innovative modern exposition of geometry, or rather, of geometries; it is the first textbook in which Felix Klein's Erlangen Program (the action of transformation groups) is systematically used as the basis for defining various geometries. The course of study presented is dedicated to the proposition that all geometries are created equal--although some, of course, remain more equal than others. The author concentrates on several of the more distinguished and beautiful ones, which include what he terms ``toy geometries'', the geometries of Platonic bodies, discrete geometries, and classical continuous geometries. The text is based on first-year semester course lectures delivered at the Independent University of Moscow in 2003 and 2006. It is by no means a formal algebraic or analytic treatment of geometric topics, but rather, a highly visual exposition containing upwards of 200 illustrations. The reader is expected to possess a familiarity with elementary Euclidean geometry, albeit those lacking this knowledge may refer to a compendium in Chapter 0. Per the author's predilection, the book contains very little regarding the axiomatic approach to geometry (save for a single chapter on the history of non-Euclidean geometry), but two Appendices provide a detailed treatment of Euclid's and Hilbert's axiomatics. Perhaps the most important aspect of this course is the problems, which appear at the end of each chapter and are supplemented with answers at the conclusion of the text. By analyzing and solving these problems, the reader will become capable of thinking and working geometrically, much more so than by simply learning the theory. Ultimately, the author makes the distinction between concrete mathematical objects called ``geometries'' and the singular ``geometry'', which he understands as a way of thinking about mathematics. Although the book does not address branches of mathematics and mathematical physics such as Riemannian and Kahler manifolds or, say, differentiable manifolds and conformal field theories, the ideology of category language and transformation groups on which the book is based prepares the reader for the study of, and eventually, research in these important and rapidly developing areas of contemporary mathematics.
This is Bulletin , Volume 64, Number 3, Part II, May 1958. A memorial to the late John von Neumann edited by J. C. Oxtoby, B. J. Pettis and E. B. Price.
How is that when scientists need some piece of mathematics through which to frame their theory, it is there to hand? What has been called 'the unreasonable effectiveness of mathematics' sets a challenge for philosophers. Some have responded to that challenge by arguing that mathematics is essentially anthropocentric in character, whereas others have pointed to the range of structures that mathematics offers. Otávio Bueno and Steven French offer a middle way, which focuses on the moves that have to be made in both the mathematics and the relevant physics in order to bring the two into appropriate relation. This relation can be captured via the inferential conception of the applicability of mathematics, which is formulated in terms of immersion, inference, and interpretation. In particular, the roles of idealisations and of surplus structure in science and mathematics respectively are brought to the fore and captured via an approach to models and theories that emphasize the partiality of the available information: the partial structures approach. The discussion as a whole is grounded in a number of case studies drawn from the history of quantum physics, and extended to contest recent claims that the explanatory role of certain mathematical structures in scientific practice supports a realist attitude towards them. The overall conclusion is that the effectiveness of mathematics does not seem unreasonable at all once close attention is paid to how it is actually applied in practice.
