Classical Recursion Theory

Fundamentals of Error Correcting Codes is an in-depth introduction to coding theory from both an engineering and mathematical viewpoint. As well as covering classical topics, there is much coverage of techniques which could only be found in specialist journals and book publications. Numerous exercises and examples and an accessible writing style make this a lucid and effective introduction to coding theory for advanced undergraduate and graduate students, researchers and engineers, whether approaching the subject from a mathematical, engineering or computer science background.

Although now replaced by more modern theories, classical mechanics remains a core foundational element of physical theory. From its inception, the theory of dynamics has been riddled with conceptual issues and differing philosophical interpretations and throughout its long historical development, it has shown subtle conceptual refinement. The interpretive program for the theory has also shown deep evolutionary change over time. Lawrence Sklar discusses crucial issues in the central theory from which contemporary foundational theories are derived and shows how some core issues (the nature of force, the place of absolute reference frames) have nevertheless remained deep puzzles despite the increasingly sophisticated understanding of the theory which has been acquired over time. His book will be of great interest to philosophers of science, philosophers in general and physicists concerned with foundational interpretive issues in their field.

When considering a mathematical theorem one ought not only to know how to prove it but also why and whether any given conditions are necessary. All too often little attention is paid to to this side of the theory and in writing this account of the theory of real functions the authors hope to rectify matters. They have put the classical theory of real functions in a modern setting and in so doing have made the mathematical reasoning rigorous and explored the theory in much greater depth than is customary. The subject matter is essentially the same as that of ordinary calculus course and the techniques used are elementary (no topology, measure theory or functional analysis). Thus anyone who is acquainted with elementary calculus and wishes to deepen their knowledge should read this.

For advanced students of network data science, this compact account covers both well-established methodology and the theory of models recently introduced in the graphical model literature. It focuses on the discrete case where all variables involved are categorical and, in this context, it achieves a unified presentation of classical and recent results.

This rigorous and advanced mathematical explanation of classic tensor analysis was written by one of the founders of tensor calculus. Its concise exposition of the mathematical basis of the discipline is integrated with well-chosen physical examples of the theory, including those involving elasticity, classical dynamics, relativity, and Dirac's matrix calculus. 1954 edition.

Providing a succinct yet comprehensive treatment of the essentials of modern differential geometry and topology, this book's clear prose and informal style make it accessible to advanced undergraduate and graduate students in mathematics and the physical sciences. The text covers the basics of multilinear algebra, differentiation and integration on manifolds, Lie groups and Lie algebras, homotopy and de Rham cohomology, homology, vector bundles, Riemannian and pseudo-Riemannian geometry, and degree theory. It also features over 250 detailed exercises, and a variety of applications revealing fundamental connections to classical mechanics, electromagnetism (including circuit theory), general relativity and gauge theory. Solutions to the problems are available for instructors at www.cambridge.org/9781107042193.

Is it possible to measure psychological attributes like intelligence, personality and attitudes and if so, how does that work? What does the term 'measurement' mean in a psychological context? This fascinating and timely book discusses these questions and investigates the possible answers that can be given response. Denny Borsboom provides an in-depth treatment of the philosophical foundations of widely used measurement models in psychology. The theoretical status of classical test theory, latent variable theory and positioned in terms of the underlying philosophy of science. Special attention is devoted to the central concept of test validity and future directions to improve the theory and practice of psychological measurement are outlined.

Is it possible to measure psychological attributes like intelligence, personality and attitudes and if so, how does that work? What does the term 'measurement' mean in a psychological context? This fascinating and timely book discusses these questions and investigates the possible answers that can be given response. Denny Borsboom provides an in-depth treatment of the philosophical foundations of widely used measurement models in psychology. The theoretical status of classical test theory, latent variable theory and positioned in terms of the underlying philosophy of science. Special attention is devoted to the central concept of test validity and future directions to improve the theory and practice of psychological measurement are outlined.

These notes are based on a series of lectures given at the Advanced Research Institute of Discrete Applied Mathematics held at Rutgers University. Their aim is to link together algorithmic problems arising in knot theory, statistical physics and classical combinatorics. Apart from the theory of computational complexity concerned with enumeration problems, introductions are given to several of the topics treated, such as combinatorial knot theory, randomised approximation algorithms, percolation and random cluster models. To researchers in discrete mathematics, computer science and statistical physics, this book will be of great interest, but any non-expert should find it an appealing guide to a very active area of research.

Incorporated in this 2003 volume are the first two books in Mukai's series on moduli theory. The notion of a moduli space is central to geometry. However, its influence is not confined there; for example, the theory of moduli spaces is a crucial ingredient in the proof of Fermat's last theorem. Researchers and graduate students working in areas ranging from Donaldson or Seiberg-Witten invariants to more concrete problems such as vector bundles on curves will find this to be a valuable resource. Amongst other things this volume includes an improved presentation of the classical foundations of invarant theory that, in addition to geometers, would be useful to those studying representation theory. This translation gives an accurate account of Mukai's influential Japanese texts.

This book is a self-contained account of knowledge of the theory of nonlinear superposition operators: a generalization of the notion of functions. The theory developed here is applicable to operators in a wide variety of function spaces, and it is here that the modern theory diverges from classical nonlinear analysis. The purpose of this book is to collect the basic facts about the superposition operator, to present the main ideas which are useful in studying its properties and to provide a comparison of its behaviour in different function spaces. Some applications are also considered, for example to control theory and optimization. Much of the work here has only appeared before in research literature, which itself is catalogued in detail here.

Incorporated in this 2003 volume are the first two books in Mukai's series on moduli theory. The notion of a moduli space is central to geometry. However, its influence is not confined there; for example, the theory of moduli spaces is a crucial ingredient in the proof of Fermat's last theorem. Researchers and graduate students working in areas ranging from Donaldson or Seiberg-Witten invariants to more concrete problems such as vector bundles on curves will find this to be a valuable resource. Amongst other things this volume includes an improved presentation of the classical foundations of invarant theory that, in addition to geometers, would be useful to those studying representation theory. This translation gives an accurate account of Mukai's influential Japanese texts.

The aim of this book is to present a modern treatment of the theory of theta functions in the context of algebraic geometry. The novelty of its approach lies in the systematic use of the Fourier-Mukai transform. The author starts by discussing the classical theory of theta functions from the point of view of the representation theory of the Heisenberg group (in which the usual Fourier transform plays the prominent role). He then shows that in the algebraic approach to this theory, the Fourier–Mukai transform can often be used to simplify the existing proofs or to provide completely new proofs of many important theorems. Graduate students and researchers with strong interest in algebraic geometry will find much of interest in this volume.

This book is concerned with the modern theory of Fourier series. Treating developments since Zygmund's classic study, the authors begin with a thorough discussion of the classical one-dimensional theory from a modern perspective. The text then takes up the developments of the 1970s, beginning with Fefferman's famous disc counterexample. The culminating chapter presents Cordoba's geometric theory of Kayeka maximal functions and multipliers. Research workers in the fields of Fourier analysis and harmonic analysis will find this a valuable account of these developments. Second year graduate students, who are familiar with Lebesgue theory and are acquainted with distributions, will be able to use this as a textbook which will bring them up to the exciting open questions in the field.

The real world is perceived and broken down as data, models and algorithms in the eyes of physicists and engineers. Data is noisy by nature and classical statistical tools have so far been successful in dealing with relatively smaller levels of randomness. The recent emergence of Big Data and the required computing power to analyse them have rendered classical tools outdated and insufficient. Tools such as random matrix theory and the study of large sample covariance matrices can efficiently process these big data sets and help make sense of modern, deep learning algorithms. Presenting an introductory calculus course for random matrices, the book focusses on modern concepts in matrix theory, generalising the standard concept of probabilistic independence to non-commuting random variables. Concretely worked out examples and applications to financial engineering and portfolio construction make this unique book an essential tool for physicists, engineers, data analysts, and economists.

Serving both as an introduction to the subject and as a reference, this book presents the theory in elegant form and with modern concepts and notation. It covers the general theory and emphasizes the classical types of orthogonal polynomials whose weight functions are supported on standard domains. The approach is a blend of classical analysis and symmetry group theoretic methods. Finite reflection groups are used to motivate and classify symmetries of weight functions and the associated polynomials. This revised edition has been updated throughout to reflect recent developments in the field. It contains 25% new material, including two brand new chapters on orthogonal polynomials in two variables, which will be especially useful for applications, and orthogonal polynomials on the unit sphere. The most modern and complete treatment of the subject available, it will be useful to a wide audience of mathematicians and applied scientists, including physicists, chemists and engineers.

In this groundbreaking book, Steven Forde argues that John Locke's devotion to modern science deeply shaped his moral and political philosophy. Beginning with an account of the classical approach to natural and moral philosophy, and of the medieval scholasticism that took these forward into early modernity, Forde explores why the modern scientific project of Francis Bacon, Pierre Gassendi, Robert Boyle and others required the rejection of the classical approach. Locke fully subscribed to this rejection, and took it upon himself to provide a foundation for a compatible morality and politics. Forde shows that Locke's theory of moral 'mixed modes' owes much to Pufendorf, and is tailored to accommodate science. The theory requires a divine legislator, which in turn makes natural law the foundation of morality, rather than individual natural right. Forde shows the ways that Locke's approach modified his individualism, and colored his philosophy of property, politics and education.

Using the neo-classical theory of production economics as the analytical framework, this book, first published in 2004, provides a unified and easily comprehensible, yet fairly rigorous, exposition of the core literature on data envelopment analysis (DEA) for readers based in different disciplines. The various DEA models are developed as nonparametric alternatives to the econometric models. Apart from the standard fare consisting of the basic input- and output-oriented DEA models formulated by Charnes, Cooper, and Rhodes, and Banker, Charnes, and Cooper, the book covers developments such as the directional distance function, free disposal hull (FDH) analysis, non-radial measures of efficiency, multiplier bounds, mergers and break-up of firms, and measurement of productivity change through the Malmquist total factor productivity index. The chapter on efficiency measurement using market prices provides the critical link between DEA and the neo-classical theory of a competitive firm. The

Through his reading of primary and secondary classical sources, as well as his theoretical writings, Richard Wagner developed a Hegelian-inspired theory linking the evolution of classical Greek politics and poetry. This book demonstrates how, by turning theory into practice, Wagner used this evolutionary paradigm to shape the music and the libretto of the Ring cycle. Foster describes how each of the Ring's operas represents a particular phase of Greek poetic and political development: Das Rheingold and Die Walküre create epic national identity in its earlier and later stages respectively; Siegfried expresses lyric personal identity; and Götterdämmerung destructively culminates with a tragi-comedy about civic identity. This study sees the Greeks through the lens of those scholars whose work influenced Wagner most, focusing on epic, lyric, and comedy, as well as Greek tragedy. Most significantly, the book interrogates the ways in which Wagner uses Greek aesthetics to further his own ideo

This is the first authored book to be dedicated to the new field of directed algebraic topology that arose in the 1990s, in homotopy theory and in the theory of concurrent processes. Its general aim can be stated as 'modelling non-reversible phenomena' and its domain should be distinguished from that of classical algebraic topology by the principle that directed spaces have privileged directions and directed paths therein need not be reversible. Its homotopical tools (corresponding in the classical case to ordinary homotopies, fundamental group and fundamental groupoid) should be similarly 'non-reversible': directed homotopies, fundamental monoid and fundamental category. Homotopy constructions occur here in a directed version, which gives rise to new 'shapes', like directed cones and directed spheres. Applications will deal with domains where privileged directions appear, including rewrite systems, traffic networks and biological systems. The most developed examples can be found in th

Numerical Solution of Hyperbolic Partial Differential Equations is a new type of graduate textbook, with both print and interactive electronic components (on CD). It is a comprehensive presentation of modern shock-capturing methods, including both finite volume and finite element methods, covering the theory of hyperbolic conservation laws and the theory of the numerical methods. The range of applications is broad enough to engage most engineering disciplines and many areas of applied mathematics. Classical techniques for judging the qualitative performance of the schemes are used to motivate the development of classical higher-order methods. The interactive CD gives access to the computer code used to create all of the text's figures, and lets readers run simulations, choosing their own input parameters; the CD displays the results of the experiments as movies. Consequently, students can gain an appreciation for both the dynamics of the problem application, and the growth of numerical

Using the neo-classical theory of production economics as the analytical framework, this book, first published in 2004, provides a unified and easily comprehensible, yet fairly rigorous, exposition of the core literature on data envelopment analysis (DEA) for readers based in different disciplines. The various DEA models are developed as nonparametric alternatives to the econometric models. Apart from the standard fare consisting of the basic input- and output-oriented DEA models formulated by Charnes, Cooper, and Rhodes, and Banker, Charnes, and Cooper, the book covers developments such as the directional distance function, free disposal hull (FDH) analysis, non-radial measures of efficiency, multiplier bounds, mergers and break-up of firms, and measurement of productivity change through the Malmquist total factor productivity index. The chapter on efficiency measurement using market prices provides the critical link between DEA and the neo-classical theory of a competitive firm. The

Polynomial equations have been long studied, both theoretically and with a view to solving them. Until recently, manual computation was the only solution method and the theory was developed to accommodate it. With the advent of computers, the situation changed dramatically. Many classical results can be more usefully recast within a different framework which in turn lends itself to further theoretical development tuned to computation. This first book in a trilogy is devoted to the new approach. It is a handbook covering the classical theory of finding roots of a univariate polynomial, emphasising computational aspects, especially the representation and manipulation of algebraic numbers, enlarged by more recent representations like the Duval Model and the Thom Codification. Mora aims to show that solving a polynomial equation really means finding algorithms that help one manipulate roots rather than simply computing them; to that end he also surveys algorithms for factorizing univariate

This innovative and modular textbook combines classical topics in thermodynamics, statistical mechanics and many-body theory with the latest developments in condensed matter physics research. Written by internationally renowned experts and logically structured to cater for undergraduate and postgraduate students and researchers, it covers the underlying theoretical principles and includes numerous problems and worked examples to put this knowledge into practice. Three main streams provide a framework for the book; beginning with thermodynamics and classical statistical mechanics, including mean field approximation, fluctuations and the renormalization group approach to critical phenomena. The authors then examine quantum statistical mechanics, covering key topics such as normal Fermi and Luttinger liquids, superfluidity and superconductivity. Finally, they explore classical and quantum kinetics, Anderson localization and quantum interference, and disordered Fermi liquids. Unique in pro

Many classical and modern results and quadratic forms are brought together in this book. The treatment is self-contained and of a totally elementary nature requiring only a basic knowledge of rings, fields, polynomials, and matrices, such that the works of Pfister, Hilbert, Hurwitz and others are easily accessible to non-experts and undergraduates alike. The author deals with many different approaches to the study of squares; from the classical works of the late 19th century, to areas of current research. Anyone with an interest in algebra or number theory will find this a most fascinating volume.

This book presents methods and results from the theory of Zariski structures and discusses their applications in geometry as well as various other mathematical fields. Its logical approach helps us understand why algebraic geometry is so fundamental throughout mathematics and why the extension to noncommutative geometry, which has been forced by recent developments in quantum physics, is both natural and necessary. Beginning with a crash course in model theory, this book will suit not only model theorists but also readers with a more classical geometric background.

This book studies the geometric theory of polynomials and rational functions in the plane. Any theory in the plane should make full use of the complex numbers and thus the early chapters build the foundations of complex variable theory, melding together ideas from algebra, topology and analysis. In fact, throughout the book, the author introduces a variety of ideas and constructs theories around them, incorporating much of the classical theory of polynomials as he proceeds. These ideas are used to study a number of unsolved problems, bearing in mind that such problems indicate the current limitations of our knowledge and present challenges for the future. However, theories also lead to solutions of some problems and several such solutions are given including a comprehensive account of the geometric convolution theory. This is an ideal reference for graduate students and researchers working in this area.

This book describes various approaches to the Inverse Galois Problem, a classical unsolved problem of mathematics posed by Hilbert at the beginning of the century. It brings together ideas from group theory, algebraic geometry and number theory, topology, and analysis. Assuming only elementary algebra and complex analysis, the author develops the necessary background from topology, Riemann surface theory and number theory. The first part of the book is quite elementary, and leads up to the basic rigidity criteria for the realisation of groups as Galois groups. The second part presents more advanced topics, such as braid group action and moduli spaces for covers of the Riemann sphere, GAR- and GAL- realizations, and patching over complete valued fields. Graduate students and mathematicians from other areas (especially group theory) will find this an excellent introduction to a fascinating field.

This book studies the geometric theory of polynomials and rational functions in the plane. Any theory in the plane should make full use of the complex numbers and thus the early chapters build the foundations of complex variable theory, melding together ideas from algebra, topology and analysis. In fact, throughout the book, the author introduces a variety of ideas and constructs theories around them, incorporating much of the classical theory of polynomials as he proceeds. These ideas are used to study a number of unsolved problems, bearing in mind that such problems indicate the current limitations of our knowledge and present challenges for the future. However, theories also lead to solutions of some problems and several such solutions are given including a comprehensive account of the geometric convolution theory. This is an ideal reference for graduate students and researchers working in this area.

This book describes various approaches to the Inverse Galois Problem, a classical unsolved problem of mathematics posed by Hilbert at the beginning of the century. It brings together ideas from group theory, algebraic geometry and number theory, topology, and analysis. Assuming only elementary algebra and complex analysis, the author develops the necessary background from topology, Riemann surface theory and number theory. The first part of the book is quite elementary, and leads up to the basic rigidity criteria for the realisation of groups as Galois groups. The second part presents more advanced topics, such as braid group action and moduli spaces for covers of the Riemann sphere, GAR- and GAL- realizations, and patching over complete valued fields. Graduate students and mathematicians from other areas (especially group theory) will find this an excellent introduction to a fascinating field.

Part I of this classic work offers a rigorous presentation of tensor calculus as a development of vector analysis. Part II discusses the most important applications of tensor calculus, including the use of tensors in classical analytical dynamics and the role of tensors in special relativity. A concluding section examines field equations of general relativity theory.

This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic. Useful appendices provide a topical bibliography and review of basic set theory.

This exploration of the relation between periods and transcendental numbers brings Baker's theory of linear forms in logarithms into its most general framework, the theory of 1-motives. Written by leading experts in the field, it contains original results and finalises the theory of linear relations of 1-periods, answering long-standing questions in transcendence theory. It provides a complete exposition of the new theory for researchers, but also serves as an introduction to transcendence for graduate students and newcomers. It begins with foundational material, including a review of the theory of commutative algebraic groups and the analytic subgroup theorem as well as the basics of singular homology and de Rham cohomology. Part II addresses periods of 1-motives, linking back to classical examples like the transcendence of π, before the authors turn to periods of algebraic varieties in Part III. Finally, Part IV aims at a dimension formula for the space of periods of a 1-motive in te

Analytical mechanics is the foundation of many areas of theoretical physics including quantum theory and statistical mechanics, and has wide-ranging applications in engineering and celestial mechanics. This introduction to the basic principles and methods of analytical mechanics covers Lagrangian and Hamiltonian dynamics, rigid bodies, small oscillations, canonical transformations and Hamilton–Jacobi theory. This fully up-to-date textbook includes detailed mathematical appendices and addresses a number of advanced topics, some of them of a geometric or topological character. These include Bertrand's theorem, proof that action is least, spontaneous symmetry breakdown, constrained Hamiltonian systems, non-integrability criteria, KAM theory, classical field theory, Lyapunov functions, geometric phases and Poisson manifolds. Providing worked examples, end-of-chapter problems, and discussion of ongoing research in the field, it is suitable for advanced undergraduate students and graduate st

This book brings together the essential ideas and methods behind applications of variational theory in theoretical physics and chemistry. The emphasis is on understanding physical and computational applications of variational methodology rather than on rigorous mathematical formalism. The text begins with an historical survey of familiar variational principles in classical mechanics and optimization theory, then proceeds to develop the variational principles and formalism behind current computational methodology for bound and continuum quantum states of interacting electrons in atoms, molecules, and condensed matter. It covers multiple-scattering theory, including a detailed presentation of contemporary methodology for electron-impact rotational and vibrational excitation of molecules. The book ends with an introduction to the variational theory of relativistic fields. Ideal for graduate students and researchers in any field that uses variational methodology, this book is particularly

This book brings together the essential ideas and methods behind applications of variational theory in theoretical physics and chemistry. The emphasis is on understanding physical and computational applications of variational methodology rather than on rigorous mathematical formalism. The text begins with an historical survey of familiar variational principles in classical mechanics and optimization theory, then proceeds to develop the variational principles and formalism behind current computational methodology for bound and continuum quantum states of interacting electrons in atoms, molecules, and condensed matter. It covers multiple-scattering theory, including a detailed presentation of contemporary methodology for electron-impact rotational and vibrational excitation of molecules. The book ends with an introduction to the variational theory of relativistic fields. Ideal for graduate students and researchers in any field that uses variational methodology, this book is particularly

This book aims to give a self-contained presentation of a number of results, which relate the volume of convex bodies in n-dimensional Euclidean space and the geometry of the corresponding finite-dimensional normed spaces. The methods employ classical ideas from the theory of convex sets, probability theory, approximation theory and the local theory of Banach spaces. The book is in two parts. The first presents self-contained proofs of the quotient of the subspace theorem, the inverse Santalo inequality and the inverse Brunn-Minkowski inequality. The second part gives a detailed exposition of the recently introduced classes of Banach spaces of weak cotype 2 or weak type 2, and the intersection of the classes (weak Hilbert space). The book is based on courses given in Paris and in Texas.

Beginning with a sustained analysis of Seneca's theory of monarchy in the treatise De clementia, in this text Peter Stacey traces the formative impact of ancient Roman political philosophy upon medieval and Renaissance thinking about princely government on the Italian peninsula from the time of Frederick II to the early modern period. Roman Monarchy and the Renaissance Prince offers a systematic reconstruction of the pre-humanist and humanist history of the genre of political reflection known as the mirror-for-princes tradition - a tradition which, as Stacey shows, is indebted to Seneca's speculum above all other classical accounts of the virtuous prince - and culminates with a comprehensive and controversial reading of the greatest work of renaissance political theory, Machiavelli's The Prince. Peter Stacey brings to light a story which has been lost from view in recent accounts of the Renaissance debt to classical antiquity, providing a radically revisionist account of the history of

Beginning with a sustained analysis of Seneca's theory of monarchy in the treatise De clementia, in this text Peter Stacey traces the formative impact of ancient Roman political philosophy upon medieval and Renaissance thinking about princely government on the Italian peninsula from the time of Frederick II to the early modern period. Roman Monarchy and the Renaissance Prince offers a systematic reconstruction of the pre-humanist and humanist history of the genre of political reflection known as the mirror-for-princes tradition - a tradition which, as Stacey shows, is indebted to Seneca's speculum above all other classical accounts of the virtuous prince - and culminates with a comprehensive and controversial reading of the greatest work of renaissance political theory, Machiavelli's The Prince. Peter Stacey brings to light a story which has been lost from view in recent accounts of the Renaissance debt to classical antiquity, providing a radically revisionist account of the history of

Based on a reading of classical Islamic literature, the writings of modem Muslims and on extensive travel and interviews, this book discusses ways in which Muslim peoples adapt themselves to a world composed of sovereign nation-states, having peaceful and equal relations with both non-Muslim states and collectivities of other Muslims. The classical and medieval legal theory of Islam appears to place two obstacles in the way of such adaptations; it divides the world into two areas, Muslim and non-Muslim, between which relations can at best be those of truce; and it demands that the life of societies should be regulated by the will of God as revealed in the Qu'ran, not by the will of rulers or of the people. Dr Piscatori shows that the traditional theory provides for some degree of territorial pluralism, which has been clearly reflected in the historical experience whereby stable nation-states have emerged and become part of the international order.