Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the third publication in the Perspectives in Logic series, is a much-needed monograph on the metamathematics of first-order arithmetic. The authors pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness. The reader is only assumed to know the basics of mathematical logic, which are reviewed in the preliminaries. Part I develops parts of mathematics and logic in various fragments. Part II is devoted to incompleteness. Finally, Part III studies systems that have the induction schema restricted to bounded formulas (bounded arithmetic).

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the first publication in the Perspectives in Logic series, Pour-El and Richards present the first graduate-level treatment of computable analysis within the tradition of classical mathematical reasoning. The book focuses on the computability or noncomputability of standard processes in analysis and physics. Topics include classical analysis, Hilbert and Banach spaces, bounded and unbounded linear operators, eigenvalues, eigenvectors, and equations of mathematical physics. The work is self-contained, and although it is intended primarily for logicians and analysts, it should also be of interest to researchers and graduate students in physics and computer science.

This monograph is devoted to monoidal categories and their connections with 3-dimensional topological field theories. Starting with basic definitions, it proceeds to the forefront of current research. Part 1 introduces monoidal categories and several of their classes, including rigid, pivotal, spherical, fusion, braided, and modular categories. It then presents deep theorems of Muger on the center of a pivotal fusion category. These theorems are proved in Part 2 using the theory of Hopf monads. In Part 3 the authors define the notion of a topological quantum field theory (TQFT) and construct a Turaev-Viro-type 3-dimensional state sum TQFT from a spherical fusion category. Lastly, in Part 4 this construction is extended to 3-manifolds with colored ribbon graphs, yielding a so-called graph TQFT (and, consequently, a 3-2-1 extended TQFT). The authors then prove the main result of the monograph: the state sum graph TQFT derived from any spherical fusion category is isomorphic to the Reshetikhin-Turaev surgery graph TQFT derived from the center of that category. The book is of interest to researchers and students studying topological field theory, monoidal categories, Hopf algebras and Hopf monads.

This book offers an ideal introduction to singular perturbation problems, and a valuable guide for researchers in the field of differential equations. It also includes chapters on new contributions to both fields: differential equations and singular perturbation problems. Written by experts who are active researchers in the related fields, the book serves as a comprehensive source of information on the underlying ideas in the construction of numerical methods to address different classes of problems with solutions of different behaviors, which will ultimately help researchers to design and assess numerical methods for solving new problems. All the chapters presented in the volume are complemented by illustrations in the form of tables and graphs.

This book questions the relevance of computation to the physical universe. Our theories deliver computational descriptions, but the gaps and discontinuities in our grasp suggest a need for continued discourse between researchers from different disciplines, and this book is unique in its focus on the mathematical theory of incomputability and its relevance for the real world. The core of the book consists of thirteen chapters in five parts on extended models of computation; the search for natural examples of incomputable objects; mind, matter, and computation; the nature of information, complexity, and randomness; and the mathematics of emergence and morphogenesis. This book will be of interest to researchers in the areas of theoretical computer science, mathematical logic, and philosophy.

This book presents the singular configurations associated with a robot mechanism, together with robust methods for their computation, interpretation, and avoidance path planning. Having such methods is essential as singularities generally pose problems to the normal operation of a robot, but also determine the workspaces and motion impediments of its underlying mechanical structure. A distinctive feature of this volume is that the methods are applicable to nonredundant mechanisms of general architecture, defined by planar or spatial kinematic chains interconnected in an arbitrary way. Moreover, singularities are interpreted as silhouettes of the configuration space when seen from the input or output spaces. This leads to a powerful image that explains the consequences of traversing singular configurations, and all the rich information that can be extracted from them. The problems are solved by means of effective branch-and-prune and numerical continuation methods that are of independent interest in themselves. The theory can be put into practice as well: a companion web page gives open access to implementations of the algorithms and the corresponding input files. Using them, the reader can gain hands-on experience on the topic, or analyse new mechanisms beyond those examined in the text. Overall, the book contributes new tools for robot design, and constitutes a single reference source of knowledge that is otherwise dispersed in the literature.

Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial Differential Equations and Scientific Computing in August 2014.

This is the first book to revisit geotechnical site characterization from a probabilistic point of view and provide rational tools to probabilistically characterize geotechnical properties and underground stratigraphy using limited information obtained from a specific site. This book not only provides new probabilistic approaches for geotechnical site characterization and slope stability analysis, but also tackles the difficulties in practical implementation of these approaches. In addition, this book also develops efficient Monte Carlo simulation approaches for slope stability analysis and implements these approaches in a commonly available spreadsheet environment. These approaches and the software package are readily available to geotechnical practitioners and alleviate them from reliability computational algorithms. The readers will find useful information for a non-specialist to determine project-specific statistics of geotechnical properties and to perform probabilistic analysis of slope stability.

Designed for graduate students, researchers, and engineers in mathematics, optimization, and economics, this self-contained volume presents theory, methods, and applications in mathematical analysis and approximation theory. Specific topics include: approximation of functions by linear positive operators with applications to computer aided geometric design, numerical analysis, optimization theory, and solutions of differential equations. Recent and significant developments in approximation theory, special functions and q-calculus along with their applications to mathematics, engineering, and social sciences are discussed and analyzed. Each chapter enriches the understanding of current research problems and theories in pure and applied research.

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.

This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer book TCSE 6: A Primer on Scientific Programming with Python (by Langtangen), but the style is more accessible and concise, in keeping with the needs of engineering students. The book outlines the shortest possible path from no previous experience with programming to a set of skills that allows the students to write simple programs for solving common mathematical problems with numerical methods in engineering and science courses. The emphasis is on generic algorithms, clean design of programs, use of functions, and automatic tests for verification.

In the second edition of this classic monograph, complete with four new chapters and updated references, readers will now have access to content describing and analysing classical and modern methods with emphasis on the algebraic structure of linear iteration, which is usually ignored in other literature. The necessary amount of work increases dramatically with the size of systems, so one has to search for algorithms that most efficiently and accurately solve systems of, e.g., several million equations. The choice of algorithms depends on the special properties the matrices in practice have. An important class of large systems arises from the discretization of partial differential equations. In this case, the matrices are sparse (i.e., they contain mostly zeroes) and well-suited to iterative algorithms. The first edition of this book grew out of a series of lectures given by the author at the Christian-Albrecht University of Kiel to students of mathematics. The second edition includes quite novel approaches.

Presenting a novel approach to wave theory, this book applies mathematical modeling to the investigation of sea waves. It presents problems, solutions and methods, and explores issues such as statistical properties of sea waves, generation of turbulence, Benjamin-Feir instability and the development of wave fields under the action of wind. Special attention is paid to the processes of dynamic wind-wave interaction, the formation of freak waves, as well as the role that sea waves play in the dynamic ocean/atmosphere system. It presents theoretical results which are followed by a description of the algorithms used in the development of wave forecasting models, and provides illustrations to assist understanding of the various models presented. This book provides an invaluable resource to oceanographers, specialists in fluid dynamics and advanced students interested in investigation of the widely known but poorly investigated phenomenon of sea waves.

This textbook provides a step-by-step approach to numerical methods in engineering modelling. The authors provide a consistent treatment of the topic, from the ground up, to reinforce for students that numerical methods are a set of mathematical modelling tools which allow engineers to represent real-world systems and compute features of these systems with a predictable error rate. Each method presented addresses a specific type of problem, namely root-finding, optimization, integral, derivative, initial value problem, or boundary value problem, and each one encompasses a set of algorithms to solve the problem given some information and to a known error bound. The authors demonstrate that after developing a proper model and understanding of the engineering situation they are working on, engineers can break down a model into a set of specific mathematical problems, and then implement the appropriate numerical methods to solve these problems.

This book presents the latest advances in research to analyze mechanical damage and its detection in multilayer systems. The contents are linked to the Rilem TC241 - MCD scientific activities and the proceedings of the 8th RILEM International Conference on Mechanisms of Cracking and Debonding in Pavements (MCD2016). MCD2016 was hosted by Ifsttar and took place in Nantes, France, on June 7-9, 2016. In their lifetime, pavements undergo degradation due to different mechanisms of which cracking is among the most important ones. The damage and the fracture behavior of all its material layers as well as interfaces must be understood. In that field, the research activities aims to develop a deeper fundamental understanding of the mechanisms responsible for cracking and debonding in asphalt concrete and composite (e.g. asphalt overlays placed on PCC or thin cement concrete overlay placed on asphalt layer) pavement systems.

This book contains extended, in-depth presentations of the plenary talks from the 16th French-German-Polish Conference on Optimization, held in Krakow, Poland in 2013. Each chapter in this book exhibits a comprehensive look at new theoretical and/or application-oriented results in mathematical modeling, optimization, and optimal control. Students and researchers involved in image processing, partial differential inclusions, shape optimization, or optimal control theory and its applications to medical and rehabilitation technology, will find this book valuable. The first chapter by Martin Burger provides an overview of recent developments related to Bregman distances, which is an important tool in inverse problems and image processing. The chapter by Piotr Kalita studies the operator version of a first order in time partial differential inclusion and its time discretization. In the chapter by Gunter Leugering, Jan Sokolowski and Antoni Zochowski, nonsmooth shape optimization problems for variational inequalities are considered. The next chapter, by Katja Mombaur is devoted to applications of optimal control and inverse optimal control in the field of medical and rehabilitation technology, in particular in human movement analysis, therapy and improvement by means of medical devices. The final chapter, by Nikolai Osmolovskii and Helmut Maurer provides a survey on no-gap second order optimality conditions in the calculus of variations and optimal control, and a discussion of their further development.

This book presents lecture notes from the XVI 'Jacques-Louis Lions' Spanish-French School on Numerical Simulation in Physics and Engineering, held in Pamplona (Navarra, Spain) in September 2014. The subjects covered include: numerical analysis of isogeometric methods, convolution quadrature for wave simulations, mathematical methods in image processing and computer vision, modeling and optimization techniques in food processes, bio-processes and bio-systems, and GPU computing for numerical simulation. The book is highly recommended to graduate students in Engineering or Science who want to focus on numerical simulation, either as a research topic or in the field of industrial applications. It can also benefit senior researchers and technicians working in industry who are interested in the use of state-of-the-art numerical techniques in the fields addressed here. Moreover, the book can be used as a textbook for master courses in Mathematics, Physics, or Engineering.

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the underlying logics of inconsistent but useful scientific and mathematical theories. The great variety of paraconsistent logics gives rise to various, interrelated questions, such as what are the desiderata a paraconsistent logic should satisfy, is there prospect of a universal approach to paraconsistent reasoning with axiomatic theories, and to what extent is reasoning about sets structurally analogous to reasoning about truth. Furthermore, the authors consider paraconsistent logic's status as either a normative or descriptive discipline (or one which falls in between) and which inconsistent but non-trivial axiomatic theories are well understood by which types of paraconsistent approaches. This volume addresses such questions from different perspectives in order to (i) obtain a representative overview of the state of the art in the philosophical debate on paraconsistency, (ii) come up with fresh ideas for the future of paraconsistency, and most importantly (iii) provide paraconsistent logic with a stronger philosophical foundation, taking into account the developments within the different schools of paraconsistency.

The book offers a comprehensive survey of intuitionistic fuzzy logics. By reporting on both the author's research and others' findings, it provides readers with a complete overview of the field and highlights key issues and open problems, thus suggesting new research directions. Starting with an introduction to the basic elements of intuitionistic fuzzy propositional calculus, it then provides a guide to the use of intuitionistic fuzzy operators and quantifiers, and lastly presents state-of-the-art applications of intuitionistic fuzzy sets. The book is a valuable reference resource for graduate students and researchers alike.

This book discusses the state-of-the-art and open problems in computational finance. It presents a collection of research outcomes and reviews of the work from the STRIKE project, an FP7 Marie Curie Initial Training Network (ITN) project in which academic partners trained early-stage researchers in close cooperation with a broader range of associated partners, including from the private sector. The aim of the project was to arrive at a deeper understanding of complex (mostly nonlinear) financial models and to develop effective and robust numerical schemes for solving linear and nonlinear problems arising from the mathematical theory of pricing financial derivatives and related financial products. This was accomplished by means of financial modelling, mathematical analysis and numerical simulations, optimal control techniques and validation of models. In recent years the computational complexity of mathematical models employed in financial mathematics has witnessed tremendous growth. Advanced numerical techniques are now essential to the majority of present-day applications in the financial industry. Special attention is devoted to a uniform methodology for both testing the latest achievements and simultaneously educating young PhD students. Most of the mathematical codes are linked into a novel computational finance toolbox, which is provided in MATLAB and PYTHON with an open access license. The book offers a valuable guide for researchers in computational finance and related areas, e.g. energy markets, with an interest in industrial mathematics.

This 4-th edition of the leading reference volume on distance metrics is characterized by updated and rewritten sections on some items suggested by experts and readers, as well a general streamlining of content and the addition of essential new topics. Though the structure remains unchanged, the new edition also explores recent advances in the use of distances and metrics for e.g. generalized distances, probability theory, graph theory, coding theory, data analysis. New topics in the purely mathematical sections include e.g. the Vitanyi multiset-metric, algebraic point-conic distance, triangular ratio metric, Rossi-Hamming metric, Taneja distance, spectral semimetric between graphs, channel metrization, and Maryland bridge distance. The multidisciplinary sections have also been supplemented with new topics, including: dynamic time wrapping distance, memory distance, allometry, atmospheric depth, elliptic orbit distance, VLBI distance measurements, the astronomical system of units, and walkability distance. Leaving aside the practical questions that arise during the selection of a 'good' distance function, this work focuses on providing the research community with an invaluable comprehensive listing of the main available distances. As well as providing standalone introductions and definitions, the encyclopedia facilitates swift cross-referencing with easily navigable bold-faced textual links to core entries. In addition to distances themselves, the authors have collated numerous fascinating curiosities in their Who's Who of metrics, including distance-related notions and paradigms that enable applied mathematicians in other sectors to deploy research tools that non-specialists justly view as arcane. In expanding access to these techniques, and in many cases enriching the context of distances themselves, this peerless volume is certain to stimulate fresh research.

This book consolidates and extends the authors' work on the connection between iconicity and abductive inference. It emphasizes a pragmatic, experimental and fallibilist view of knowledge without sacrificing formal rigor. Within this context, the book focuses particularly on scientific knowledge and its prevalent use of mathematics. To find an answer to the question "What kind of experimental activity is the scientific employment of mathematics?" the book addresses the problems involved in formalizing abductive cognition. For this, it implements the concept and method of iconicity, modeling this theoretical framework mathematically through category theory and topoi. Peirce's concept of iconic signs is treated in depth, and it is shown how Peirce's diagrammatic logical notation of Existential Graphs makes use of iconicity and how important features of this iconicity are representable within category theory. Alain Badiou's set-theoretical model of truth procedures and his relational sheaf-based theory of phenomenology are then integrated within the Peircean logical context. Finally, the book opens the path towards a more naturalist interpretation of the abductive models developed in Peirce and Badiou through an analysis of several recent attempts to reformulate quantum mechanics with categorical methods. Overall, the book offers a comprehensive and rigorous overview of past approaches to iconic semiotics and abduction, and it encompasses new extensions of these methods towards an innovative naturalist interpretation of abductive reasoning.

This book provides comprehensive, graduate-level treatment of analog and digital signal analysis suitable for course use and self-guided learning. This expert text guides the reader from the basics of signal theory through a range of application tools for use in acoustic analysis, geophysics, and data compression. Each concept is introduced and explained step by step, and the necessary mathematical formulae are integrated in an accessible and intuitive way. The first part of the book explores how analog systems and signals form the basics of signal analysis. This section covers Fourier series and integral transforms of analog signals, Laplace and Hilbert transforms, the main analog filter classes, and signal modulations. Part II covers digital signals, demonstrating their key advantages. It presents z and Fourier transforms, digital filtering, inverse filters, deconvolution, and parametric modeling for deterministic signals. Wavelet decomposition and reconstruction of non-stationary signals are also discussed. The third part of the book is devoted to random signals, including spectral estimation, parametric modeling, and Tikhonov regularization. It covers statistics of one and two random variables and the principles and methods of spectral analysis. Estimation of signal properties is discussed in the context of ergodicity conditions and parameter estimations, including the use of Wiener and Kalman filters. Two appendices cover the basics of integration in the complex plane and linear algebra. A third appendix presents a basic Matlab toolkit for computer signal analysis. This expert text provides both a solid theoretical understanding and tools for real-world applications.

This monograph looks at causal nets from a philosophical point of view. The author shows that one can build a general philosophical theory of causation on the basis of the causal nets framework that can be fruitfully used to shed new light on philosophical issues. Coverage includes both a theoretical as well as application-oriented approach to the subject. The author first counters David Hume's challenge about whether causation is something ontologically real. The idea behind this is that good metaphysical concepts should behave analogously to good theoretical concepts in scientific theories. In the process, the author offers support for the theory of causal nets as indeed being a correct theory of causation. Next, the book offers an application-oriented approach to the subject. The author shows that causal nets can investigate philosophical issues related to causation. He does this by means of two exemplary applications. The first consists of an evaluation of Jim Woodward's interventionist theory of causation. The second offers a contribution to the new mechanist debate. Introductory chapters outline all the formal basics required. This helps make the book useful for those who are not familiar with causal nets, but interested in causation or in tools for the investigation of philosophical issues related to causation.

Different facets of interplay between harmonic analysis and approximation theory are covered in this volume. The topics included are Fourier analysis, function spaces, optimization theory, partial differential equations, and their links to modern developments in the approximation theory. The articles of this collection were originated from two events. The first event took place during the 9th ISAAC Congress in Krakow, Poland, 5th-9th August 2013, at the section "Approximation Theory and Fourier Analysis". The second event was the conference on Fourier Analysis and Approximation Theory in the Centre de Recerca Matematica (CRM), Barcelona, during 4th-8th November 2013, organized by the editors of this volume. All articles selected to be part of this collection were carefully reviewed.