The Polyhedrists by 
The Proof Stage : How Theater Reveals the Human Truth of Mathematics by
The discovery of alternate geometries, paradoxes of the infinite, incompleteness, and chaos theory revealed that, despite its reputation for certainty, mathematical truth is not immutable, perfect, or even perfectible. Beginning in the last century, a handful of adventurous playwrights took inspiration from the fractures of modern mathematics to expand their own artistic boundaries. Originating in the early avant-garde, mathematics-infused theater reached a popular apex in Tom Stoppard's 1993 play Arcadia. In The Proof Stage, mathematician Stephen Abbott explores this unlikely collaboration of theater and mathematics. He probes the impact of mathematics on such influential writers as Alfred Jarry, Samuel Beckett, Bertolt Brecht, and Stoppard, and delves into the life and mathematics of Alan Turing as they are rendered onstage. The result is an unexpected story about the mutually illuminating relationship between proofs and plays--from Euclid and Euripides to Gödel and Godot. Theater is uniquely poised to discover the soulful, human truths embedded in the austere theorems of mathematics, but this is a difficult feat. It took Stoppard twenty-five years of experimenting with the creative possibilities of mathematics before he succeeded in making fractal geometry and chaos theory integral to Arcadia's emotional arc. In addition to charting Stoppard's journey, Abbott examines the post-Arcadia wave of ambitious works by Michael Frayn, David Auburn, Simon McBurney, Snoo Wilson, John Mighton, and others. Collectively, these gifted playwrights transform the great philosophical upheavals of mathematics into profound and sometimes poignant revelations about the human journey.
A Bridge to Advanced Mathematics : From Natural to Complex Numbers by
Most introduction to proofs textbooks focus on the structure of rigorous mathematical language and only use mathematical topics incidentally as illustrations and exercises. In contrast, this book gives students practice in proof writing while simultaneously providing a rigorous introduction to number systems and their properties. Understanding the properties of these systems is necessary throughout higher mathematics. The book is an ideal introduction to mathematical reasoning and proof techniques, building on familiar content to ensure comprehension of more advanced topics in abstract algebra and real analysis with over 700 exercises, as well as many examples throughout. Readers will learn and practice writing proofs related to new abstract concepts while learning new mathematical content. The first task is analogous to practicing soccer while the second is akin to playing soccer in a real match. The authors believe that all students should practice and play mathematics. The book is written for students who already have some familiarity with formal proof writing but would like to have some extra preparation before taking higher mathematics courses like abstract algebra and real analysis.
A Protocol-Theoretic Framework for the Logic of Epistemic Norms
This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), and develops PLEN into a formal framework for representing and reasoning about epistemic norms. It shows that PLEN is theoretically interesting and useful with regard to the aims of such a framework. In order to motivate the project, the author defends an account of epistemic norms called epistemic proceduralism. The core of this view is the idea that, in virtue of their indispensable, regulative role in cognitive life, epistemic norms are closely intertwined with procedural rules that restrict epistemic actions, procedures, and processes. The resulting organizing principle of the book is that epistemic norms are protocols for epistemic planning and control.
Analytic Number Theory for Beginners by
This new edition of Analytic Number Theory for Beginners presents a friendly introduction to analytic number theory for both advanced undergraduate and beginning graduate students, and offers a comfortable transition between the two levels. The text starts with a review of elementary number theory and continues on to present less commonly covered topics such as multiplicative functions, the floor function, the use of big $O$, little $o$, and Vinogradov notation, as well as summation formulas. Standard advanced topics follow, such as the Dirichlet L-function, Dirichlet's Theorem for primes in arithmetic progressions, the Riemann Zeta function, the Prime Number Theorem, and, new in this second edition, sieve methods and additive number theory. The book is self-contained and easy to follow. Each chapter provides examples and exercises of varying difficulty and ends with a section of notes which include a chapter summary, open questions, historical background, and resources for further study. Since many topics in this book are not typically covered at such an accessible level, Analytic Number Theory for Beginners is likely to fill an important niche in today's selection of titles in this field.
Number Theory Through the Eyes of Sophie Germain : An Inquiry Course by
Number Theory Through the Eyes of Sophie Germain is an innovative textbook for an introductory number theory course. Sophie Germain (1776-1831) was largely self-taught in mathematics and, two centuries ago, in solitude, devised and implemented a plan to prove Fermat's Last Theorem. We have only recently completely understood this work from her unpublished letters and manuscripts. David Pengelley has been a driving force in unraveling this mystery and here he masterfully guides his readers along a path of discovery. Germain, because of her circumstances as the first woman to do important original mathematical research, was forced to learn most of what we now include in an undergraduate number theory course for herself. Pengelley has taken excerpts of her writings (and those of others) and, by asking his readers to decipher them, skillfully leads us through an inquiry-based course in elementary number theory. It is a detective story on multiple levels. What is Sophie Germain thinking? What do her mathematical writings mean? How do we understand what she knew and what she was trying to do, where she succeeded and where she didn't? Number Theory Through the Eyes of Sophie Germain is simultaneously a masterpiece of historical scholarship, a guide to reading and teaching from primary-source historical documents, an inquiry-based textbook for introductory number theory, and the riveting story of a major, but still unappreciated, mathematician. Work is required of the reader. Readers are carefully guided to discover and prove almost all results for themselves in a sequence of scaffolded exploratory tasks with hints, fully integrated with the narrative. The difficulty of the inquiry tasks varies considerably, but the author provides the reader with appropriately helpful guidance at every step. An introductory number theory course taught with this text would be a remarkable, potentially life-changing, experience.
Galois Theory by
New to the Fourth Edition: reorganized and revised chapter seven and thirteen; new exercises and examples; expanded, updated references and further historical material on figures besides Galois: Omar Khayyam, Vandermonde, Ruffini, and Abel.
A new final chapter discussing other directions in which Galois Theory has developed: the inverse Galois problem, differential Galois theory, and a (very) brief introduction to p-adic Galois representations.
Smooth-Automorphic Forms and Smooth-Automorphic Representations by
This book provides a conceptual introduction into the representation theory of local and global groups, with final emphasis on automorphic representations of reductive groups G over number fields F. Our approach to automorphic representations differs from the usual literature: We do not consider 'K-finite' automorphic forms, but we allow a richer class of smooth functions of uniform moderate growth. Contrasting the usual approach, our space of 'smooth-automorphic forms' is intrinsic to the group scheme G/F. This setup also covers the advantage that a perfect representation-theoretical symmetry between the archimedean and non-archimedean places of the number field F is regained, by making the bigger space of smooth-automorphic forms into a proper, continuous representation of the full group of adelic points of G. Graduate students and researchers will find the covered topics appear for the first time in a book, where the theory of smooth-automorphic representations is robustly developed and presented in great detail.
Introduction to Harmonic Analysis by
This book gives a self-contained introduction to the modern ideas and problems of harmonic analysis. Intended for third- and fourth-year undergraduates, the book only requires basic knowledge of real analysis, and covers necessary background in measure theory, Lebesgue integration and approximation theorems. The book motivates the study of harmonic functions by describing the Dirichlet problem, and discussing examples such as solutions to the heat equation in equilibrium, the real and imaginary parts of holomorphic functions, and the minimizing functions of energy. It then leads students through an in-depth study of the boundary behavior of harmonic functions and finishes by developing the theory of harmonic functions defined on fractals domains. The book is designed as a textbook for an introductory course on classical harmonic analysis, or for a course on analysis on fractals. Each chapter contains exercises, and bibliographic and historical notes. The book can also be used as a supplemental text or for self-study.
Applied Graph Theory an Introduction Ghb by
This book serves as an introduction to graph theory and its applications. It is intended for a senior undergraduate course in graph theory but is also appropriate for beginning graduate students in science or engineering. The book presents a rigorous (proof-based) introduction to graph theory while also discussing applications of the results for solving real-world problems of interest. The book is divided into four parts. Part 1 covers the combinatorial aspects of graph theory including a discussion of common vocabulary, a discussion of vertex and edge cuts, Eulerian tours, Hamiltonian paths and a characterization of trees. This leads to Part 2, which discusses common combinatorial optimization problems. Spanning trees, shortest path problems and matroids are all discussed, as are maximum flow problems. Part 2 ends with a discussion of graph coloring and a proof of the NP-completeness of the coloring problem. Part 3 introduces the reader to algebraic graph theory, and focuses on Markov chains, centrality computation (e.g., eigenvector centrality and page rank), as well as spectral graph clustering and the graph Laplacian. Part 4 contains additional material on linear programming, which is used to provide an alternative analysis of the maximum flow problem. Two appendices containing prerequisite material on linear algebra and probability theory are also provided.
Group Theory : Finite Discrete Groups and Applications by
This book deals with the role played by symmetry in the understanding of the physical world, beginning with the notion of geometric symmetries of the ancient Greek philosophers and mathematicians. The recognition of the existence of symmetries led to the notion of transformations, which led from one state of the system to another. It was then realized that such transformations, under the operation of multiplication, constitute an interesting set, whose study led to the branch of mathematics known as Group Theory. With the emergence of quantum mechanics, this theory became much more interesting and led to some additional applications. The theory got another boost with the need for of the internal degrees of freedom in describing physical systems. This way the notion of symmetry is no longer purely geometric and evolved into a useful tool in the study of all physical sciences. For practical reasons as well as pedagogical reasons, group theory is usually split into two parts. The first deals with discrete groups, with the group elements being countable, usually finite in number, while the second deals with continuous groups, whose elements depend on continuous parameters. This volume focuses the discussion on discrete groups. Given that group theory should be presented from a unified perspective, involving not only the mathematical rigor and beauty of symmetries, but also the ability to use it as a tool for applications, either currently popular or expected to become so in the future, this approach will surely be more beneficial to the dedicated reader. It is not intended for those who would like to just look up a formula or use the results of a table, without understanding their derivation.
Knots, Links and Their Invariants : An Elementary Course in Contemporary Knot Theory by
This book is an elementary introduction to knot theory. Unlike many other books on knot theory, this book has practically no prerequisites; it requires only basic plane and spatial Euclidean geometry but no knowledge of topology or group theory. It contains the first elementary proof of the existence of the Alexander polynomial of a knot or a link based on the Conway axioms, particularly the Conway skein relation. The book also contains an elementary exposition of the Jones polynomial, HOMFLY polynomial and Vassiliev knot invariants constructed using the Kontsevich integral. Additionally, there is a lecture introducing the braid group and shows its connection with knots and links. Other important features of the book are the large number of original illustrations, numerous exercises and the absence of any references in the first eleven lectures. The last two lectures differ from the first eleven: they comprise a sketch of non-elementary topics and a brief history of the subject, including many references.
Time Series Forecasting in Python by
Time Series Forecasting in Python teaches you to build powerful predictive models from time-based data. Every model you create is relevant, useful, and easy to implement with Python. You'll explore interesting real-world datasets like Google's daily stock price and economic data for the USA, quickly progressing from the basics to developing large-scale models that use deep learning tools like TensorFlow. Time Series Forecasting in Python teaches you to apply time series forecasting and get immediate, meaningful predictions. You'll learn both traditional statistical and new deep learning models for time series forecasting, all fully illustrated with Python source code. Time series forecasting reveals hidden trends and makes predictions about the future from your data. This powerful technique has proven incredibly valuable across multiple fields--from tracking business metrics, to healthcare and the sciences. Modern Python libraries and powerful deep learning tools have opened up new methods and utilities for making practical time series forecasts. Test your skills with hands-on projects for forecasting air travel, volume of drug prescriptions, and the earnings of Johnson & Johnson. By the time you're done, you'll be ready to build accurate and insightful forecasting models with tools from the Python ecosystem.
Unilateral Variational Analysis in Banach Spaces by
This 2-volume monograph provides a detailed and comprehensive presentation of the rich and beautiful theory of unilateral variational analysis in infinite dimensions. Starting with the convergence of sets and the semilimits and semicontinuities of multimappings, the first volume develops the theories of tangent cones, subdifferentials, convexity and duality in locally convex spaces, extended mean value inequalities in absence of differentiability, metric regularity, and constrained optimization problems. The second volume is devoted to special classes of non-smooth functions and sets.
Solving Nonlinear Equations with Iterative Methods : Solvers and Examples in Julia by
This user-oriented guide describes state-of-the-art methods for nonlinear equations and shows, via algorithms in pseudocode and Julia with several examples, how to choose an appropriate iterative method for a given problem and write an efficient solver or apply one written by others. A sequel to the author's Solving Nonlinear Equations with Newton's Methods (SIAM, 2003), this book contains new material on pseudo-transient continuation, mixed-precision solvers, and Anderson acceleration. It is supported by a Julia package and a suite of Jupyter notebooks and includes examples of nonlinear problems from many disciplines. This book is will be useful to researchers who solve nonlinear equations, students in numerical analysis, and the Julia community.
Is Math Real? How Simple Questions Lead us to Mathematics' Deepest Truths by
One of the world's most creative mathematicians offers a new way to look at math--focusing on questions, not answers Where do we learn math: From rules in a textbook? From logic and deduction? Not really, according to mathematician Eugenia Cheng: we learn it from human curiosity--most importantly, from asking questions. This may come as a surprise to those who think that math is about finding the one right answer, or those who were told that the "dumb" question they asked just proved they were bad at math. But Cheng shows why people who ask questions like "Why does 1 + 1 = 2?" are at the very heart of the search for mathematical truth.
Is Math Real? is a much-needed repudiation of the rigid ways we're taught to do math, and a celebration of the true, curious spirit of the discipline. Written with intelligence and passion, Is Math Real? brings us math as we've never seen it before, revealing how profound insights can emerge from seemingly unlikely sources.
Seeing Four-Dimensional and Space Beyond : Using Knots! by
According to string theory, our universe exists in a 10- or 11-dimensional space. However, the idea the space beyond 3 dimensions seems hard to grasp for beginners. This book presents a way to understand four-dimensional space and beyond: with knots! Beginners can see high dimensional space although they have not seen it.With visual illustrations, we present the manipulation of figures in high dimensional space, examples of which are high dimensional knots and n-spheres embedded in the (n+2)-sphere, and generalize results on relations between local moves and knot invariants into high dimensional space.Local moves on knots, circles embedded in the 3-space, are very important to research in knot theory. It is well known that crossing changes are connected with the Alexander polynomial, the Jones polynomial, HOMFLYPT polynomial, Khovanov homology, Floer homology, Khovanov homotopy type, etc. We show several results on relations between local moves on high dimensional knots and their invariants.The following related topics are also introduced: projections of knots, knot products, slice knots and slice links, an open question: can the Jones polynomial be defined for links in all 3-manifolds? and Khovanov-Lipshitz-Sarkar stable homotopy type. Slice knots exist in the 3-space but are much related to the 4-dimensional space. The slice problem is connected with many exciting topics: Khovanov homology, Khovanv-Lipshits-Sarkar stable homotopy type, gauge theory, Floer homology, etc. Among them, the Khovanov-Lipshitz-Sarkar stable homotopy type is one of the exciting new areas; it is defined for links in the 3-sphere, but it is a high dimensional CW complex in general.Much of the book will be accessible to freshmen and sophomores with some basic knowledge of topology.
Mathematical Logic : An Introduction by
Mathematical Logic is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the language of propositional logic and the language of first-order logic, including the notion of a formal deduction. The text also covers Tarski's definition of truth and the computability concept. It also provides coherent proofs of Godel's completeness and incompleteness theorems. Moreover, the text was written with the student in mind and thus, it provides an accessible introduction to mathematical logic. In particular, the text explicitly shows the reader how to prove the basic theorems and presents detailed proofs throughout the book. Most undergraduate books on mathematical logic are written for a reader who is well-versed in logical notation and mathematical proof. This textbook is written to attract a wider audience, including students who are not yet experts in the art of mathematical proof.
Attractors, Shadowing, and Approximation of Abstract Semilinear Differential Equations by
The book is devoted to some branches of the theory of approximation of abstract differential equations, namely, approximation of attractors in the case of hyperbolic equilibrium points, shadowing, and approximation of time-fractional semilinear problems.
In this book, the most famous methods of several urgent branches of the theory of abstract differential equations scattered in numerous journal publications are systematized and collected together, which makes it convenient for the initial study of the subject and also for its use as a reference book. The presentation of the material is closed and accompanied by examples; this makes it easier to understand the material and helps beginners to quickly enter into the circle of ideas discussed.
The book can be useful for specialists in partial differential equations, functional analysis, theory of approximation of differential equations, and for all researchers, students, and postgraduates who apply these branches of mathematics in their work.
An Introduction to the Circle Method by
The circle method, pioneered by Ramanujan and Hardy in the early 20th century, has over the past 100 years become part of the standard tool chest of analytic number theory. Its scope of applications is ever-expanding, and the subject continues to see important breakthroughs. This book provides an introduction to the circle method that is accessible to undergraduate students with no background in number theory. The authors' goal is to show the students the elegance of the circle method and at the same time give a complete solution of the famous Waring problem as an illustration of the method. The first half of this book is a curated introduction to elementary number theory with an emphasis on topics needed for the second half. The second half showcases the two most "classic" applications of the circle method, to Waring's problem (following Hardy-Littlewood-Hua) and to Goldbach's conjectures (following Vinogradov, with improvements by Vaughan). This text is suitable for a one-semester undergraduate course or for independent study and will be a great entry point into this fascinating area of research.
The Theory of Gödel by
This book presents Gödel's incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert's Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.
Proofs : A Long-form Mathematics Textbook by
This textbook is designed for students. Rather than the typical definition-theorem-proof-repeat style, this text includes much more commentary, motivation and explanation. The proofs are not terse, and aim for understanding over economy. Furthermore, dozens of proofs are preceded by "scratch work" or a proof sketch to give students a big-picture view and an explanation of how they would come up with it on their own. This book covers intuitive proofs, direct proofs, sets, induction, logic, the contrapositive, contradiction, functions and relations. The text aims to make the ideas visible, and contains over 200 illustrations. The writing is relaxed and conversational, even humorous at times. This text is also an introduction to higher mathematics. This is done in-part through the chosen examples and theorems. Following every chapter is an introduction to different mathematical concepts, including Ramsey theory, number theory, topology, sequences, real analysis, big data, game theory, cardinality and group theory. Also, after each chapter's exercises is an introduction to an unsolved problem in mathematics. The first appendix contains further proof methods, the second appendix is a collection of particularly beautiful proofs, and the third is some writing advice.
V. A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics by
This book is dedicated to V.A. Yankov's seminal contributions to the theory of propositional logics. His papers, published in the 1960s, are highly cited even today. The Yankov characteristic formulas have become a very useful tool in propositional, modal and algebraic logic. The papers contributed to this book provide the new results on different generalizations and applications of characteristic formulas in propositional, modal and algebraic logics. In particular, an exposition of Yankov's results and their applications in algebraic logic, the theory of admissible rules and refutation systems is included in the book. In addition, the reader can find the studies on splitting and join-splitting in intermediate propositional logics that are based on Yankov-type formulas which are closely related to canonical formulas, and the study of properties of predicate extensions of non-classical propositional logics. The book also contains an exposition of Yankov's revolutionary approach to constructive proof theory. The editors also include Yankov's contributions to history and philosophy of mathematics and foundations of mathematics, as well as an examination of his original interpretation of history of Greek philosophy and mathematics.
Universal Algebraic Logic by
This book gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon. This book, apart from being a monograph containing state of the art results in algebraic logic, can be used as the basis for a number of different courses intended for both novices and more experienced students of logic, mathematics, or philosophy. For instance, the first two chapters can be used in their own right as a crash course in Universal Algebra.
