In the last 20 years, the study of operator algebras has developed from a branch of functional analysis to a central field of mathematics with applications and connections with different areas in both pure mathematics (foliations, index theory, K-theory, cyclic homology, affine Kac-Moody algebras, quantum groups, low dimensional topology) and mathematical physics (integrable theories, statistical mechanics, conformal field theories and the string theories of elementary particles). The theory of operator algebras was initiated by von Neumann and Murray as a tool for studying group representations and as a framework for quantum mechanics, and has since kept in touch with its roots in physics as a framework for quantum statistical mechanics and the formalism of algebraic quantum field theory. However, in 1981, the study of operator algebras took a new turn with the introduction by Vaughan Jones of subfactor theory and remarkable connections were found with knot theory, 3-manifolds, quantum groups and integrable systems in statistical mechanics and conformal field theory. The purpose of this book, one of the first in the area, is to look at these combinatorial-algebraic developments from the perspective of operator algebras; to bring the reader to the frontline of research with the minimum of prerequisites from classical theory.

The book offers a collection of essays on various aspects of Leibniz's scientific thought, written by historians of science and world-leading experts on Leibniz. The essays deal with a vast array of topics on the exact sciences: Leibniz's logic, mereology, the notion of infinity and cardinality, the foundations of geometry, the theory of curves and differential geometry, and finally dynamics and general epistemology. Several chapters attempt a reading of Leibniz's scientific works through modern mathematical tools, and compare Leibniz's results in these fields with 19th- and 20th-Century conceptions of them. All of them have special care in framing Leibniz's work in historical context, and sometimes offer wider historical perspectives that go much beyond Leibniz's researches. A special emphasis is given to effective mathematical practice rather than purely epistemological thought. The book is addressed to all scholars of the exact sciences who have an interest in historical research and Leibniz in particular, and may be useful to historians of mathematics, physics, and epistemology, mathematicians with historical interests, and philosophers of science at large.

The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations, a new account is proposed for distinguishing between laws and accidental generalizations (LAG). Among the new consequences of this proposal it is proved that any explanation of a contingent generalization shows that the generalization is not accidental. The second part involves physical theories, their modality, and their explanatory power. In particular, it is shown that (1) Each theory has a theoretical implication structure associated with it, such that there are new physical modal operators on these structures and also special modal entities that are in these structures. A special subset of the physical modals, the nomic modals are associated with the laws of theories. (2) The familiar idea that theories always explain laws by deduction of them has to be seriously modified in light of the fact that there are a host of physical theories (including for example, Newtonian Classical mechanics, Hamiltonian, and Lagrangian theory, and probability theory) that we believe are schematic (they do not have any truth value). Nevertheless, we think that there is a kind of non-deductive explanation and generality that they achieve by subsumtion under a schema.

This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning and teaching methods for FM.

Geometry for the Artist is based on a course of the same name which started in the 1980s at Maharishi International University. It is aimed both at artists willing to dive deeper into geometry and at mathematicians open to learning about applications of mathematics in art. The book includes topics such as perspective, symmetry, topology, fractals, curves, surfaces, and more. A key part of the book's approach is the analysis of art from a geometric point of view-looking at examples of how artists use each new topic. In addition, exercises encourage students to experiment in their own work with the new ideas presented in each chapter. This book is an exceptional resource for students in a general-education mathematics course or teacher-education geometry course, and since many assignments involve writing about art, this text is ideal for a writing-intensive course. Moreover, this book will be enjoyed by anyone with an interest in connections between mathematics and art. Features Abundant examples of artwork displayed in full color. Suitable as a textbook for a general-education mathematics course or teacher-education geometry course. Designed to be enjoyed by both artists and mathematicians.

This book carefully presents a unified treatment of equivariant Poincare duality in a wide variety of contexts, illuminating an area of mathematics that is often glossed over elsewhere. The approach used here allows the parallel treatment of both equivariant and nonequivariant cases. It also makes it possible to replace the usual field of coefficients for cohomology, the field of real numbers, with any field of arbitrary characteristic, and hence change (equivariant) de Rham cohomology to the usual singular (equivariant) cohomology . The book will be of interest to graduate students and researchers wanting to learn about the equivariant extension of tools familiar from non-equivariant differential geometry.

This book constitutes the refereed proceedings of the 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 9 regular papers and 4 short papers presented were carefully reviewed and selected from 26 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above. Due to the Corona pandemic this event was held virtually.

Logic programming has emerged over the last five years as one of the most promising new programming paradigms and as a very active research area. The PROLOG experience has shown that relevant problems in areas such as expert systems, deductive databases, knowledge representation, and rapid prototyping can profitably be tackled by logic programming technology. It has also shown that the performance of PROLOG systems can compare with more traditional programming languages by means of sophisticated optimization and implementation of a new class of languages: the concurrent logic languages. Many recent advances in the theory of logic programs are related to extensions of the basic positive logic language and the related semantic problems. The original non-monotonic negation-as-failure rule has been extended in various ways and provided with new declarative characterizations. Other new language constructs are constraints (which lead to a very important extension of the paradigm which allows us to compute on new domains), concurrency, and modules and objects. This book, written by a team of international experts, goes beyond the classical theory to discuss these recent advances for the first time in a systematic form. The work is intended for advanced students of computer science, logic programming and artificial intelligence.

This Festschrift was published in honor of Egon Boerger on the occasion of his 75th birthday. It acknowledges Prof. Boerger's inspiration as a scientist, author, mentor, and community organizer. Dedicated to a pioneer in the fields of logic and computer science, Egon Boerger's research interests are unusual in scope, from programming languages to hardware architectures, software architectures, control systems, workflow and interaction patterns, business processes, web applications, and concurrent systems. The 18 invited contributions in this volume are by leading researchers in the areas of software engineering, programming languages, business information systems, and computer science logic.

Kurt Goedel (1906-1978) shook the mathematical world in 1931 by a result that has become an icon of 20th century science: The search for rigour in proving mathematical theorems had led to the formalization of mathematical proofs, to the extent that such proving could be reduced to the application of a few mechanical rules. Goedel showed that whenever the part of mathematics under formalization contains elementary arithmetic, there will be arithmetical statements that should be formally provable but aren't. The result is known as Goedel's first incompleteness theorem, so called because there is a second incompleteness result, embodied in his answer to the question "Can mathematics be proved consistent?" This book offers the first examination of Goedel's preserved notebooks from 1930, written in a long-forgotten German shorthand, that show his way to the results: his first ideas, how they evolved, and how the jewel-like final presentation in his famous publication On formally undecidable propositions was composed.The book also contains the original version of Goedel's incompleteness article, as handed in for publication with no mentioning of the second incompleteness theorem, as well as six contemporary lectures and seminars Goedel gave between 1931 and 1934 in Austria, Germany, and the United States. The lectures are masterpieces of accessible presentations of deep scientific results, readable even for those without special mathematical training, and published here for the first time.

Why do we need the real numbers? How should we construct them? These questions arose in the nineteenth century, along with the ideas and techniques needed to address them. Nowadays it is commonplace for apprentice mathematicians to hear 'we shall assume the standard properties of the real numbers' as part of their training. But exactly what are those properties? And why can we assume them? This book is clearly and entertainingly written for those students, with historical asides and exercises to foster understanding. Starting with the natural (counting) numbers and then looking at the rational numbers (fractions) and negative numbers, the author builds to a careful construction of the real numbers followed by the complex numbers, leaving the reader fully equipped with all the number systems required by modern mathematical analysis. Additional chapters on polynomials and quarternions provide further context for any reader wanting to delve deeper.

Monograph( based very largely upon results original to the Czechoslovakian authors) presents an abstract account of the theory of automata for sophisticated readers presumed to be already conversant in the language of category theory. The seven chapters are punctuated at frequent intervals by exampl

The aim of this book is to provide a unified exposition of the theory of symmetric designs with emphasis on recent developments. The authors cover the combinatorial aspects of the theory giving particular attention to the construction of symmetric designs and related objects. The last five chapters of the book are devoted to balanced generalized weighing matrices, decomposable symmetric designs, subdesigns of symmetric designs, non-embeddable quasi-residual designs, and Ryser designs. Most results in these chapters have never previously appeared in book form. The book concludes with a comprehensive bibliography of over 400 entries. Researchers in all areas of combinatorial designs, including coding theory and finite geometries, will find much of interest here. Detailed proofs and a large number of exercises make this book suitable as a text for an advanced course in combinatorial designs.

This textbook is an introduction to the theory of infinity-categories, a tool used in many aspects of modern pure mathematics. It treats the basics of the theory and supplies all the necessary details while leading the reader along a streamlined path from the basic definitions to more advanced results such as the very important adjoint functor theorems. The book is based on lectures given by the author on the topic. While the material itself is well-known to experts, the presentation of the material is, in parts, novel and accessible to non-experts. Exercises complement this textbook that can be used both in a classroom setting at the graduate level and as an introductory text for the interested reader.

This book provides an informal and geodesic introduction to factorization homology, focusing on providing intuition through simple examples. Along the way, the reader is also introduced to modern ideas in homotopy theory and category theory, particularly as it relates to the use of infinity-categories. As with the original lectures, the text is meant to be a leisurely read suitable for advanced graduate students and interested researchers in topology and adjacent fields.

One of the greatest mathematicians in the world, Michael Atiyah has earned numerous honors, including a Fields Medal, the mathematical equivalent of the Nobel Prize. While the focus of his work has been in the areas of algebraic geometry and topology, he has also participated in research with theoretical physicists. For the first time, these volumes bring together Atiyah's collected papers--both monographs and collaborative works-- including those dealing with mathematical education and current topics of research such as K-theory and gauge theory. The volumes are organized thematically. They will be of great interest to research mathematicians, theoretical physicists, and graduate students in these areas.

Professor Atiyah is one of the greatest living mathematicians and is well known throughout the mathematical world. He is a recipient of the Fields Medal, the mathematical equivalent of the Nobel Prize, and is still at the peak of his career. His huge number of published papers, focusing on the areas of algebraic geometry and topology, have here been collected into six volumes, divided thematically for easy reference by individuals interested in a particular subject. Volumes III and IV cover papers written in 1963-84 and are the result of a long collaboration with I. M. Singer on the Index Theory of elliptic operators.

Professor Atiyah is one of the greatest living mathematicians and is well known throughout the mathematical world. He is a recipient of the Fields Medal, the mathematical equivalent of the Nobel Prize, and is still at the peak of his career. His huge number of published papers, focusing on the areas of algebraic geometry and topology, have here been collected into six volumes, divided thematically for easy reference by individuals interested in a particular subject. Volumes III and IV cover papers written in 1963-84 and are the result of a long collaboration with I. M. Singer on the Index Theory of elliptic operators.

Professor Atiyah is one of the greatest living mathematicians and is well known throughout the mathematical world. He is a recipient of the Fields Medal, the mathematical equivalent of the Nobel Prize, and is still at the peak of his career. His huge number of published papers, focusing on the areas of algebraic geometry and topology, have here been collected into six volumes, divided thematically for easy reference by individuals interested in a particular subject. From 1977 onwards his interest moved in the direction of gauge theories and the interaction between geometry and physics.

This book offers a gentle introduction to type-2 fuzzy sets and, in particular, interval type-2 fuzzy sets and their application in biological modeling. Interval type-2 fuzzy modeling is a comparatively recent direction of research in fuzzy modeling. As the modeling of biological problems is inherently uncertain, the use of fuzzy sets in this field is a natural choice. The coverage begins with a succinct review of type-1 fuzzy basic theory, before providing a comprehensive and didactic explanation of type-2 fuzzy set components. In turn, Fuzzy Rule-Based Systems, or FRBS, are shown for both types, interval type-2 and type-1 fuzzy sets. Applications include the pharmacological models, prediction of prostate cancer stages, a model for HIV population transfer (asymptomatic to symptomatic), an epidemiological disease caused by HIV, some models in population growth, included the Malthus Model, and an epidemic model refers to COVID-19. The book is ideally suited to graduate students in mathematics and related fields, professionals, researchers, or the public interested in interval type-2 fuzzy modeling. Largely self-contained, it can also be used as a supplementary text in specialized graduate courses.

This book collects and coherently presents the research that has been undertaken since the author's previous book Module Theory (1998). In addition to some of the key results since 1995, it also discusses the development of much of the supporting material. In the twenty years following the publication of the Camps-Dicks theorem, the work of Facchini, Herbera, Shamsuddin, Puninski, Prihoda and others has established the study of serial modules and modules with semilocal endomorphism rings as one of the promising directions for module-theoretic research. Providing readers with insights into the directions in which the research in this field is moving, as well as a better understanding of how it interacts with other research areas, the book appeals to undergraduates and graduate students as well as researchers interested in algebra.

The contributions gathered here demonstrate how categorical ontology can provide a basis for linking three important basic sciences: mathematics, physics, and philosophy. Category theory is a new formal ontology that shifts the main focus from objects to processes. The book approaches formal ontology in the original sense put forward by the philosopher Edmund Husserl, namely as a science that deals with entities that can be exemplified in all spheres and domains of reality. It is a dynamic, processual, and non-substantial ontology in which all entities can be treated as transformations, and in which objects are merely the sources and aims of these transformations. Thus, in a rather surprising way, when employed as a formal ontology, category theory can unite seemingly disparate disciplines in contemporary science and the humanities, such as physics, mathematics and philosophy, but also computer and complex systems science.

In a fragment entitled Elementa Nova Matheseos Universalis (1683?) Leibniz writes "the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined"; in another fragment he takes the mathesis to be "the science of all things that are conceivable." Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is possible at least in principle. As a general science of forms the mathesis investigates possible relations between "arbitrary objects" ("objets quelconques"). It is an abstract theory of combinations and relations among objects whatsoever. In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the "reasons" ("Grunde") of others, and the latter are "consequences" ("Folgen") of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory. The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionistic logic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification.

This book lays out the theory of Mordell-Weil lattices, a very powerful and influential tool at the crossroads of algebraic geometry and number theory, which offers many fruitful connections to other areas of mathematics. The book presents all the ingredients entering into the theory of Mordell-Weil lattices in detail, notably, relevant portions of lattice theory, elliptic curves, and algebraic surfaces. After defining Mordell-Weil lattices, the authors provide several applications in depth. They start with the classification of rational elliptic surfaces. Then a useful connection with Galois representations is discussed. By developing the notion of excellent families, the authors are able to design many Galois representations with given Galois groups such as the Weyl groups of E6, E7 and E8. They also explain a connection to the classical topic of the 27 lines on a cubic surface.Two chapters deal with elliptic K3 surfaces, a pulsating area of recent research activity which highlights many central properties of Mordell-Weil lattices. Finally, the book turns to the rank problem-one of the key motivations for the introduction of Mordell-Weil lattices. The authors present the state of the art of the rank problem for elliptic curves both over Q and over C(t) and work out applications to the sphere packing problem. Throughout, the book includes many instructive examples illustrating the theory.