Exploring Geometry, Second Edition promotes student engagement with the beautiful ideas of geometry. Every major concept is introduced in its historical context and connects the idea with real-life. A system of experimentation followed by rigorous explanation and proof is central. Exploratory projects play an integral role in this text. Students develop a better sense of how to prove a result and visualize connections between statements, making these connections real. They develop the intuition needed to conjecture a theorem and devise a proof of what they have observed. Features: Second edition of a successful textbook for the first undergraduate course Every major concept is introduced in its historical context and connects the idea with real life Focuses on experimentation Projects help enhance student learning All major software programs can be used; free software from author

This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of large cardinals, inner models, forcing and descriptive set theory.

The following topics are covered:
Forcing and constructability
The Solovay-Shelah Theorem i.e. the equiconsistency of 'every set of reals is Lebesgue measurable' with one inaccessible cardinal
Fine structure theory and a modern approach to sharps
Jensen's Covering Lemma
The equivalence of analytic determinacy with sharps
The theory of extenders and iteration trees
A proof of projective determinacy from Woodin cardinals.
"Set Theory" requires only a basic knowledge of mathematical logic and will be suitable for advanced students and researchers."

Clear, concise compendium of about 150 time-saving math short-cuts features faster, easier ways to add, subtract, multiply, and divide. Each problem includes an explanation of the method, a step-by-step solution, the short-cut solution, and proof, as well as an explanation of why it works. No special math ability needed.

This book formally introduces synthetic differential topology, a natural extension of the theory of synthetic differential geometry which captures classical concepts of differential geometry and topology by means of the rich categorical structure of a necessarily non-Boolean topos and of the systematic use of logical infinitesimal objects in it. Beginning with an introduction to those parts of topos theory and synthetic differential geometry necessary for the remainder, this clear and comprehensive text covers the general theory of synthetic differential topology and several applications of it to classical mathematics, including the calculus of variations, Mather's theorem, and Morse theory on the classification of singularities. The book represents the state of the art in synthetic differential topology and will be of interest to researchers in topos theory and to mathematicians interested in the categorical foundations of differential geometry and topology.

The hybrid/heterogeneous nature of future microprocessors and large high-performance computing systems will result in a reliance on two major types of components: multicore/manycore central processing units and special purpose hardware/massively parallel accelerators. While these technologies have numerous benefits, they also pose substantial performance challenges for developers, including scalability, software tuning, and programming issues. Researchers at the Forefront Reveal Results from Their Own State-of-the-Art Work Edited by some of the top researchers in the field and with contributions from a variety of international experts, Scientific Computing with Multicore and Accelerators focuses on the architectural design and implementation of multicore and manycore processors and accelerators, including graphics processing units (GPUs) and the Sony Toshiba IBM (STI) Cell Broadband Engine (BE) currently used in the Sony PlayStation 3. The book explains how numerical libraries, such as LAPACK, help solve computational science problems; explores the emerging area of hardware-oriented numerics; and presents the design of a fast Fourier transform (FFT) and a parallel list ranking algorithm for the Cell BE. It covers stencil computations, auto-tuning, optimizations of a computational kernel, sequence alignment and homology, and pairwise computations. The book also evaluates the portability of drug design applications to the Cell BE and illustrates how to successfully exploit the computational capabilities of GPUs for scientific applications. It concludes with chapters on dataflow frameworks, the Charm++ programming model, scan algorithms, and a portable intracore communication framework. Explores the New Computational Landscape of Hybrid Processors By offering insight into the process of constructing and effectively using the technology, this volume provides a thorough and practical introduction to the area of hybrid computing. It discusses introductory concepts and simple examples of parallel computing, logical and performance debugging for parallel computing, and advanced topics and issues related to the use and building of many applications.

This book provides an organized exposition of the current state of the theory of commutative semigroup cohomology, a theory which was originated by the author and has matured in the past few years. The work contains a fundamental scientific study of questions in the theory. The various approaches to commutative semigroup cohomology are compared. The problems arising from definitions in higher dimensions are addressed. Computational methods are reviewed. The main application is the computation of extensions of commutative semigroups and their classification. Previously the components of the theory were scattered among a number of research articles. This work combines all parts conveniently in one volume. It will be a valuable resource for future students of and researchers in commutative semigroup cohomology and related areas.

Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today. Another noteworthy achievement is his resolution of the embarrassing situation created by Goedel's incompleteness results, especially the second one about the unprovability of consistency of elementary arithmetic. After these successes, Gentzen dedicated the rest of his short life to the main problem of Hilbert's proof theory, the question of the consistency of analysis. He was arrested in the summer of 1945 with other professors of the German University of Prague and died soon afterward of starvation in a prison cell. Attempts at locating his lost manuscripts failed at the time, but several decades later, two slim folders of shorthand notes were found. In this volume, Jan von Plato gives an overview of Gentzen's life and scientific achievements, based on detailed archival and systematic studies, and essential for placing the translations of shorthand manuscripts that follow in the right setting. The materials in this book are singular in the way they show the birth and development of Gentzen's central ideas and results, sometimes in a well-developed form, and other times as flashes into the anatomy of the workings of a unique mind.

Strange Attractors is a collection of approximately 150 poems with strong links to mathematics in content, form, or imagery. The common theme is love, and the editors draw from its various manifestations-romantic love, spiritual love, humorous love, love between parents and children, mathematicians in love, love of mathematics. The poets include literary masters as well as celebrated mathematicians and scientists.

"What, after all, is mathematics but the poetry of the mind, and what is poetry but the mathematics of the heart?" So wrote the American mathematician and educator David Eugene Smith. In a similar vein, the German mathematician Karl Weierstrass declared, "A mathematician who is not at the same time something of a poet will never be a full mathematician." Most mathematicians will know what they meant. But what do professional poets think of mathematics?

In this delightful collection, the editors present the view of the same terrain-the connections between mathematics and poetry-from the other side of the equation: the poets. Now is your chance to see if the equation balances.

-Keith Devlin, mathematician, Stanford University, and author of The Math Gene, The Math Instinct, and The Language of Mathematics

This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing. Beginning with an introduction to the mathematisation of "mechanical process" using URM programs, this textbook explains basic theory such as primitive recursive functions and predicates and sequence-coding, partial recursive functions and predicates, and loop programs. Advanced chapters cover the Ackerman function, Tarski's theorem on the non-representability of truth, Goedel's incompleteness and Rosser's incompleteness theorems, two short proofs of the incompleteness theorem that are based on Lob's deliverability conditions, Church's thesis, the second recursion theorem and applications, a provably recursive universal function for the primitive recursive functions, Oracle computations and various classes of computable functionals, the Arithmetical hierarchy, Turing reducibility and Turing degrees and the priority method, a thorough exposition of various versions of the first recursive theorem, Blum's complexity, Hierarchies of primitive recursive functions, and a machine-independent characterisation of Cobham's feasibly computable functions.

This volume celebrates the 100th birthday of Professor Chen-Ning Frank Yang (Nobel 1957), one of the giants of modern science and a living legend. Starting with reminiscences of Yang's time at the research centre for theoretical physics at Stonybrook (now named C. N. Yang Institute) by his successor Peter van Nieuwenhuizen, the book is a collection of articles by world-renowned mathematicians and theoretical physicists. This emphasizes the Dialogue Between Physics and Mathematics that has been a central theme of Professor Yang's contributions to contemporary science. Fittingly, the contributions to this volume range from experimental physics to pure mathematics, via mathematical physics. On the physics side, the contributions are from Sir Anthony Leggett (Nobel 2003), Jian-Wei Pan (Willis E. Lamb Award 2018), Alexander Polyakov (Breakthrough Prize 2013), Gerard 't Hooft (Nobel 1999), Frank Wilczek (Nobel 2004), Qikun Xue (Fritz London Prize 2020), and Zhongxian Zhao (Bernd T. Matthias Prize 2015), covering an array of topics from superconductivity to the foundations of quantum mechanics. In mathematical physics there are contributions by Sir Roger Penrose (Nobel 2022) and Edward Witten (Fields Medal 1990) on quantum twistors and quantum field theory, respectively. On the mathematics side, the contributions by Vladimir Drinfeld (Fields Medal 1990), Louis Kauffman (Wiener Gold Medal 2014), and Yuri Manin (Cantor Medal 2002) offer novel ideas from knot theory to arithmetic geometry. Inspired by the original ideas of C. N. Yang, this unique collection of papers b masters of physics and mathematics provides, at the highest level, contemporary research directions for graduate students and experts alike.

This volume collects chapters that examine representation theory as connected with affine Lie algebras and their quantum analogues, in celebration of the impact Vyjayanthi Chari has had on this area. The opening chapters are based on mini-courses given at the conference "Interactions of Quantum Affine Algebras with Cluster Algebras, Current Algebras and Categorification", held on the occasion of Chari's 60th birthday at the Catholic University of America in Washington D.C., June 2018. The chapters that follow present a broad view of the area, featuring surveys, original research, and an overview of Vyjayanthi Chari's significant contributions. Written by distinguished experts in representation theory, a range of topics are covered, including: String diagrams and categorification Quantum affine algebras and cluster algebras Steinberg groups for Jordan pairs Dynamical quantum determinants and Pfaffians Interactions of Quantum Affine Algebras with Cluster Algebras, Current Algebras and Categorification will be an ideal resource for researchers in the fields of representation theory and mathematical physics.

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.

This book is an exposition of recent progress on the Donaldson-Thomas (DT) theory. The DT invariant was introduced by R. Thomas in 1998 as a virtual counting of stable coherent sheaves on Calabi-Yau 3-folds. Later, it turned out that the DT invariants have many interesting properties and appear in several contexts such as the Gromov-Witten/Donaldson-Thomas conjecture on curve-counting theories, wall-crossing in derived categories with respect to Bridgeland stability conditions, BPS state counting in string theory, and others. Recently, a deeper structure of the moduli spaces of coherent sheaves on Calabi-Yau 3-folds was found through derived algebraic geometry. These moduli spaces admit shifted symplectic structures and the associated d-critical structures, which lead to refined versions of DT invariants such as cohomological DT invariants. The idea of cohomological DT invariants led to a mathematical definition of the Gopakumar-Vafa invariant, which was first proposed by Gopakumar-Vafa in 1998, but its precise mathematical definition has not been available until recently. This book surveys the recent progress on DT invariants and related topics, with a focus on applications to curve-counting theories.

This graphic novel is both a historical novel as well as an entertaining way of using mathematics to solve a crime. The plot, the possible motive of every suspect, and the elements of his or her character are based on actual historical figures. The 2nd International Congress of Mathematicians is being held in Paris in 1900. The main speaker, the renowned Professor X, is found dead in the hotel dining room. Foul play is suspected. The greatest mathematicians of all time (who are attending the Congress) are called in for questioning. Their statements to the police, however, take the form of mathematical problems. The Chief Inspector enlists the aid of a young mathematician to help solve the crime. Do numbers always tell the truth? Or don't they?

This book explores the premise that a physical theory is an interpretation of the analytico-canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico-canonical formalism for classical mechanics, and its applications in electromagnetism, Schroedinger's quantum mechanics, and field theories such as general relativity and gauge field theories, up to the Higgs mechanism. The analysis uses the main criterion used by physicists for a theory: to formulate a physical theory we write down a Lagrangian for it. A physical theory is a particular instance of the Lagrangian functional. So, there is already an unified physical theory. One only has to specify the corresponding Lagrangian (or Lagrangian density); the dynamical equations are the associated Euler-Lagrange equations. The theory of Suppes predicates as the main tool in the axiomatization and examples from the usual theories in physics. For applications, a whole plethora of results from logic that lead to interesting, and sometimes unexpected, consequences. This volume looks at where our physics happen and which mathematical universe we require for the description of our concrete physical events. It also explores if we use the constructive universe or if we need set-theoretically generic spacetimes.

Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics. It covers not only standard material but also many interesting topics not usually encountered at this level, such as the theory of solving cubic equations; Euler's formula for the numbers of corners, edges, and faces of a solid object and the five Platonic solids; the use of prime numbers to encode and decode secret information; the theory of how to compare the sizes of two infinite sets; and the rigorous theory of limits and continuous functions. New to the Fourth Edition Two new chapters that serve as an introduction to abstract algebra via the theory of groups, covering abstract reasoning as well as many examples and applications New material on inequalities, counting methods, the inclusion-exclusion principle, and Euler's phi function Numerous new exercises, with solutions to the odd-numbered ones Through careful explanations and examples, this popular textbook illustrates the power and beauty of basic mathematical concepts in number theory, discrete mathematics, analysis, and abstract algebra. Written in a rigorous yet accessible style, it continues to provide a robust bridge between high school and higher-level mathematics, enabling students to study more advanced courses in abstract algebra and analysis.

This book presents a set theoretical development for the foundations of the theory of atomic and finitely supported structures. It analyzes whether a classical result can be adequately reformulated by replacing a 'non-atomic structure' with an 'atomic, finitely supported structure'. It also presents many specific properties, such as finiteness, cardinality, connectivity, fixed point, order and uniformity, of finitely supported atomic structures that do not have non-atomic correspondents. In the framework of finitely supported sets, the authors analyze the consistency of various forms of choice and related results. They introduce and study the notion of 'cardinality' by presenting various order and arithmetic properties. Finitely supported partially ordered sets, chain complete sets, lattices and Galois connections are studied, and new fixed point, calculability and approximation properties are presented. In this framework, the authors study the finitely supported L-fuzzy subsets of a finitely supported set and the finitely supported fuzzy subgroups of a finitely supported group. Several pairwise non-equivalent definitions for the notion of 'infinity' (Dedekind infinity, Mostowski infinity, Kuratowski infinity, Tarski infinity, ascending infinity) are introduced, compared and studied in the new framework. Relevant examples of sets that satisfy some forms of infinity while not satisfying others are provided. Uniformly supported sets are analyzed, and certain surprising properties are presented. Finally, some variations of the finite support requirement are discussed. The book will be of value to researchers in the foundations of set theory, algebra and logic.

This volume is dedicated to Hiroakira Ono life's work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science. It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic.

This book is a comprehensive examination of the conception, perception, performance, and composition of time in music across time and culture. It surveys the literature of time in mathematics, philosophy, psychology, music theory, and somatic studies (medicine and disability studies) and looks ahead through original research in performance, composition, psychology, and education. It is the first monograph solely devoted to the theory of construction of musical time since Kramer in 1988, with new insights, mathematical precision, and an expansive global and historical context. The mathematical methods applied for the construction of musical time are totally new. They relate to category theory (projective limits) and the mathematical theory of gestures. These methods and results extend the music theory of time but also apply to the applied performative understanding of making music. In addition, it is the very first approach to a constructive theory of time, deduced from the recent theory of musical gestures and their categories. Making Musical Time is intended for a wide audience of scholars with interest in music. These include mathematicians, music theorists, (ethno)musicologists, music psychologists / educators / therapists, music performers, philosophers of music, audiologists, and acousticians.

This volume commemorates the life, work, and foundational views of Kurt Godel (1906 1978), most famous for his hallmark works on the completeness of first-order logic, the incompleteness of number theory, and the consistency with the other widely accepted axioms of set theory of the axiom of choice and of the generalized continuum hypothesis. It explores current research, advances, and ideas for future directions not only in the foundations of mathematics and logic, but also in the fields of computer science, artificial intelligence, physics, cosmology, philosophy, theology, and the history of science. The discussion is supplemented by personal reflections from several scholars who knew Godel personally, providing some interesting insights into his life. By putting his ideas and life's work into the context of current thinking and perceptions, this book will extend the impact of Godel's fundamental work in mathematics, logic, philosophy, and other disciplines for future generations of researchers."

Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics such as choice sequences, the continuum, the fan theorem, order and well-order. Brouwer's own powerful style is evident throughout the work.

All students taking laboratory courses within the physical sciences and engineering will benefit from this book, whilst researchers will find it an invaluable reference. This concise, practical guide brings the reader up-to-speed on the proper handling and presentation of scientific data and its inaccuracies. It covers all the vital topics with practical guidelines, computer programs (in Python), and recipes for handling experimental errors and reporting experimental data. In addition to the essentials, it also provides further background material for advanced readers who want to understand how the methods work. Plenty of examples, exercises and solutions are provided to aid and test understanding, whilst useful data, tables and formulas are compiled in a handy section for easy reference.

All students taking laboratory courses within the physical sciences and engineering will benefit from this book, whilst researchers will find it an invaluable reference. This concise, practical guide brings the reader up-to-speed on the proper handling and presentation of scientific data and its inaccuracies. It covers all the vital topics with practical guidelines, computer programs (in Python), and recipes for handling experimental errors and reporting experimental data. In addition to the essentials, it also provides further background material for advanced readers who want to understand how the methods work. Plenty of examples, exercises and solutions are provided to aid and test understanding, whilst useful data, tables and formulas are compiled in a handy section for easy reference.

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