Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium contains material that was previously available only in specialist journals. This is likely to become the standard reference work for all those interested in the subject.

Although not so well known today, Book 4 of Pappus Collection is one of the most important and influential mathematical texts from antiquity. The mathematical vignettes form a portrait of mathematics during the Hellenistic "Golden Age," illustrating central problems for example, squaring the circle; doubling the cube; and trisecting an angle varying solution strategies, and the different mathematical styles within ancient geometry.

This volume provides an English translation of Collection 4, in full, for the first time, including: a new edition of the Greek text, based on a fresh transcription from the main manuscript and offering an alternative to Hultsch 's standard edition, notes to facilitate understanding of the steps in the mathematical argument, a commentary highlighting aspects of the work that have so far been neglected, and supporting the reconstruction of a coherent plan and vision within the work, bibliographical references for further study.

The purpose of this book is to demonstrate that complex numbers and geometry can be blended together beautifully. This results in easy proofs and natural generalizations of many theorems in plane geometry, such as the Napoleon theorem, the Ptolemy-Euler theorem, the Simson theorem, and the Morley theorem. The book is self-contained--no background in complex numbers is assumed--and can be covered at a leisurely pace in a one-semester course. Many of the chapters can be read independently. Over 100 exercises are included. The book would be suitable as a text for a geometry course, or for a problem solving seminar, or as enrichment for the student who wants to know more.

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 collection of contributions originates from the well-established conference series "Fractal Geometry and Stochastics" which brings together researchers from different fields using concepts and methods from fractal geometry. Carefully selected papers from keynote and invited speakers are included, both discussing exciting new trends and results and giving a gentle introduction to some recent developments. The topics covered include Assouad dimensions and their connection to analysis, multifractal properties of functions and measures, renewal theorems in dynamics, dimensions and topology of random discrete structures, self-similar trees, p-hyperbolicity, phase transitions from continuous to discrete scale invariance, scaling limits of stochastic processes, stemi-stable distributions and fractional differential equations, and diffusion limited aggregation. Representing a rich source of ideas and a good starting point for more advanced topics in fractal geometry, the volume will appeal to both established experts and newcomers.

* Written by an interdisciplinary group of specialists from the arts, humanities and sciences at Oxford University * Suitable for a wide non-academic readership, and will appeal to anyone with an interest in mathematics, science and philosophy.

The present volume provides a fascinating overview of geometrical ideas and perceptions from the earliest cultures to the mathematical and artistic concepts of the 20th century. It is the English translation of the 3rd edition of the well-received German book "5000 Jahre Geometrie," in which geometry is presented as a chain of developments in cultural history and their interaction with architecture, the visual arts, philosophy, science and engineering. Geometry originated in the ancient cultures along the Indus and Nile Rivers and in Mesopotamia, experiencing its first "Golden Age" in Ancient Greece. Inspired by the Greek mathematics, a new germ of geometry blossomed in the Islamic civilizations. Through the Oriental influence on Spain, this knowledge later spread to Western Europe. Here, as part of the medieval Quadrivium, the understanding of geometry was deepened, leading to a revival during the Renaissance. Together with parallel achievements in India, China, Japan and the ancient American cultures, the European approaches formed the ideas and branches of geometry we know in the modern age: coordinate methods, analytical geometry, descriptive and projective geometry in the 17th an 18th centuries, axiom systems, geometry as a theory with multiple structures and geometry in computer sciences in the 19th and 20th centuries. Each chapter of the book starts with a table of key historical and cultural dates and ends with a summary of essential contents of geometr y in the respective era. Compelling examples invite the reader to further explore the problems of geometry in ancient and modern times. The book will appeal to mathematicians interested in Geometry and to all readers with an interest in cultural history. From letters to the authors for the German language edition I hope it gets a translation, as there is no comparable work. Prof. J. Grattan-Guinness (Middlesex University London) "Five Thousand Years of Geometry" - I think it is the most handsome book I have ever seen from Springer and the inclusion of so many color plates really improves its appearance dramatically! Prof. J.W. Dauben (City University of New York) An excellent book in every respect. The authors have successfully combined the history of geometry with the general development of culture and history. ... The graphic design is also excellent. Prof. Z. Nadenik (Czech Technical University in Prague)

In recent times, group theory has found wider applications in various fields of algebra and mathematics in general. But in order to apply this or that result, you need to know about it, and such results are often diffuse and difficult to locate, necessitating that readers construct an extended search through multiple monographs, articles, and papers. Such readers must wade through the morass of concepts and auxiliary statements that are needed to understand the desired results, while it is initially unclear which of them are really needed and which ones can be dispensed with. A further difficulty that one may encounter might be concerned with the form or language in which a given result is presented. For example, if someone knows the basics of group theory, but does not know the theory of representations, and a group theoretical result is formulated in the language of representation theory, then that person is faced with the problem of translating this result into the language with which they are familiar, etc. Infinite Groups: A Roadmap to Some Classical Areas seeks to overcome this challenge. The book covers a broad swath of the theory of infinite groups, without giving proofs, but with all the concepts and auxiliary results necessary for understanding such results. In other words, this book is an extended directory, or a guide, to some of the more established areas of infinite groups. Features An excellent resource for a subject formerly lacking an accessible and in-depth reference Suitable for graduate students, PhD students, and researchers working in group theory Introduces the reader to the most important methods, ideas, approaches, and constructions in infinite group theory.

One service mathematics has rendered the 'Et moi, ..., si j'avait su comment en revenir, je n'y serais point aile.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded n- sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell O. Heaviside Matht"natics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics seNe as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'etre of this series."

This book is dedicated to the memory of Mikael Passare, an outstanding Swedish mathematician who devoted his life to developing the theory of analytic functions in several complex variables and exploring geometric ideas first-hand. It includes several papers describing Mikael's life as well as his contributions to mathematics, written by friends of Mikael's who share his attitude and passion for science. A major section of the book presents original research articles that further develop Mikael's ideas and which were written by his former students and co-authors. All these mathematicians work at the interface of analysis and geometry, and Mikael's impact on their research cannot be underestimated. Most of the contributors were invited speakers at the conference organized at Stockholm University in his honor. This book is an attempt to express our gratitude towards this great mathematician, who left us full of energy and new creative mathematical ideas.

This textbook provides a full and complete axiomatic development of exactly that part of plane Euclidean geometry that forms the standard content of high school geometry. It begins with a set of points, a measure of distance between pairs of points and ten simple axioms. From there the notions of length, area and angle measure, along with congruence and similarity, are carefully defined and their properties proven as theorems. It concludes with a proof of the consistency of the axioms used and a full description of their models. It is provided in guided inquiry (inquiry-based) format with the intention that students will be active learners, proving the theorems and presenting their proofs to their class with the instructor as a mentor and a guide. The book is written for graduate and advanced undergraduate students interested in teaching secondary school mathematics, for pure math majors interested in learning about the foundations of geometry, for faculty preparing future secondary school teachers and as a reference for any professional mathematician. It is written with the hope of anchoring K-12 geometry in solid modern mathematics, thereby fortifying the teaching of secondary and tertiary geometry with a deep understanding of the subject.

Recent results from high-energy scattering and theoretical developments of string theory require a change in our understanding of the basic structure of space-time. This book is about the advancement of ideas on the stochastic nature of space-time from the 1930s onward. In particular, the author promotes the concept of space as a set of hazy lumps, first introduced by Karl Menger, and constructs a novel framework for statistical behaviour at the microlevel. The various chapters address topics such as space-time fluctuation and random potential, non-local fields, and the origin of stochasticity. Implications in astro-particle physics and cosmology are also explored. Audience: This volume will be of interest to physicists, chemists and mathematicians involved in particle physics, astrophysics and cosmology.

Spherical Geometry and Its Applications introduces spherical geometry and its practical applications in a mathematically rigorous form. The text can serve as a course in spherical geometry for mathematics majors. Readers from various academic backgrounds can comprehend various approaches to the subject. The book introduces an axiomatic system for spherical geometry and uses it to prove the main theorems of the subject. It also provides an alternate approach using quaternions. The author illustrates how a traditional axiomatic system for plane geometry can be modified to produce a different geometric world - but a geometric world that is no less real than the geometric world of the plane. Features: A well-rounded introduction to spherical geometry Provides several proofs of some theorems to appeal to larger audiences Presents principal applications: the study of the surface of the earth, the study of stars and planets in the sky, the study of three- and four-dimensional polyhedra, mappings of the sphere, and crystallography Many problems are based on propositions from the ancient text Sphaerica of Menelaus

- New advancements of fractal analysis with applications to many scientific, engineering, and societal issues - Recent changes and challenges of fractal geometry with the rapid advancement of technology - Attracted chapters on novel theory and recent applications of fractals. - Offers recent findings, modelling and simulations of fractal analysis from eminent institutions across the world - Analytical innovations of fractal analysis - Edited collection with a variety of viewpoints

A First Course in Chaotic Dynamical Systems: Theory and Experiment, Second Edition The long-anticipated revision of this well-liked textbook offers many new additions. In the twenty-five years since the original version of this book was published, much has happened in dynamical systems. Mandelbrot and Julia sets were barely ten years old when the first edition appeared, and most of the research involving these objects then centered around iterations of quadratic functions. This research has expanded to include all sorts of different types of functions, including higher-degree polynomials, rational maps, exponential and trigonometric functions, and many others. Several new sections in this edition are devoted to these topics. The area of dynamical systems covered in A First Course in Chaotic Dynamical Systems: Theory and Experiment, Second Edition is quite accessible to students and also offers a wide variety of interesting open questions for students at the undergraduate level to pursue. The only prerequisite for students is a one-year calculus course (no differential equations required); students will easily be exposed to many interesting areas of current research. This course can also serve as a bridge between the low-level, often non-rigorous calculus courses, and the more demanding higher-level mathematics courses. Features More extensive coverage of fractals, including objects like the Sierpinski carpet and others that appear as Julia sets in the later sections on complex dynamics, as well as an actual chaos "game." More detailed coverage of complex dynamical systems like the quadratic family and the exponential maps. New sections on other complex dynamical systems like rational maps. A number of new and expanded computer experiments for students to perform. About the Author Robert L. Devaney is currently professor of mathematics at Boston University. He received his PhD from the University of California at Berkeley under the direction of Stephen Smale. He taught at Northwestern University and Tufts University before coming to Boston University in 1980. His main area of research is dynamical systems, primarily complex analytic dynamics, but also including more general ideas about chaotic dynamical systems. Lately, he has become intrigued with the incredibly rich topological aspects of dynamics, including such things as indecomposable continua, Sierpinski curves, and Cantor bouquets.

Finite Geometries stands out from recent textbooks about the subject of finite geometries by having a broader scope. The authors thoroughly explain how the subject of finite geometries is a central part of discrete mathematics. The text is suitable for undergraduate and graduate courses. Additionally, it can be used as reference material on recent works. The authors examine how finite geometries' applicable nature led to solutions of open problems in different fields, such as design theory, cryptography and extremal combinatorics. Other areas covered include proof techniques using polynomials in case of Desarguesian planes, and applications in extremal combinatorics, plus, recent material and developments. Features: Includes exercise sets for possible use in a graduate course Discusses applications to graph theory and extremal combinatorics Covers coding theory and cryptography Translated and revised text from the Hungarian published version

This book offers a reconstruction of the debate on non-Euclidean geometry in neo-Kantianism between the second half of the nineteenth century and the first decades of the twentieth century. Kant famously characterized space and time as a priori forms of intuitions, which lie at the foundation of mathematical knowledge. The success of his philosophical account of space was due not least to the fact that Euclidean geometry was widely considered to be a model of certainty at his time. However, such later scientific developments as non-Euclidean geometries and Einstein's general theory of relativity called into question the certainty of Euclidean geometry and posed the problem of reconsidering space as an open question for empirical research. The transformation of the concept of space from a source of knowledge to an object of research can be traced back to a tradition, which includes such mathematicians as Carl Friedrich Gauss, Bernhard Riemann, Richard Dedekind, Felix Klein, and Henri Poincare, and which finds one of its clearest expressions in Hermann von Helmholtz's epistemological works. Although Helmholtz formulated compelling objections to Kant, the author reconsiders different strategies for a philosophical account of the same transformation from a neo-Kantian perspective, and especially Hermann Cohen's account of the aprioricity of mathematics in terms of applicability and Ernst Cassirer's reformulation of the a priori of space in terms of a system of hypotheses. This book is ideal for students, scholars and researchers who wish to broaden their knowledge of non-Euclidean geometry or neo-Kantianism.

Double Sequence Spaces and Four-Dimensional Matrices provides readers with a clear introduction to the spaces of double sequences and series, as well as their properties. The book then goes beyond this to investigate paranormed double sequence spaces and their algebraic and topological properties, triangle matrices and their domains in certain spaces of double sequences, dual spaces of double sequence spaces, and matrix transformations between double sequence spaces and related topics. Each chapter contains a conclusion section highlighting the importance of results and pointing out possible new ideas that can be studied further. Features Suitable for students at graduate or post-graduate level and researchers Investigates different types of summable spaces and computes their duals Characterizes several four-dimensional matrix classes transforming one summable space into other Discusses several algebraic and topological properties of new sequence spaces generated by the domain of triangles.

This book provides a critical edition, translation, and study of the version of Euclid's treatise made by Thabit ibn Qurra, which is the earliest Arabic version that we have in its entirety. This monograph study examines the conceptual differences between the Greek and Arabic versions of the treatise, beginning with a discussion of the concept of "given" as it was developed by Greek mathematicians. This is followed by a short account of the various medieval versions of the text and a discussion of the manuscripts used in this volume. Finally, the Arabic text and an English translation are provided, followed by a critical commentary.

This up-to-date survey of the whole field of topology is the flagship of the topology subseries of the Encyclopaedia. The book gives an overview of various subfields, beginning with the elements and proceeding right up to the present frontiers of research.

"Knot theory is a fascinating mathematical subject, with multiple links to theoretical physics. This enyclopedia is filled with valuable information on a rich and fascinating subject." - Ed Witten, Recipient of the Fields Medal "I spent a pleasant afternoon perusing the Encyclopedia of Knot Theory. It's a comprehensive compilation of clear introductions to both classical and very modern developments in the field. It will be a terrific resource for the accomplished researcher, and will also be an excellent way to lure students, both graduate and undergraduate, into the field." - Abigail Thompson, Distinguished Professor of Mathematics at University of California, Davis Knot theory has proven to be a fascinating area of mathematical research, dating back about 150 years. Encyclopedia of Knot Theory provides short, interconnected articles on a variety of active areas in knot theory, and includes beautiful pictures, deep mathematical connections, and critical applications. Many of the articles in this book are accessible to undergraduates who are working on research or taking an advanced undergraduate course in knot theory. More advanced articles will be useful to graduate students working on a related thesis topic, to researchers in another area of topology who are interested in current results in knot theory, and to scientists who study the topology and geometry of biopolymers. Features Provides material that is useful and accessible to undergraduates, postgraduates, and full-time researchers Topics discussed provide an excellent catalyst for students to explore meaningful research and gain confidence and commitment to pursuing advanced degrees Edited and contributed by top researchers in the field of knot theory

The aim of this book is to give necessary and sufficient conditions for a C oo map to be C 0-stable; the aim is achieved in a wide range of dimensions via a detailed study of the geometry and topology of many classes of "generic" singularities. The methods developed for examining the topology and geometry use results from many areas of mathematics - geometric topology, stratification theory, algebraic topology, algebraic geometry, commutative algebra...- and further progress will doubtless be made from the application of deeper results from these areas. Conversely, it is to be hoped that the description of the behaviour of generic singularities will also have interesting consequences for these areas of mathematics, which are those with most interaction with singularity theory. The book describes original research; essentially none of its results has previously appeared elsewhere, either in scientific articles or in books. This book is intended for research mathematicians in singularity theory and in selected areas of geometric topology, stratification theory, algebraic geometry, commutative algebra.

This interdisciplinary volume collects contributions from experts in their respective fields with as common theme diagrams. Diagrams play a fundamental role in the mathematical visualization and philosophical analysis of forms in space. Some of the most interesting and profound recent developments in contemporary sciences, whether in topology, geometry, dynamic systems theory, quantum field theory or string theory, have been made possible by the introduction of new types of diagrams, which, in addition to their essential role in the discovery of new classes of spaces and phenomena, have contributed to enriching and clarifying the meaning of the operations, structures and properties that are at the heart of these spaces and phenomena. The volume gives a closer look at the scope and the nature of diagrams as constituents of mathematical and physical thought, their function in contemporary artistic work, and appraise, in particular, the actual importance of the diagrams of knots, of braids, of fields, of interaction, of strings in topology and geometry, in quantum physics and in cosmology, but also in theory of perception, in plastic arts and in philosophy. The editors carefully curated this volume to be an inspiration to students and researchers in philosophy, phenomenology, mathematics and the sciences, as well as artists, musicians and the general interested audience.

Key features: Presents the first elementary introduction to quantum geometry Explores how to understand quantum geometry without prior knowledge beyond bachelor level physics and mathematics. Contains exercises, problems and solutions to supplement and enhance learning