Logic networks and automata are facets of digital systems. The change of the design of logic networks from skills and art into a scientific discipline was possible by the development of the underlying mathematical theory called the Switching Theory. The fundamentals of this theory come from the attempts towards an algebraic description of laws of thoughts presented in the works by George J. Boole and the works on logic by Augustus De Morgan. As often the case in engineering, when the importance of a problem and the need for solving it reach certain limits, the solutions are searched by many scholars in different parts of the word, simultaneously or at about the same time, however, quite independently and often unaware of the work by other scholars. The formulation and rise of Switching Theory is such an example. This book presents a brief account of the developments of Switching Theory and highlights some less known facts in the history of it. The readers will find the book a fresh look into the development of the field revealing how difficult it has been to arrive at many of the concepts that we now consider obvious . Researchers in the history or philosophy of computing will find this book a valuable source of information that complements the standard presentations of the topic.
This textbook provides an accessible account of the history of abstract algebra, tracing a range of topics in modern algebra and number theory back to their modest presence in the seventeenth and eighteenth centuries, and exploring the impact of ideas on the development of the subject. Beginning with Gauss’s theory of numbers and Galois’s ideas, the book progresses to Dedekind and Kronecker, Jordan and Klein, Steinitz, Hilbert, and Emmy Noether. Approaching mathematical topics from a historical perspective, the author explores quadratic forms, quadratic reciprocity, Fermat’s Last Theorem, cyclotomy, quintic equations, Galois theory, commutative rings, abstract fields, ideal theory, invariant theory, and group theory. Readers will learn what Galois accomplished, how difficult the proofs of his theorems were, and how important Camille Jordan and Felix Klein were in the eventual acceptance of Galois’s approach to the solution of equations. The book also describes the relationship between Kummer’s ideal numbers and Dedekind’s ideals, and discusses why Dedekind felt his solution to the divisor problem was better than Kummer’s. Designed for a course in the history of modern algebra, this book is aimed at undergraduate students with an introductory background in algebra but will also appeal to researchers with a general interest in the topic. With exercises at the end of each chapter and appendices providing material difficult to find elsewhere, this book is self-contained and therefore suitable for self-study.
Algebra, as a subdiscipline of mathematics, arguably has a history going back some 4000 years to ancient Mesopotamia. The history, however, of what is recognized today as high school algebra is much shorter, extending back to the sixteenth century, while the history of what practicing mathematicians call "modern algebra" is even shorter still. The present volume provides a glimpse into the complicated and often convoluted history of this latter conception of algebra by juxtaposing twelve episodes in the evolution of modern algebra from the early nineteenth-century work of Charles Babbage on functional equations to Alexandre Grothendieck's mid-twentieth-century metaphor of a ``rising sea'' in his categorical approach to algebraic geometry. In addition to considering the technical development of various aspects of algebraic thought, the historians of modern algebra whose work is united in this volume explore such themes as the changing aims and organization of the subject as well as the often complex lines of mathematical communication within and across national boundaries. Among the specific algebraic ideas considered are the concept of divisibility and the introduction of non-commutative algebras into the study of number theory and the emergence of algebraic geometry in the twentieth century. The resulting volume is essential reading for anyone interested in the history of modern mathematics in general and modern algebra in particular. It will be of particular interest to mathematicians and historians of mathematics.
Asymptotic differential algebra seeks to understand the solutions of differential equations and their asymptotics from an algebraic point of view. The differential field of transseries plays a central role in the subject. Besides powers of the variable, these series may contain exponential and logarithmic terms. Over the last thirty years, transseries emerged variously as super-exact asymptotic expansions of return maps of analytic vector fields, in connection with Tarski's problem on the field of reals with exponentiation, and in mathematical physics. Their formal nature also makes them suitable for machine computations in computer algebra systems. This self-contained book validates the intuition that the differential field of transseries is a universal domain for asymptotic differential algebra. It does so by establishing in the realm of transseries a complete elimination theory for systems of algebraic differential equations with asymptotic side conditions. Beginning with background chapters on valuations and differential algebra, the book goes on to develop the basic theory of valued differential fields, including a notion of differential-henselianity. Next, H-fields are singled out among ordered valued differential fields to provide an algebraic setting for the common properties of Hardy fields and the differential field of transseries. The study of their extensions culminates in an analogue of the algebraic closure of a field: the Newton-Liouville closure of an H-field. This paves the way to a quantifier elimination with interesting consequences.