In the year 2014, both Peter Koepke and Philip Welch are celebrating their 60th birthdays, and this festive occasion is celebrated with this Festschrift in their honour containing scientific contributions of their students, collaborators, colleagues and friends which cover the various different research ares of logic in which Peter and Philip are active.

This volume contains a selection of eighteen peer-reviewed articles that were presented at the 5th International Conference on Multivariate Approximation, held in Witten-Bommerholz in September 2002. The contributions cover recent developments of constructive approximation on manifolds, approximation by splines and kernels, subdivision techniques and wavelet methods.
The main topics are:
- applications of multivariate approximation in finance
- approximation and stable reconstruction of images, data reduction
- multivariate splines for Lagrange interpolation and quasi-interpolation
- radial basis functions
- spherical point sets
- refinable function vectors and non-stationary subdivision
- applications of adaptive wavelet methods
- blending functions and cubature formulae
- singularities of harmonic functions
The book provides an overview of state-of-the-art developments in a highly relevant field of applied mathematics, with many links to computer science and geophysics.

Our knowledge of mathematics has structured much of what we think we know about ourselves as individuals and communities, shaping our psychologies, sociologies, and economies. In pursuit of a more predictable and more controllable cosmos, we have extended mathematical insights and methods to more and more aspects of the world. Today those powers are greater than ever, as computation is applied to virtually every aspect of human activity. Yet, in the process, are we losing sight of the human? When we apply mathematics so broadly, what do we gain and what do we lose, and at what risk to humanity? These are the questions that David and Ricardo L. Nirenberg ask in Uncountable, a provocative account of how numerical relations became the cornerstone of human claims to knowledge, truth, and certainty. There is a limit to these number-based claims, they argue, which they set out to explore. The Nirenbergs, father and son, bring together their backgrounds in math, history, literature, religion, and philosophy, interweaving scientific experiments with readings of poems, setting crises in mathematics alongside world wars, and putting medieval Muslim and Buddhist philosophers in conversation with Einstein, Schroedinger, and other giants of modern physics. The result is a powerful lesson in what counts as knowledge and its deepest implications for how we live our lives.

This monograph examines and develops the Global Smoothness Preservation Property (GSPP) and the Shape Preservation Property (SPP) in the field of interpolation of functions. The study is developed for the univariate and bivariate cases using well-known classical interpolation operators of Lagrange, GrA1/4nwald, Hermite-FejA(c)r and Shepard type. One of the first books on the subject, it presents interesting new results alongwith an excellent survey of past research.

Key features include:

- potential applications to data fitting, fluid dynamics, curves and surfaces, engineering, and computer-aided geometric design

- presents recent work featuring many new interesting results as well as an excellent survey of past research

- many interesting open problems for future research presented throughout the text

- includes 20 very suggestive figures of nine types of Shepard surfaces concerning their shape preservation property

- generic techniques of the proofs allow for easy application to obtaining similar results for other interpolation operators

This unique, well-written text is best suited to graduate students and researchers in mathematical analysis, interpolation of functions, pure and applied mathematicians in numerical analysis, approximation theory, data fitting, computer-aided geometric design, fluid mechanics, and engineering researchers.

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 eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.

Customarily, much of traditional mathematics curricula was predicated on 'by hand' calculation. However, ubiquitous computing requires us to refresh what we teach and how it is taught. This is especially true in the rapidly broadening fields of Data Mining and Artificial Intelligence, and also in fields such as Bioinformatics, which all require the use of Singular Value Decomposition (SVD). Indeed, SVD is sometimes called the jewel in the crown of linear algebra. Linear Algebra for 21st Century Applications adapts linear algebra to best suit modern teaching and application, and it places the SVD as central to the text early on to empower science and engineering students to learn and use potent practical and theoretical techniques. No rigour is lost in this new route as the text demonstrates that most theory is better proved with an SVD. In addition to this, there is earlier introduction, development, and emphasis on orthogonality that is vital in so many applied disciplines throughout science, engineering, computing and increasingly within the social sciences. To assimilate the so-called third arm of science, namely computing, Matlab/Octave computation is explicitly integrated into developing the mathematical concepts and applications. A strong graphical emphasis takes advantage of the power of visualisation in the human brain and examples are included to exhibit modern applications of linear algebra, such as GPS, text mining, and image processing. Active learning is encouraged with exercises throughout that are aimed to enhance ectures, quizzes, or 'flipped' teaching.

This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability, theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.

This book provides an introduction to some key subjects in algebra and topology. It consists of comprehensive texts of some hours courses on the preliminaries for several advanced theories in (categorical) algebra and topology. Often, this kind of presentations is not so easy to find in the literature, where one begins articles by assuming a lot of knowledge in the field. This volume can both help young researchers to quickly get into the subject by offering a kind of " roadmap " and also help master students to be aware of the basics of other research directions in these fields before deciding to specialize in one of them. Furthermore, it can be used by established researchers who need a particular result for their own research and do not want to go through several research papers in order to understand a single proof. Although the chapters can be read as " self-contained " chapters, the authors have tried to coordinate the texts in order to make them complementary. The seven chapters of this volume correspond to the seven courses taught in two Summer Schools that took place in Louvain-la-Neuve in the frame of the project Fonds d'Appui a l'Internationalisation of the Universite catholique de Louvain to strengthen the collaborations with the universities of Coimbra, Padova and Poitiers, within the Coimbra Group.

This book casts new light on mathematics through its consideration of metaphysical materialism. The author identifies natural, real and imaginary numbers and sets with specified physical properties and relations.

Set theory tempts us into misunderstanding the nature of mathematics; Bigelow challenges the myth that mathematical objects can be defined into existence. By reconstruing numbers as real, non-linguistic, physical properties or relations, mathematics can be drawn back from its sterile, abstract exile into the midst of the physical world to which we belong.

In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are characterised by ever increasing complexity, which results when large num bers of concurrently active components interact. This has been recognised and addressed within the computing science community. In particular, sev eral form al models of concurrent systems have been proposed, studied, and applied in practice. This book brings together two of the most widely used formalisms for de scribing and analysing concurrent systems: Petri nets and process algebras. On the one hand , process algebras allow one to specify and reason about the design of complex concurrent computing systems by means of algebraic operators corresponding to common programming constructs. Petri nets, on the other hand, provide a graphical representation of such systems and an additional means of verifying their correctness efficiently, as well as a way of expressing properties related to causality and concurrency in system be haviour.

Convexity of sets in linear spaces, and concavity and convexity of functions, lie at the root of beautiful theoretical results that are at the same time extremely useful in the analysis and solution of optimization problems, including problems of either single objective or multiple objectives. Not all of these results rely necessarily on convexity and concavity; some of the results can guarantee that each local optimum is also a global optimum, giving these methods broader application to a wider class of problems. Hence, the focus of the first part of the book is concerned with several types of generalized convex sets and generalized concave functions. In addition to their applicability to nonconvex optimization, these convex sets and generalized concave functions are used in the book's second part, where decision-making and optimization problems under uncertainty are investigated. Uncertainty in the problem data often cannot be avoided when dealing with practical problems. Errors occur in real-world data for a host of reasons. However, over the last thirty years, the fuzzy set approach has proved to be useful in these situations. It is this approach to optimization under uncertainty that is extensively used and studied in the second part of this book. Typically, the membership functions of fuzzy sets involved in such problems are neither concave nor convex. They are, however, often quasiconcave or concave in some generalized sense. This opens possibilities for application of results on generalized concavity to fuzzy optimization. Despite this obvious relation, applying the interface of these two areas has been limited to date. It is hoped that the combination of ideas and results from the field of generalized concavity on the one hand and fuzzy optimization on the other hand outlined and discussed in Generalized Concavity in Fuzzy Optimization and Decision Analysis will be of interest to both communities. Our aim is to broaden the classes of problems that the combination of these two areas can satisfactorily address and solve.

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection - prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) - show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics - FilMat

This volume is a tribute to Maxim Kontsevich, one of the most original and influential mathematicians of our time. Maxim's vision has inspired major developments in many areas of mathematics, ranging all the way from probability theory to motives over finite fields, and has brought forth a paradigm shift at the interface of modern geometry and mathematical physics. Many of his papers have opened completely new directions of research and led to the solutions of many classical problems. This book collects papers by leading experts currently engaged in research on topics close to Maxim's heart. Contributors: S. Donaldson A. Goncharov D. Kaledin M. Kapranov A. Kapustin L. Katzarkov A. Noll P. Pandit S. Pimenov J. Ren P. Seidel C. Simpson Y. Soibelman R. Thorngren

This book is of interest to mathematicians, geologists, engineers and, in general, researchers and post graduate students involved in spline function theory, surface fitting problems or variational methods. From reviews: The book is well organized, and the English is very good. I recommend the book to researchers in approximation theory, and to anyone interested in bivariate data fitting." (L.L. Schumaker, Mathematical Reviews, 2005).

These proceedings comprise two workshops celebrating the accomplishments of David J. Benson on the occasion of his sixtieth birthday. The papers presented at the meetings were representative of the many mathematical subjects he has worked on, with an emphasis on group prepresentations and cohomology. The first workshop was titled "Groups, Representations, and Cohomology" and held from June 22 to June 27, 2015 at Sabhal Mor Ostaig on the Isle of Skye, Scotland. The second was a combination of a summer school and workshop on the subject of "Geometric Methods in the Representation Theory of Finite Groups" and took place at the Pacific Institute for the Mathematical Sciences at the University of British Columbia in Vancouver from July 27 to August 5, 2016. The contents of the volume include a composite of both summer school material and workshop-derived survey articles on geometric and topological aspects of the representation theory of finite groups. The mission of the annually sponsored Summer Schools is to train and draw new students, and help Ph.D students transition to independent research.

Fuzzy sets were first proposed by Lotfi Zadeh in his seminal paper [366] in 1965, and ever since have been a center of many discussions, fervently admired and condemned. Both proponents and opponents consider the argu ments pointless because none of them would step back from their territory. And stiH, discussions burst out from a single sparkle like a conference pa per or a message on some fuzzy-mail newsgroup. Here is an excerpt from an e-mail messagepostedin1993tofuzzy-mail@vexpert. dbai. twvien. ac. at. by somebody who signed "Dave". , . . . Why then the "logic" in "fuzzy logic"? I don't think anyone has successfully used fuzzy sets for logical inference, nor do I think anyone wiH. In my admittedly neophyte opinion, "fuzzy logic" is a misnomer, an oxymoron. (1 would be delighted to be proven wrong on that. ) . . . I carne to the fuzzy literature with an open mind (and open wal let), high hopes and keen interest. I am very much disiHusioned with "fuzzy" per se, but I did happen across some extremely interesting things along the way. " Dave, thanks for the nice quote! Enthusiastic on the surface, are not many of us suspicious deep down? In some books and journals the word fuzzy is religiously avoided: fuzzy set theory is viewed as a second-hand cheap trick whose aim is nothing else but to devalue good classical theories and open up the way to lazy ignorants and newcomers.

Created to teach students many of the most important techniques used for constructing combinatorial designs, this is an ideal textbook for advanced undergraduate and graduate courses in combinatiorial design theory. The text features clear explanations of basic designs, such as Steiner and Kirkman triple systems, mutual orthogonal Latin squares, finite projective and affine planes, and Steiner quadruple systems. In these settings, the student will master various construction techniques, both classic and modern, and will be well-prepared to construct a vast array of combinatorial designs. Design theory offers a progressive approach to the subject, with carefully ordered results. It begins with simple constructions that gradually increase in complexity. Each design has a construction that contains new ideas or that reinforces and builds upon similar ideas previously introduced. A new text/reference covering all apsects of modern combinatorial design theory. Graduates and professionals in computer science, applied math, combinatorics, and applied statistics will find the book an essential resource.

This volume, the 6th volume in the DRUMS Handbook series, is part of the after math of the successful ESPRIT project DRUMS (Defeasible Reasoning and Un certainty Management Systems) which took place in two stages from 1989-1996. In the second stage (1993-1996) a work package was introduced devoted to the topics Reasoning and Dynamics, covering both the topics of 'Dynamics of Rea soning', where reasoning is viewed as a process, and 'Reasoning about Dynamics', which must be understood as pertaining to how both designers of and agents within dynamic systems may reason about these systems. The present volume presents work done in this context. This work has an emphasis on modelling and formal techniques in the investigation of the topic "Reasoning and Dynamics," but it is not mere theory that occupied us. Rather research was aimed at bridging the gap between theory and practice. Therefore also real-life applications of the modelling techniques were considered, and we hope this also shows in this volume, which is focused on the dynamics of reasoning processes. In order to give the book a broader perspective, we have invited a number of well-known researchers outside the project but working on similar topics to contribute as well. We have very pleasant recollections of the project, with its lively workshops and other meetings, with the many sites and researchers involved, both within and outside our own work package."

This book on proof theory centers around the legacy of Kurt Schutte and its current impact on the subject. Schutte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to investigation by mathematical methods (metamathematics). Schutte inaugurated the important paradigm shift from finite proofs to infinite proofs and developed the mathematical tools for their analysis. Infinitary proof theory flourished in his hands in the 1960s, culminating in the famous bound 0 for the limit of predicative mathematics (a fame shared with Feferman). Later his interests shifted to developing infinite proof calculi for impredicative theories. Schutte had a keen interest in advancing ordinal analysis to ever stronger theories and was still working on some of the strongest systems in his eighties. The articles in this volume from leading experts close to his research, show the enduring influence of his work in modern proof theory. They range from eye witness accounts of his scientific life to developments at the current research frontier, including papers by Schutte himself that have never been published before.

This volume is a compilation of the best papers presented at the First International Symposium on Fuzzy and Rough Sets (ISFUROS 2006) held in Santa Clara, Cuba. They contain valuable contributions both in the theoretical field and in several application domains such as intelligent control, data analysis, decision making and machine learning, just to name a few. Together, they capture the huge potential of the aforementioned methodologies.

Shape theory is an extension of homotopy theory from the realm of CW-complexes to arbitrary spaces. Besides applications in topology, it has interesting applications in various other areas of mathematics, especially in dynamical systems and C*-algebras. Strong shape is a refinement of ordinary shape with distinct advantages over the latter. Strong homology generalizes Steenrod homology and is an invariant of strong shape. The book gives a detailed account based on approximation of spaces by polyhedra (ANR's) using the technique of inverse systems. It is intended for researchers and graduate students. Special care is devoted to motivation and bibliographic notes.

This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC. The contributions give an overview of the program, illustrate its mathematical content and implications, and also discuss its philosophical assumptions. It will thus be of wide appeal among mathematicians and philosophers with an interest in the foundations of set theory. The Hyperuniverse Project was supported by the John Templeton Foundation from January 2013 until September 2015

Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, Dedekind, Husserl and Brouwer.

The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.

In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineering tools. Along the same lines, a parallel interest is growing regarding the process of evolution of living organisms. Much of the current data for genomes are expressed in the form of maps which are now becoming available and permit the study of the evolution of organisms at the scale of genome for the first time. On the other hand, there is an active trend nowadays throughout the field of computational biology toward abstracted, hierarchical views of biological sequences, which is very much in the spirit of computational linguistics. In the last decades, results and methods in the field of formal language theory that might be applied to the description of biological sequences were pointed out.