This book delves into finite mathematics and its application in physics, particularly quantum theory. It is shown that quantum theory based on finite mathematics is more general than standard quantum theory, whilst finite mathematics is itself more general than standard mathematics.As a consequence, the mathematics describing nature at the most fundamental level involves only a finite number of numbers while the notions of limit, infinite/infinitesimal and continuity are needed only in calculations that describe nature approximately. It is also shown that the concepts of particle and antiparticle are likewise approximate notions, valid only in special situations, and that the electric charge and baryon- and lepton quantum numbers can be only approximately conserved.

Problems books are popular with instructors and students alike, as well as among general readers. The key to this book is the many alternative solutions to single problems. Mathematics educators, secondary mathematics teachers, and university instructors will find the book interesting and useful.

The book's objectives are to expose students to analyzing and formulating various patterns such as linear, quadratic, geometric, piecewise, alternating, summation-type, product-type, recursive and periodic patterns. The book will present various patterns graphically and analytically and show the connections between them. Graphical presentations include patterns at same scale, patterns at diminishing scale and alternating patterns.The book's goals are to train and expand students' analytical skills by presenting numerous repetitive-type problems that will lead to formulating results inductively and to the proof by induction method. These will start with formulating basic sequences and piecewise functions and transition to properties of Pascal's Triangle that are horizontally and diagonally oriented and formulating solutions to recursive sequences. The book will start with relatively straight forward problems and gradually transition to more challenging problems and open-ended research questions. The book's aims are to prepare students to establish a base of recognition and formulation of patterns that will navigate to study further mathematics such as Calculus, Discrete Mathematics, Matrix Algebra, Abstract Algebra, Difference Equations, and to potential research projects. The primary aims out of all are to make mathematics accessible and multidisciplinary for students with different backgrounds and from various disciplines.

The book's objectives are to expose students to analyzing and formulating various patterns such as linear, quadratic, geometric, piecewise, alternating, summation-type, product-type, recursive and periodic patterns. The book will present various patterns graphically and analytically and show the connections between them. Graphical presentations include patterns at same scale, patterns at diminishing scale and alternating patterns.The book's goals are to train and expand students' analytical skills by presenting numerous repetitive-type problems that will lead to formulating results inductively and to the proof by induction method. These will start with formulating basic sequences and piecewise functions and transition to properties of Pascal's Triangle that are horizontally and diagonally oriented and formulating solutions to recursive sequences. The book will start with relatively straight forward problems and gradually transition to more challenging problems and open-ended research questions. The book's aims are to prepare students to establish a base of recognition and formulation of patterns that will navigate to study further mathematics such as Calculus, Discrete Mathematics, Matrix Algebra, Abstract Algebra, Difference Equations, and to potential research projects. The primary aims out of all are to make mathematics accessible and multidisciplinary for students with different backgrounds and from various disciplines.

This volume provides an introduction to the properties of functional differential equations and their applications in diverse fields such as immunology, nuclear power generation, heat transfer, signal processing, medicine and economics. In particular, it deals with problems and methods relating to systems having a memory (hereditary systems). The book contains eight chapters. Chapter 1 explains where functional differential equations come from and what sort of problems arise in applications. Chapter 2 gives a broad introduction to the basic principle involved and deals with systems having discrete and distributed delay. Chapters 3-5 are devoted to stability problems for retarded, neutral and stochastic functional differential equations. Problems of optimal control and estimation are considered in Chapters 6-8. For applied mathematicians, engineers, and physicists whose work involves mathematical modeling of hereditary systems. This volume can also be recommended as a supplementary text for graduate students who wish to become better acquainted with the properties and applications of functional differential equations.

This monograph presents a new model of mathematical structures called weak n-categories. These structures find their motivation in a wide range of fields, from algebraic topology to mathematical physics, algebraic geometry and mathematical logic. While strict n-categories are easily defined in terms associative and unital composition operations they are of limited use in applications, which often call for weakened variants of these laws. The author proposes a new approach to this weakening, whose generality arises not from a weakening of such laws but from the very geometric structure of its cells; a geometry dubbed weak globularity. The new model, called weakly globular n-fold categories, is one of the simplest known algebraic structures yielding a model of weak n-categories. The central result is the equivalence of this model to one of the existing models, due to Tamsamani and further studied by Simpson. This theory has intended applications to homotopy theory, mathematical physics and to long-standing open questions in category theory. As the theory is described in elementary terms and the book is largely self-contained, it is accessible to beginning graduate students and to mathematicians from a wide range of disciplines well beyond higher category theory. The new model makes a transparent connection between higher category theory and homotopy theory, rendering it particularly suitable for category theorists and algebraic topologists. Although the results are complex, readers are guided with an intuitive explanation before each concept is introduced, and with diagrams showing the interconnections between the main ideas and results.

This volume contains English translations of Goedel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. It also comprises most of his reading notes. This book is a testimony to Goedel's understanding of the situation of foundational research in mathematics after his great discovery, the incompleteness theorem of 1931. It is also a source for his views on his logical predecessors, from Leibniz, Frege, and Russell to his own times. Goedel's "own book on foundations," as he called it, is essential reading for logicians and philosophers interested in foundations. Furthermore, it opens a new chapter to the life and achievement of one of the icons of 20th century science and philosophy.

Foundations and Applications of Statistics simultaneously emphasizes both the foundational and the computational aspects of modern statistics. Engaging and accessible, this book is useful to undergraduate students with a wide range of backgrounds and career goals. The exposition immediately begins with statistics, presenting concepts and results from probability along the way. Hypothesis testing is introduced very early, and the motivation for several probability distributions comes from p-value computations. Pruim develops the students' practical statistical reasoning through explicit examples and through numerical and graphical summaries of data that allow intuitive inferences before introducing the formal machinery. The topics have been selected to reflect the current practice in statistics, where computation is an indispensible tool. In this vein, the statistical computing environment $\mathsf{R}$ is used throughout the text and is integral to the exposition. Attention is paid to developing students' mathematical and computational skills as well as their statistical reasoning. Linear models, such as regression and ANOVA, are treated with explicit reference to the underlying linear algebra, which is motivated geometrically. Foundations and Applications of Statistics discusses both the mathematical theory underlying statistics and practical applications that make it a powerful tool across disciplines. The book contains ample material for a two-semester course in undergraduate probability and statistics. A one-semester course based on the book will cover hypothesis testing and confidence intervals for the most common situations. In the second edition, the $\mathsf{R}$ code has been updated throughout to take advantage of new $\mathsf{R}$ packages and to illustrate better coding style. New sections have been added covering bootstrap methods, multinomial and multivariate normal distributions, the delta method, numerical methods for Bayesian inference, and nonlinear least squares. Also, the use of matrix algebra has been expanded, but remains optional, providing instructors with more options regarding the amount of linear algebra required.

Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century, who have put at our disposal new and powerful instruments for investigating the reality around us. The portraits present people who have impressive charisma and wide-ranging cultural interests, who are passionate about defending the importance of their own research, are sensitive to beauty, and attentive to the social and political problems of their times. What we have sought to document is mathematics' central position in the culture of our day. Space has been made not only for the great mathematicians but also for literary texts, including contributions by two apparent interlopers, Robert Musil and Raymond Queneau, for whom mathematical concepts represented a valuable tool for resolving the struggle between 'soul and precision.'

Mathematical Recreations from the Tournament of the Towns contains the complete list of problems and solutions to the International Mathematics Tournament of the Towns from Fall 2007 to Spring 2021. The primary audience for this book is the army of recreational mathematicians united under the banner of Martin Gardner. It should also have great value to students preparing for mathematics competitions and trainers of such students. This book also provides an entry point for students in upper elementary schools. Features Huge recreational value to mathematics enthusiasts Accessible to upper-level high school students Problems classified by topics such as two-player games, weighing problems, mathematical tasks etc.

1 Introduction.- 2 Pritchard-Salamon systems.- 3 Linear quadratic control and frequency domain inequalities.- 4 H?-control with state-feedback.- 5 H?-control with measurement-feedback.- 6 Examples and conclusions.- A Stability theory.- B Differentiability and some convergence results.- C The invariant zeros condition.

This book explores the classical and beautiful character theory of finite groups. It does it by using some rudiments of the language of categories. Originally emerging from two courses offered at Peking University (PKU), primarily for third-year students, it is now better suited for graduate courses, and provides broader coverage than books that focus almost exclusively on groups. The book presents the basic tools, notions and theorems of character theory (including a new treatment of the control of fusion and isometries), and introduces readers to the categorical language at several levels. It includes and proves the major results on characteristic zero representations without any assumptions about the base field. The book includes a dedicated chapter on graded representations and applications of polynomial invariants of finite groups, and its closing chapter addresses the more recent notion of the Drinfeld double of a finite group and the corresponding representation of GL_2(Z).

This book has a fundamental relationship to the International Seminar on Fuzzy Set Theory held each September in Linz, Austria. First, this volume is an extended account of the eleventh Seminar of 1989. Second, and more importantly, it is the culmination of the tradition of the preceding ten Seminars. The purpose of the Linz Seminar, since its inception, was and is to foster the development of the mathematical aspects of fuzzy sets. In the earlier years, this was accomplished by bringing together for a week small grou ps of mathematicians in various fields in an intimate, focused environment which promoted much informal, critical discussion in addition to formal presentations. Beginning with the tenth Seminar, the intimate setting was retained, but each Seminar narrowed in theme; and participation was broadened to include both younger scholars within, and established mathematicians outside, the mathematical mainstream of fuzzy sets theory. Most of the material of this book was developed over the years in close association with the Seminar or influenced by what transpired at Linz. For much of the content, it played a crucial role in either stimulating this material or in providing feedback and the necessary screening of ideas. Thus we may fairly say that the book, and the eleventh Seminar to which it is directly related, are in many respects a culmination of the previous Seminars.

The purpose of this book is to present the classical analytic function theory of several variables as a standard subject in a course of mathematics after learning the elementary materials (sets, general topology, algebra, one complex variable). This includes the essential parts of Grauert-Remmert's two volumes, GL227(236) (Theory of Stein spaces) and GL265 (Coherent analytic sheaves) with a lowering of the level for novice graduate students (here, Grauert's direct image theorem is limited to the case of finite maps).The core of the theory is "Oka's Coherence", found and proved by Kiyoshi Oka. It is indispensable, not only in the study of complex analysis and complex geometry, but also in a large area of modern mathematics. In this book, just after an introductory chapter on holomorphic functions (Chap. 1), we prove Oka's First Coherence Theorem for holomorphic functions in Chap. 2. This defines a unique character of the book compared with other books on this subject, in which the notion of coherence appears much later.The present book, consisting of nine chapters, gives complete treatments of the following items: Coherence of sheaves of holomorphic functions (Chap. 2); Oka-Cartan's Fundamental Theorem (Chap. 4); Coherence of ideal sheaves of complex analytic subsets (Chap. 6); Coherence of the normalization sheaves of complex spaces (Chap. 6); Grauert's Finiteness Theorem (Chaps. 7, 8); Oka's Theorem for Riemann domains (Chap. 8). The theories of sheaf cohomology and domains of holomorphy are also presented (Chaps. 3, 5). Chapter 6 deals with the theory of complex analytic subsets. Chapter 8 is devoted to the applications of formerly obtained results, proving Cartan-Serre's Theorem and Kodaira's Embedding Theorem. In Chap. 9, we discuss the historical development of "Coherence".It is difficult to find a book at this level that treats all of the above subjects in a completely self-contained manner. In the present volume, a number of classical proofs are improved and simplified, so that the contents are easily accessible for beginning graduate students.

This book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms, i.e., what the readers "see" and how they make use of what they see. Thus in comparison with some other books on the philosophy (or methodology) of science, which employ a syntactic approach, the author's approach is model theoretic or structural. Properly understood, it extends the current art and science of mathematical modeling to all fields of knowledge. The link between structure and algorithms is mathematics. But viewing "mathematics" as such a link is not exactly what readers most likely learned in school; thus, the task of this book is to explain what "mathematics" should actually mean. Chapter 1, an introductory essay, presents a general analysis of structures, algorithms and how they are to be linked. Several examples from the natural and social sciences, and from the history of knowledge, are provided in Chapters 2-6. In turn, Chapters 7 and 8 extend the analysis to include language and the mind. Structures are what the readers see. And, as abstract cultural objects, they can almost always be seen in many different ways. But certain structures, such as natural numbers and the basic theory of grammar, seem to have an absolute character. Any theory of knowledge grounded in human culture must explain how this is possible. The author's analysis of this cultural invariance, combining insights from evolutionary theory and neuroscience, is presented in the book's closing chapter. The book will be of interest to researchers, students and those outside academia who seek a deeper understanding of knowledge in our present-day society.

This book presents a philosophy of science, based on panenmentalism: an original modal metaphysics, which is realist about individual pure (non-actual) possibilities and rejects the notion of possible worlds. The book systematically constructs a new and novel way of understanding and explaining scientific progress, discoveries, and creativity. It demonstrates that a metaphysics of individual pure possibilities is indispensable for explaining and understanding mathematics and natural sciences. It examines the nature of individual pure possibilities, actualities, mind-dependent and mind-independent possibilities, as well as mathematical entities. It discusses in detail the singularity of each human being as a psychical possibility. It analyses striking scientific discoveries, and illustrates by means of examples of the usefulness and vitality of individual pure possibilities in the sciences.

This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics.

The International Biometric Society (IBS) was formed at the First International Biometric Conference at Woods Hole on September 6, 1947. The History of the International Biometric Society presents a deep dive into the voluminous archival records, with primary focus on IBS's first fifty years. It contains numerous photos and extracts from the archival materials, and features many photos of important leaders who served IBS across the decades. Features: Describes events leading up to and at Woods Hole on September 6, 1947 that led to the formation of IBS Outlines key markers that shaped IBS after the 1947 formation through to the modern day Describes the regional and national group structure, and the formation of regions and national groups Describes events surrounding the key scientific journal of IBS, Biometrics, including the transfer of ownership to IBS, content, editors, policies, management, and importance Describes the other key IBS publications - Biometric Bulletin, Journal of Agricultural Biological and Environmental Statistics, and regional publications Provides details of International Biometric Conferences and key early symposia Describes IBS constitution and by-laws processes, and the evolution of business arrangements Provides a record of international officers, including regional presidents, national group secretaries, journal editors, and the locations of meetings Includes a gallery of international Presidents, and a gallery of Secretaries and Treasurers The History of the International Biometric Society will appeal to anyone interested in the activities of our statistical and biometrical forebearers. The focus is on issues and events that engaged the attention of the officers of IBS. Some of these records are riveting, some entertaining, some intriguing, and some colorful. Some of the issues covered were difficult to handle, but even these often resulted in changes that benefited IBS.

The International Biometric Society (IBS) was formed at the First International Biometric Conference at Woods Hole on September 6, 1947. The History of the International Biometric Society presents a deep dive into the voluminous archival records, with primary focus on IBS's first fifty years. It contains numerous photos and extracts from the archival materials, and features many photos of important leaders who served IBS across the decades. Features: Describes events leading up to and at Woods Hole on September 6, 1947 that led to the formation of IBS Outlines key markers that shaped IBS after the 1947 formation through to the modern day Describes the regional and national group structure, and the formation of regions and national groups Describes events surrounding the key scientific journal of IBS, Biometrics, including the transfer of ownership to IBS, content, editors, policies, management, and importance Describes the other key IBS publications - Biometric Bulletin, Journal of Agricultural Biological and Environmental Statistics, and regional publications Provides details of International Biometric Conferences and key early symposia Describes IBS constitution and by-laws processes, and the evolution of business arrangements Provides a record of international officers, including regional presidents, national group secretaries, journal editors, and the locations of meetings Includes a gallery of international Presidents, and a gallery of Secretaries and Treasurers The History of the International Biometric Society will appeal to anyone interested in the activities of our statistical and biometrical forebearers. The focus is on issues and events that engaged the attention of the officers of IBS. Some of these records are riveting, some entertaining, some intriguing, and some colorful. Some of the issues covered were difficult to handle, but even these often resulted in changes that benefited IBS.

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language - and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell's paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches.

We live in a world that is not quite "right." The central tenet of statistical inquiry is that Observation = Truth + Error because even the most careful of scientific investigations have always been bedeviled by uncertainty. Our attempts to measure things are plagued with small errors. Our attempts to understand our world are blocked by blunders. And, unfortunately, in some cases, people have been known to lie. In this long-awaited follow-up to his well-regarded bestseller, The Lady Tasting Tea, David Salsburg opens a door to the amazing widespread use of statistical methods by looking at historical examples of errors, blunders and lies from areas as diverse as archeology, law, economics, medicine, psychology, sociology, Biblical studies, history, and war-time espionage. In doing so, he shows how, upon closer statistical investigation, errors and blunders often lead to useful information. And how statistical methods have been used to uncover falsified data. Beginning with Edmund Halley's examination of the Transit of Venus and ending with a discussion of how many tanks Rommel had during the Second World War, the author invites the reader to come along on this easily accessible and fascinating journey of how to identify the nature of errors, minimize the effects of blunders, and figure out who the liars are.

This fourth volume in Vladimir Tkachuk's series on Cp-theory gives reasonably complete coverage of the theory of functional equivalencies through 500 carefully selected problems and exercises. By systematically introducing each of the major topics of Cp-theory, the book is intended to bring a dedicated reader from basic topological principles to the frontiers of modern research. The book presents complete and up-to-date information on the preservation of topological properties by homeomorphisms of function spaces. An exhaustive theory of t-equivalent, u-equivalent and l-equivalent spaces is developed from scratch. The reader will also find introductions to the theory of uniform spaces, the theory of locally convex spaces, as well as the theory of inverse systems and dimension theory. Moreover, the inclusion of Kolmogorov's solution of Hilbert's Problem 13 is included as it is needed for the presentation of the theory of l-equivalent spaces. This volume contains the most important classical results on functional equivalencies, in particular, Gul'ko and Khmyleva's example of non-preservation of compactness by t-equivalence, Okunev's method of constructing l-equivalent spaces and the theorem of Marciszewski and Pelant on u-invariance of absolute Borel sets.

In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The contributing authors represent leading experts in this relatively new field, each of whom was invited to write a chapter based on talks given at seminars held at the Schloss Dagstuhl Leibniz Center for Informatics in Wadern, Germany (in February 2013 and June 2015) and an Academy Colloquium at the Royal Netherlands Academy of Arts and Sciences (March 2014). Altogether, these chapters provide the most up-to-date look at this developing and highly interdisciplinary field and will be of interest to a broad group of logicians, mathematicians, statisticians, philosophers, and scientists. Topics covered include a comprehensive survey of many propositional, modal, and first-order variants of dependence logic; new results concerning expressive power of several variants of dependence logic with different sets of logical connectives and generalized dependence atoms; connections between inclusion logic and the least-fixed point logic; an overview of dependencies in databases by addressing the relationships between implication problems for fragments of statistical conditional independencies, embedded multivalued dependencies, and propositional logic; various Markovian models used to characterize dependencies and causality among variables in multivariate systems; applications of dependence logic in social choice theory; and an introduction to the theory of secret sharing, pointing out connections to dependence and independence logic.

The theory of the square of opposition has been studied for over 2,000 years and has seen a resurgence in new theories and research since the second half of the twentieth century. This volume collects papers presented at the Sixth World Congress on the Square of Opposition, held in Crete in 2018, developing an interdisciplinary exploration of the theory. Chapter authors explore subjects such as Aristotle's ontological square, logical oppositions in Avicenna's hypothetical logic, and the power of the square of opposition to solve theological problems regarding predestination and theodicy. Other topics covered include: Hegel's opposition to diagrams De Morgan's unpublished octagon of opposition turnstile figures of opposition institutional model-theoretic treatment of oppositions Lacan's four formulas of sexuation the theory of oppositional poly-simplexes The Exoteric Square of Opposition will appeal to pure logicians, historians of logic, semioticians, philosophers, theologians, mathematicians, and psychoanalysts.