Focusing methodologically on those historical aspects that are relevant to supporting intuition in axiomatic approaches to geometry, the book develops systematic and modern approaches to the three core aspects of axiomatic geometry: Euclidean, non-Euclidean and projective. Historically, axiomatic geometry marks the origin of formalized mathematical activity. It is in this discipline that most historically famous problems can be found, the solutions of which have led to various presently very active domains of research, especially in algebra. The recognition of the coherence of two-by-two contradictory axiomatic systems for geometry (like one single parallel, no parallel at all, several parallels) has led to the emergence of mathematical theories based on an arbitrary system of axioms, an essential feature of contemporary mathematics. This is a fascinating book for all those who teach or study axiomatic geometry, and who are interested in the history of geometry or who want to see a complete proof of one of the famous problems encountered, but not solved, during their studies: circle squaring, duplication of the cube, trisection of the angle, construction of regular polygons, construction of models of non-Euclidean geometries, etc. It also provides hundreds of figures that support intuition. Through 35 centuries of the history of geometry, discover the birth and follow the evolution of those innovative ideas that allowed humankind to develop so many aspects of contemporary mathematics. Understand the various levels of rigor which successively established themselves through the centuries. Be amazed, as mathematicians of the 19th century were, when observing that both an axiom and its contradiction can be chosen as a valid basis for developing a mathematical theory. Pass through the door of this incredible world of axiomatic mathematical theories!

Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era considered Kant’s theory of intuition to be obsolete. But this only represents one side of the story concerning Kant, intuition and twentieth century science. Several prominent mathematicians and physicists were convinced that the formal tools of modern logic, set theory and the axiomatic method are not sufficient for providing mathematics and physics with satisfactory foundations. All of Hilbert, Gödel, Poincaré, Weyl and Bohr thought that intuition was an indispensable element in describing the foundations of science. They had very different reasons for thinking this, and they had very different accounts of what they called intuition. But they had in common that their views of mathematics and physics were significantly influenced by their readings of Kant. In the present volume, various views of intuition and the axiomatic method are explored, beginning with Kant’s own approach. By way of these investigations, we hope to understand better the rationale behind Kant’s theory of intuition, as well as to grasp many facets of the relations between theories of intuition and the axiomatic method, dealing with both their strengths and limitations; in short, the volume covers logical and non-logical, historical and systematic issues in both mathematics and physics.

In the two-volume set ‘A Selection of Highlights’ we present basics of mathematics in an exciting and pedagogically sound way. This volume examines many fundamental results in Geometry and Discrete Mathematics along with their proofs and their history. In the second edition we include a new chapter on Topological Data Analysis and enhanced the chapter on Graph Theory for solving further classical problems such as the Traveling Salesman Problem.

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method.

David Hilbert is one of the outstanding mathematicians of the twentieth century and probably the most influential. This book highlights Hilbert’s contributions to mathematics, putting them in their historical, social and cultural context. In doing so, particular attention is paid to Hilbert’s axiomatic method and his proposal for the foundations of mathematics, the so-called Hilbert’s program. The book also discusses the development of algebraic number theory, the theory of integral equations, modern algebra and the structural image of mathematics. In addition, it considers the famous list of Mathematical Problems presented in Paris in 1900, the mathematical tradition of the University of Göttingen, the great debate on the foundations of mathematics in the twenties between formalists and intuitionists, and, finally, Hilbert’s work on the theory of relativity and the foundations of quantum mechanics. The book will primarily appeal to an academic audience, although it will also be of interest to general-interest science readers.

Edmund Husserl (1859-1938) is one of the previous century's most important thinkers. Often regarded as the "Father of phenomenology," this collection of essays reveals that he is indeed much more than that. The breadth of Husserl's thought is considerable and much remains unexplored. An underlying theme of this volume is that Husserl is constantly returning to origins, revising his thought in the light of new knowledge offered by the sciences.

The book provides a detailed introduction to the theory of connections on principal sheaves in the framework of Abstract Differential Geometry (ADG). This is a new approach to differential geometry based on sheaf theoretic methods, without use of ordinary calculus. This point of view complies with the demand of contemporary physics to cope with non-smooth models of physical phenomena and spaces with singularities. Starting with a brief survey of the required sheaf theory and cohomology, the exposition then moves on to differential triads (the abstraction of smooth manifolds) and Lie sheaves of groups (the abstraction of Lie groups). Having laid the groundwork, the main part of the book is devoted to the theory of connections on principal sheaves, incorporating connections on vector and associated sheaves. Topics such as the moduli sheaf of connections, classification of principal sheaves, curvature, flat connections and flat sheaves, Chern-Weil theory, are also treated. The study brings to light fundamental notions and tools of the standard differential geometry which are susceptible of the present abstraction, and whose role remains unexploited in the classical context, because of the abundance of means therein. However, most of the latter are nonsensical in ADG.

This book is a philosophical study of mathematics, pursued by considering and relating two aspects of mathematical thinking and practice, especially in modern mathematics, which, having emerged around 1800, consolidated around 1900 and extends to our own time, while also tracing both aspects to earlier periods, beginning with the ancient Greek mathematics. The first aspect is conceptual, which characterizes mathematics as the invention of and working with concepts, rather than only by its logical nature. The second, Pythagorean, aspect is grounded, first, in the interplay of geometry and algebra in modern mathematics, and secondly, in the epistemologically most radical form of modern mathematics, designated in this study as radical Pythagorean mathematics. This form of mathematics is defined by the role of that which beyond the limits of thought in mathematical thinking, or in ancient Greek terms, used in the book’s title, an alogon in the logos of mathematics. The outcome of this investigation is a new philosophical and historical understanding of the nature of modern mathematics and mathematics in general. The book is addressed to mathematicians, mathematical physicists, and philosophers and historians of mathematics, and graduate students in these fields.

“Metric geometry” is an approach to geometry based on the notion of length on a topological space. This approach experienced a very fast development in the last few decades and penetrated into many other mathematical disciplines, such as group theory, dynamical systems, and partial differential equations. The objective of this graduate textbook is twofold: to give a detailed exposition of basic notions and techniques used in the theory of length spaces, and, more generally, to offer an elementary introduction into a broad variety of geometrical topics related to the notion of distance, including Riemannian and Carnot-Carathéodory metrics, the hyperbolic plane, distance-volume inequalities, asymptotic geometry (large scale, coarse), Gromov hyperbolic spaces, convergence of metric spaces, and Alexandrov spaces (non-positively and non-negatively curved spaces). The authors tend to work with “easy-to-touch” mathematical objects using “easy-to-visualize” methods. The authors set a challenging goal of making the core parts of the book accessible to first-year graduate students. Most new concepts and methods are introduced and illustrated using simplest cases and avoiding technicalities. The book contains many exercises, which form a vital part of the exposition.