This book centers around a dialogue between Roger Penrose and Emanuele Severino about one of most intriguing topics of our times, the comparison of artificial intelligence and natural intelligence, as well as its extension to the notions of human and machine consciousness. Additional insightful essays by Mauro D'Ariano, Federico Faggin, Ines Testoni, Giuseppe Vitiello and an introduction of Fabio Scardigli complete the book and illuminate different aspects of the debate. Although from completely different points of view, all the authors seem to converge on the idea that it is almost impossible to have real "intelligence" without a form of "consciousness". In fact, consciousness, often conceived as an enigmatic "mirror" of reality (but is it really a mirror?), is a phenomenon under intense investigation by science and technology, particularly in recent decades. Where does this phenomenon originate from (in humans, and perhaps also in animals)? Is it reproducible on some "device"? Do we have a theory of consciousness today? Will we arrive to build thinking or conscious machines, as machine learning, or cognitive computing, seem to promise? These questions and other related issues are discussed in the pages of this work, which provides stimulating reading to both specialists and general readers. The Chapter "Hard Problem and Free Will: An Information-Theoretical Approach" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This volume offers English translations of three early works by Ernst Schroeder (1841-1902), a mathematician and logician whose philosophical ruminations and pathbreaking contributions to algebraic logic attracted the admiration and ire of figures such as Dedekind, Frege, Husserl, and C. S. Peirce. Today he still engages the sympathetic interest of logicians and philosophers. The works translated record Schroeder's journey out of algebra into algebraic logic and document his transformation of George Boole's opaque and unwieldy logical calculus into what we now recognize as Boolean algebra. Readers interested in algebraic logic and abstract algebra can look forward to a tour of the early history of those fields with a guide who was exceptionally thorough, unfailingly honest, and deeply reflective.

This book highlights a number of recent research advances in the field of symplectic and contact geometry and topology, and related areas in low-dimensional topology. This field has experienced significant and exciting growth in the past few decades, and this volume provides an accessible introduction into many active research problems in this area. The papers were written with a broad audience in mind so as to reach a wide range of mathematicians at various levels. Aside from teaching readers about developing research areas, this book will inspire researchers to ask further questions to continue to advance the field. The volume contains both original results and survey articles, presenting the results of collaborative research on a wide range of topics. These projects began at the Research Collaboration Conference for Women in Symplectic and Contact Geometry and Topology (WiSCon) in July 2019 at ICERM, Brown University. Each group of authors included female and nonbinary mathematicians at different career levels in mathematics and with varying areas of expertise. This paved the way for new connections between mathematicians at all career levels, spanning multiple continents, and resulted in the new collaborations and directions that are featured in this work.

This monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a solid understanding of basic algebra.

Reverse mathematics studies the complexity of proving mathematical theorems and solving mathematical problems. Typical questions include: Can we prove this result without first proving that one? Can a computer solve this problem? A highly active part of mathematical logic and computability theory, the subject offers beautiful results as well as significant foundational insights. This text provides a modern treatment of reverse mathematics that combines computability theoretic reductions and proofs in formal arithmetic to measure the complexity of theorems and problems from all areas of mathematics. It includes detailed introductions to techniques from computable mathematics, Weihrauch style analysis, and other parts of computability that have become integral to research in the field. Topics and features: Provides a complete introduction to reverse mathematics, including necessary background from computability theory, second order arithmetic, forcing, induction, and model construction Offers a comprehensive treatment of the reverse mathematics of combinatorics, including Ramsey's theorem, Hindman's theorem, and many other results Provides central results and methods from the past two decades, appearing in book form for the first time and including preservation techniques and applications of probabilistic arguments Includes a large number of exercises of varying levels of difficulty, supplementing each chapter The text will be accessible to students with a standard first year course in mathematical logic. It will also be a useful reference for researchers in reverse mathematics, computability theory, proof theory, and related areas. Damir D. Dzhafarov is an Associate Professor of Mathematics at the University of Connecticut, CT, USA. Carl Mummert is a Professor of Computer and Information Technology at Marshall University, WV, USA.

While in classical (abelian) homological algebra additive functors from abelian (or additive) categories to abelian categories are investigated , non- abelian homological algebra deals with non-additive functors and their homological properties , in particular with functors having values in non-abelian categories. Such functors haveimportant applications in algebra, algebraic topology, functional analysis, algebraic geometry and other principal areas of mathematics. To study homological properties of non-additive functors it is necessary to define and investigate their derived functors and satellites. It will be the aim of this book based on the results of researchers of A. Razmadze Mathematical Institute of the Georgian Academy of Sciences devoted to non-abelian homological algebra. The most important considered cases will be functors from arbitrary categories to the category of modules, group valued functors and commutative semigroup valued functors. In Chapter I universal sequences of functors are defined and in- vestigated with respect to (co)presheaves of categories, extending in a natural way the satellites of additive functors to the non-additive case and generalizing the classical relative homological algebra in additive categories to arbitrary categories. Applications are given in the furth- coming chapters. Chapter II is devoted to the non-abelian derived functors of group valued functors with respect to projective classes using projective pseu- dosimplicial resolutions. Their functorial properties (exactness, Milnor exact sequence, relationship with cotriple derived functors, satellites and Grothendieck cohomology, spectral sequence of an epimorphism, degree of an arbitrary functor) are established and applications to ho- mology and cohomology of groups are given.

This book presents a collection of recent research on topics related to Pythagorean fuzzy set, dealing with dynamic and complex decision-making problems. It discusses a wide range of theoretical and practical information to the latest research on Pythagorean fuzzy sets, allowing readers to gain an extensive understanding of both fundamentals and applications. It aims at solving various decision-making problems such as medical diagnosis, pattern recognition, construction problems, technology selection, and more, under the Pythagorean fuzzy environment, making it of much value to students, researchers, and professionals associated with the field.

This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day. The book is divided into two parts. The first part gives a brief history of how mathematics was introduced into physics-despite its "unreasonable effectiveness" as famously pointed out by a distinguished physicist-and the criticisms it received from earlier thinkers. The second part takes a more philosophical approach and is intended to shed some light on that mysterious effectiveness. For this purpose, the author reviews the debate between classical philosophers on the existence of innate ideas that allow us to understand the world and also the philosophically based arguments for and against the use of mathematics in physical sciences. In this context, Schopenhauer's conceptions of causality and matter are very pertinent, and their validity is revisited in light of modern physics. The final question addressed is whether the effectiveness of mathematics can be explained by its "existence" in an independent platonic realm, as Goedel believed. The book aims at readers interested in the history and philosophy of physics. It is accessible to those with only a very basic (not professional) knowledge of physics.

This book features more than 20 papers that celebrate the work of Hajnal Andreka and Istvan Nemeti. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced by these two outstanding researchers. They also provide details on the after-life of some of their initiatives. Computer science connects the papers in the first part of the book. The second part concentrates on algebraic logic. It features a range of papers that hint at the intricate many-way connections between logic, algebra, and geometry. The third part explores novel applications of logic in relativity theory, philosophy of logic, philosophy of physics and spacetime, and methodology of science. They include such exciting subjects as time travelling in emergent spacetime. The short autobiographies of Hajnal Andreka and Istvan Nemeti at the end of the book describe an adventurous journey from electric engineering and Maxwell's equations to a complex system of computer programs for designing Hungary's electric power system, to exploring and contributing deep results to Tarskian algebraic logic as the deepest core theory of such questions, then on to applications of the results in such exciting new areas as relativity theory in order to rejuvenate logic itself.

We dedicate this volume to Professor Parimala on the occasion of her 60th birthday. It contains a variety of papers related to the themes of her research. Parimala's rst striking result was a counterexample to a quadratic analogue of Serre's conjecture (Bulletin of the American Mathematical Society, 1976). Her in uence has cont- ued through her tenure at the Tata Institute of Fundamental Research in Mumbai (1976-2006),and now her time at Emory University in Atlanta (2005-present). A conference was held from 30 December 2008 to 4 January 2009, at the U- versity of Hyderabad, India, to celebrate Parimala's 60th birthday (see the conf- ence's Web site at http://mathstat.uohyd.ernet.in/conf/quadforms2008). The or- nizing committee consisted of J.-L. Colliot-Thel ' en ' e, Skip Garibaldi, R. Sujatha, and V. Suresh. The present volume is an outcome of this event. We would like to thank all the participants of the conference, the authors who have contributed to this volume, and the referees who carefully examined the s- mitted papers. We would also like to thank Springer-Verlag for readily accepting to publish the volume. In addition, the other three editors of the volume would like to place on record their deep appreciation of Skip Garibaldi's untiring efforts toward the nal publication.

The edited volume includes papers in the fields of fuzzy mathematical analysis and advances in computational mathematics. The fields of fuzzy mathematical analysis and advances in computational mathematics can provide valuable solutions to complex problems. They have been applied in multiple areas such as high dimensional data analysis, medical diagnosis, computer vision, hand-written character recognition, pattern recognition, machine intelligence, weather forecasting, network optimization, VLSI design, etc. The volume covers ongoing research in fuzzy and computational mathematical analysis and brings forward its recent applications to important real-world problems in various fields. The book includes selected high-quality papers from the International Conference on Fuzzy Mathematical Analysis and Advances in Computational Mathematics (FMAACM 2020).

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to (abstract) algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics.

Steiner's Problem concerns finding a shortest interconnecting network for a finite set of points in a metric space. A solution must be a tree, which is called a Steiner Minimal Tree (SMT), and may contain vertices different from the points which are to be connected. Steiner's Problem is one of the most famous combinatorial-geometrical problems, but unfortunately it is very difficult in terms of combinatorial structure as well as computational complexity. However, if only a Minimum Spanning Tree (MST) without additional vertices in the interconnecting network is sought, then it is simple to solve. So it is of interest to know what the error is if an MST is constructed instead of an SMT. The worst case for this ratio running over all finite sets is called the Steiner ratio of the space. The book concentrates on investigating the Steiner ratio. The goal is to determine, or at least estimate, the Steiner ratio for many different metric spaces. The author shows that the description of the Steiner ratio contains many questions from geometry, optimization, and graph theory. Audience: Researchers in network design, applied optimization, and design of algorithms.

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name from David Hilbert's seminal talk Axiomatisches Denken, given at a meeting of the Swiss Mathematical Society in Zurich in 1917. This marked the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic. Hilbert also used the opportunity to bring Paul Bernays back to Goettingen as his main collaborator in foundational studies in the years to come. The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations. Chapter 8 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This volume deals with problems of modern effective algorithms for the numerical solution of the most frequently occurring elliptic partial differential equations. From the point of view of implementation, attention is paid to algorithms for both classical sequential and parallel computer systems. The first two chapters are devoted to fast algorithms for solving the Poisson and biharmonic equation. In the third chapter, parallel algorithms for model parallel computer systems of the SIMD and MIMD types are described. The implementation aspects of parallel algorithms for solving model elliptic boundary value problems are outlined for systems with matrix, pipeline and multiprocessor parallel computer architectures. A modern and popular multigrid computational principle which offers a good opportunity for a parallel realization is described in the next chapter. More parallel variants based in this idea are presented, whereby methods and assignments strategies for hypercube systems are treated in more detail. The last chapter presents VLSI designs for solving special tridiagonal linear systems of equations arising from finite-difference approximations of elliptic problems. For researchers interested in the development and application of fast algorithms for solving elliptic partial differential equations using advanced computer systems.

The Italian mathematician Mario Pieri (1860-1913) played an integral part in the research groups of Corrado Segre and Giuseppe Peano, and thus had a significant, yet somewhat underappreciated impact on several branches of mathematics, particularly on the development of algebraic geometry and the foundations of mathematics in the years around the turn of the 20th century. This book is the first in a series of three volumes that are dedicated to countering that neglect and comprehensively examining Pieria (TM)s life, mathematical work and influence in such diverse fields as mathematical logic, algebraic geometry, number theory, inversive geometry, vector analysis, and differential geometry.

The Legacy of Mario Pieri in Geometry and Arithmetic introduces readers to Pieria (TM)s career and his studies in foundations, from both historical and modern viewpoints, placing his life and research in context and tracing his influence on his contemporaries as well as more recent mathematicians. The text also provides a glimpse of the Italian academic world of Pieri's time, and its relationship with the developing international mathematics community. Included in this volume are the first English translations, along with analyses, of two of his most important axiomatizationsa "his postulates for arithmetic, which Peano judged superior to his own; and his foundation of elementary geometry on the basis of point and sphere, which Alfred Tarski used as a basis for his own system.

Combining an engaging exposition, little-known historical information, exhaustive references and an excellent index, this text will be of interest to graduate students, researchers and historians with a general knowledgeof logic and advanced mathematics, and it requires no specialized experience in mathematical logic or the foundations of geometry.

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed by the authors, the goal of this novel approach is to explain what occurs when multiple, distinct system components interact by using a category-theoretic description of behavior types based on sheaves. The authors demonstrate how to analyze the behaviors of elements in continuous and discrete dynamical systems so that each can be translated and compared to one another. Their temporal logic is also flexible enough that it can serve as a framework for other logics that work with similar models. The book begins with a discussion of behavior types, interval domains, and translation invariance, which serves as the groundwork for temporal type theory. From there, the authors lay out the logical preliminaries they need for their temporal modalities and explain the soundness of those logical semantics. These results are then applied to hybrid dynamical systems, differential equations, and labeled transition systems. A case study involving aircraft separation within the National Airspace System is provided to illustrate temporal type theory in action. Researchers in computer science, logic, and mathematics interested in topos-theoretic and category-theory-friendly approaches to system behavior will find this monograph to be an important resource. It can also serve as a supplemental text for a specialized graduate topics course.

Since its inception, fuzzy logic has attracted an incredible amount of interest, and this interest continues to grow at an exponential rate. As such, scientists, researchers, educators and practitioners of fuzzy logic continue to expand on the applicability of what and how fuzzy can be utilised in the real-world. In this book, the authors present key application areas where fuzzy has had significant success. The chapters cover a plethora of application domains, proving credence to the versatility and robustness of a fuzzy approach. A better understanding of fuzzy will ultimately allow for a better appreciation of fuzzy. This book provides the reader with a varied range of examples to illustrate what fuzzy logic can be capable of and how it can be applied. The text will be ideal for individuals new to the notion of fuzzy, as well as for early career academics who wish to further expand on their knowledge of fuzzy applications. The book is also suitable as a supporting text for advanced undergraduate and graduate-level modules on fuzzy logic, soft computing, and applications of AI.

This monograph is devoted to a new class of non-commutative rings, skew Poincare-Birkhoff-Witt (PBW) extensions. Beginning with the basic definitions and ring-module theoretic/homological properties, it goes on to investigate finitely generated projective modules over skew PBW extensions from a matrix point of view. To make this theory constructive, the theory of Groebner bases of left (right) ideals and modules for bijective skew PBW extensions is developed. For example, syzygies and the Ext and Tor modules over these rings are computed. Finally, applications to some key topics in the noncommutative algebraic geometry of quantum algebras are given, including an investigation of semi-graded Koszul algebras and semi-graded Artin-Schelter regular algebras, and the noncommutative Zariski cancellation problem. The book is addressed to researchers in noncommutative algebra and algebraic geometry as well as to graduate students and advanced undergraduate students.

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.

This book is the first systematic treatment of this area so far scattered in a vast number of articles. As in classical topology, concrete problems require restricting the (generalized point-free) spaces by various conditions playing the roles of classical separation axioms. These are typically formulated in the language of points; but in the point-free context one has either suitable translations, parallels, or satisfactory replacements. The interrelations of separation type conditions, their merits, advantages and disadvantages, and consequences are discussed. Highlights of the book include a treatment of the merits and consequences of subfitness, various approaches to the Hausdorff's axiom, and normality type axioms. Global treatment of the separation conditions put them in a new perspective, and, a.o., gave some of them unexpected importance. The text contains a lot of quite recent results; the reader will see the directions the area is taking, and may find inspiration for her/his further work. The book will be of use for researchers already active in the area, but also for those interested in this growing field (sometimes even penetrating into some parts of theoretical computer science), for graduate and PhD students, and others. For the reader's convenience, the text is supplemented with an Appendix containing necessary background on posets, frames and locales.

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful for addressing theoretical problems (including key standard completeness results) and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations.

This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is the heart and soul of this book: each problem is carefully chosen to demonstrate, elucidate, or extend a concept. More than 300 exercises engage the reader in extensive arguments and creative approaches, while exploring connections between fundamental mathematical topics. Divided into four parts, this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. A study of the fundamental concepts of logic, sets, and functions follows, before focus turns to methods of proof. Having covered the core of a transition course, the author goes on to present a selection of advanced topics that offer opportunities for extension or further study. Throughout, appendices touch on historical perspectives, current trends, and open questions, showing mathematics as a vibrant and dynamic human enterprise. This second edition has been reorganized to better reflect the layout and curriculum of standard transition courses. It also features recent developments and improved appendices. An Invitation to Abstract Mathematics is ideal for those seeking a challenging and engaging transition to advanced mathematics, and will appeal to both undergraduates majoring in mathematics, as well as non-math majors interested in exploring higher-level concepts. From reviews of the first edition: Bajnok's new book truly invites students to enjoy the beauty, power, and challenge of abstract mathematics. ... The book can be used as a text for traditional transition or structure courses ... but since Bajnok invites all students, not just mathematics majors, to enjoy the subject, he assumes very little background knowledge. Jill Dietz, MAA ReviewsThe style of writing is careful, but joyously enthusiastic.... The author's clear attitude is that mathematics consists of problem solving, and that writing a proof falls into this category. Students of mathematics are, therefore, engaged in problem solving, and should be given problems to solve, rather than problems to imitate. The author attributes this approach to his Hungarian background ... and encourages students to embrace the challenge in the same way an athlete engages in vigorous practice. John Perry, zbMATH

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.