Classical Recursion Theory

This book gives a detailed study of the development and the interpretation given to Niels Bohr's Principle of Correspondence. It also describes the role that this principle played in guiding Bohr's research over the critical period from 1920 to 1927. Quantum mechanics, developed in the 1920s and 1930s by Bohr, Heisenberg, Born, Schrödinger and Dirac, represents one of the most profound turning points in science. This theory required a wholly new kind of physics in which many of the principles, concepts and models representing reality, that had formed the basis of classical physics since Galileo and Newton, had to be abandoned. This book re-examines the birth of quantum mechanics, in particular examining the development of crucial and original insights of Niels Bohr.

Why do singers sing in the way they do? Why, for example, is western classical singing so different from pop singing? How is it that Freddie Mercury and Montserrat Caballé could sing together? These are the kinds of questions which John Potter, a singer with the Hilliard Ensemble and Red Byrd, and himself the master of many styles, poses in this fascinating book, which is effectively a history of singing style. He finds the reasons to be primarily ideological rather than specifically musical. His book identifies particular historical 'moments of change' in singing technique and style, and relates these to a three-stage theory of style based on the relationship of singing to text. There is a substantial section on meaning in singing, and a discussion of how the transmission of meaning is enabled or inhibited by different varieties of style or technique.

The Challenge of Human Rights traces the history of human rights theory from classical antiquity through the enlightenment to the modern human rights movement, and analyses the significance of human r

The Challenge of Human Rights traces the history of human rights theory from classical antiquity through the enlightenment to the modern human rights movement, and analyses the significance of human r

This concise text for advanced undergraduates and graduate students covers eigenvalue problems in classical physics, orthogonal functions and expansions, the Sturm-Liouville theory and linear operator

Human Goodness presents an original, pragmatic moral theory that successfully revives and revitalizes the classical Greek concept of happiness. It also includes in-depth discussions of our freedoms, our obligations, and our virtues, as well as adroit comparisons with the moral theories of Kant and Hume. Paul Schollmeier explains that the Greeks define happiness as an activity that we may perform for its own sake. Obvious examples might include telling stories, making music, or dancing. He then demonstrates that we may use the pragmatic method to discover and to define innumerable activities of this kind. Schollmeier's demonstration rests on the modest assumption that our happiness takes not one ideal form, but many empirical forms.

SuperFractals, first published in 2006, is the successor to Fractals Everywhere, in which the power and beauty of Iterated Function Systems were introduced and applied to producing startling and original images that reflect complex structures found for example in nature. This provoked the question of whether there is a deeper connection between topology, geometry, IFS and codes on the one hand and biology, DNA and protein development on the other. Now, 20 years later, Barnsley explains how IFS have developed in order to address this issue. Ideas such as fractal tops and superIFS are introduced, and the classical deterministic approach is combined with probabilistic ideas to produce new mathematics and algorithms that open a whole theory that could have applications in computer graphics, bioinformatics, economics, signal processing and beyond. For the first time these ideas are explained in book form, and illustrated with breathtaking pictures.

“The most extensive scholarship to appear on this Greek dramatist in many years, Michelini’s work will be important to specialists and students of classical literature, literary theory, and both Engli

Percolation theory was initiated some fifty years ago as a mathematical framework for the study of random physical processes such as flow through a disordered porous medium. It has proved to be a remarkably rich theory, with applications beyond natural phenomena to topics such as network modelling. The aims of this book, first published in 2006, are twofold. First to present classical results in a way that is accessible to non-specialists. Second, to describe results of Smirnov in conformal invariance, and outline the proof that the critical probability for random Voronoi percolation in the plane is 1/2. Throughout, the presentation is streamlined, with elegant and straightforward proofs requiring minimal background in probability and graph theory. Numerous examples illustrate the important concepts and enrich the arguments. All-in-all, it will be an essential purchase for mathematicians, physicists, electrical engineers and computer scientists working in this exciting area.

This book was originally published in 2006. Moonshine forms a way of explaining the mysterious connection between the monster finite group and modular functions from classical number theory. The theory has evolved to describe the relationship between finite groups, modular forms and vertex operator algebras. Moonshine Beyond the Monster describes the general theory of Moonshine and its underlying concepts, emphasising the interconnections between mathematics and mathematical physics. Written in a clear and pedagogical style, this book is ideal for graduate students and researchers working in areas such as conformal field theory, string theory, algebra, number theory, geometry and functional analysis. Containing over a hundred exercises, it is also a suitable textbook for graduate courses on Moonshine and as supplementary reading for courses on conformal field theory and string theory.

Free Probability Theory studies a special class of 'noncommutative'random variables, which appear in the context of operators on Hilbert spaces and in one of the large random matrices. Since its emergence in the 1980s, free probability has evolved into an established field of mathematics with strong connections to other mathematical areas, such as operator algebras, classical probability theory, random matrices, combinatorics, representation theory of symmetric groups. Free probability also connects to more applied scientific fields, such as wireless communication in electrical engineering. This 2006 book gives a self-contained and comprehensive introduction to free probability theory which has its main focus on the combinatorial aspects. The volume is designed so that it can be used as a text for an introductory course (on an advanced undergraduate or beginning graduate level), and is also well-suited for the individual study of free probability.

Liberal political philosophy and natural law theory are not contradictory, but - properly understood - mutually reinforcing. Contemporary liberalism (as represented by Rawls, Guttman and Thompson, Dworkin, Raz, and Macedo) rejects natural law and seeks to diminish its historical contribution to the liberal political tradition, but it is only one, defective variant of liberalism. A careful analysis of the history of liberalism, identifying its core principles, and a similar examination of classical natural law theory (as represented by Thomas Aquinas and his intellectual descendants), show that a natural law liberalism is possible and desirable. Natural law theory embraces the key principles of liberalism, and it also provides balance in resisting some of its problematic tendencies. Natural law liberalism is the soundest basis for American public philosophy, and it is a potentially more attractive and persuasive form of liberalism for nations that have tended to resist it.

L-functions associated to automorphic forms encode all classical number theoretic information. They are akin to elementary particles in physics. This book provides an entirely self-contained introduction to the theory of L-functions in a style accessible to graduate students with a basic knowledge of classical analysis, complex variable theory, and algebra. Also within the volume are many new results not yet found in the literature. The exposition provides complete detailed proofs of results in an easy-to-read format using many examples and without the need to know and remember many complex definitions. The main themes of the book are first worked out for GL(2,R) and GL(3,R), and then for the general case of GL(n,R). In an appendix to the book, a set of Mathematica functions is presented, designed to allow the reader to explore the theory from a computational point of view.

Open Design bypasses classical theory of decision making and uses a linear programming model to capture the elements of group decision making in an attempt to develop a theory of architectural design.

In considering the practice and theory of translating Classical Greek plays into English from a theatrical perspective, Found in Translation, first published in 2006, also addresses the wider issues of transferring any piece of theatre from a source into a target language. The history of translating classical tragedy and comedy, here fully investigated, demonstrates how through the ages translators have, wittingly or unwittingly, appropriated Greek plays and made them reflect socio-political concerns of their own era. Chapters are devoted to topics including verse and prose, mask and non-verbal language, stage directions and subtext and translating the comic. Among the plays discussed as 'case studies' are Aeschylus' Agamemnon, Sophocles' Oedipus Tyrannus and Euripides' Medea and Alcestis. The book concludes with a consideration of the boundaries between 'translation' and 'adaptation', followed by an appendix of every translation of Greek tragedy and comedy into English from the 1550s

Six essays by Welsh and English classicists draw on archaeological as well as literary evidence to analyze the practice and theory of colonization. They consider such topics as ideologies of Greek col

This Second Edition is a thoroughly revised, expanded version of the bestselling student text in classical social theory. Author Kenneth Morrison provides an authoritative, accessible undergraduate g

Macroeconomics is evolving in an almost dialectic fashion. The latest evolution is the development of a new synthesis that combines insights of new classical, new Keynesian and real business cycle traditions into a dynamic, stochastic general equilibrium (DSGE) model that serves as a foundation for thinking about macro policy. That new synthesis has opened up the door to a new antithesis, which is being driven by advances in computing power and analytic techniques. This new synthesis is coalescing around developments in complexity theory, automated general to specific econometric modeling, agent-based models, and non-linear and statistical dynamical models. This book thus provides the reader with an introduction to what might be called a Post Walrasian research program that is developing as the antithesis of the Walrasian DSGE synthesis.

Macroeconomics is evolving in an almost dialectic fashion. The latest evolution is the development of a new synthesis that combines insights of new classical, new Keynesian and real business cycle traditions into a dynamic, stochastic general equilibrium (DSGE) model that serves as a foundation for thinking about macro policy. That new synthesis has opened up the door to a new antithesis, which is being driven by advances in computing power and analytic techniques. This new synthesis is coalescing around developments in complexity theory, automated general to specific econometric modeling, agent-based models, and non-linear and statistical dynamical models. This book thus provides the reader with an introduction to what might be called a Post Walrasian research program that is developing as the antithesis of the Walrasian DSGE synthesis.

Dedicated to the well-respected research mathematician Ambikeshwar Sharma, Frontiers in Interpolation and Approximation explores approximation theory, interpolation theory, and classical analysis. Wri

The subject of Kleinian groups and hyperbolic 3-manifolds is currently undergoing explosively fast development, the last few years having seen the resolution of many longstanding conjectures. This volume contains important expositions and original work by some of the main contributors on topics such as topology and geometry of 3-manifolds, curve complexes, classical Ahlfors-Bers theory, computer explorations and projective structures. Researchers in these and related areas will find much of interest here.

Quantum cryptography (or quantum key distribution) is a state-of-the-art technique that exploits properties of quantum mechanics to guarantee the secure exchange of secret keys. This 2006 text introduces the principles and techniques of quantum cryptography, setting it in the wider context of cryptography and security, with specific focus on secret-key distillation. The book starts with an overview chapter, progressing to classical cryptography, information theory (classical and quantum), and applications of quantum cryptography. The discussion moves to secret-key distillation, privacy amplification and reconciliation techniques, concluding with the security principles of quantum cryptography. The author explains the physical implementation and security of these systems, enabling engineers to gauge the suitability of quantum cryptography for securing transmission in their particular application. With its blend of fundamental theory, implementation techniques, and details of recent prot

Synthetic Differential Geometry is a method of reasoning in differential geometry and differential calculus, based on the assumption of sufficiently many nilpotent elements on the number line, in particular numbers d such that d2=0. The use of nilpotent elements allows one to replace the limit processes of calculus by purely algebraic calculations and notions. For the first half of the book, first published in 2006, familiarity with differential calculus and abstract algebra is presupposed during the development of results in calculus and differential geometry on a purely axiomatic/synthetic basis. In the second half basic notions of category theory are presumed in the construction of suitable Cartesian closed categories and the interpretation of logical formulae within them. This is a second edition of Kock's classical text from 1981. Many notes have been included, with comments on developments in the field from the intermediate years, and almost 100 new bibliographic entries have bee

Presumption is a remarkably versatile and pervasively useful resource. Firmly grounded in the law of evidence from its origins in classical antiquity, it made its way in the days of medieval scholasticism into the theory and practice of disputation and debate. Subsequently, it extended its reach to play an increasingly significant role in the philosophical theory of knowledge. It has thus come to represent a region where lawyers, debaters, and philosophers can all find some common around. In Presumption and the Practices of Tentative Cognition, Nicholas Rescher endeavors to show that the process of presumption plays a role of virtually indispensable utility in matters of rational inquiry and communication. The origins of presumption may lie in law, but its importance is reinforced by its service to the theory of information management and philosophy.

This self-contained book is a graduate-level introduction for mathematicians and for physicists interested in the mathematical foundations of the field, and can be used as a textbook for a two-semester course on mathematical statistical mechanics. It assumes only basic knowledge of classical physics and, on the mathematics side, a good working knowledge of graduate-level probability theory. The book starts with a concise introduction to statistical mechanics, proceeds to disordered lattice spin systems, and concludes with a presentation of the latest developments in the mathematical understanding of mean-field spin glass models. In particular, progress towards a rigorous understanding of the replica symmetry-breaking solutions of the Sherrington-Kirkpatrick spin glass models, due to Guerra, Aizenman-Sims-Starr and Talagrand, is reviewed in some detail.

This book is devoted to the theory of coupled electro-magneto-thermo-elastic fields excited in different bodies by various sources, both static and dynamic. It presents the classical piezoelectric and

This graduate-level text's coverage includes the quantum theory of partial coherence and the nature of the relations between classical and quantum theories of coherence. Topics include partially coher

Suitable for advanced undergraduates and graduate students, this text surveys the classical theory of the calculus of variations. Topics include static systems, control systems, additional constraints

Susan Haack's anthology presents a broad and diverse selection of pragmatist writings, classical and contemporary, reformist and revolutionary, ranging from logic, metaphysics, theory of inquiry, phi

According to Rousseau, the best relationship between unequals is one of 'benificence', giving, receiving and repaying benefits. This 1993 book addresses the problem implicit in his writings of whether it is indeed possible for a just and generous relationship to exist between non-equals. Judith Still draws together issues in Rousseau's work which are often treated in isolation: the state, just relations between individuals, sexual politics and the constructing of a feminine identity. She analyses his works, his classical sources, and the conceptual underpinnings of his ethics, crossing the boundary between study of Rousseau as a complex and sensitive writer of fiction and autobiography and consideration of his political and ethical theory. Using techniques of reading drawn from literary theory, particularly from the work of Derrida, de Man and Starobinski, she argues that for Rousseau it is sexual difference which disturbs the practice of benificence.

In this revised edition of THE CREATIVE DREAMER, psychologist Veronica Tonay blends classical dream theory with a fascinating analysis of universal themes, trends, and elements of dreams that can insp

This is the first English translation of one of the classical works of Marxist economic theory. When Rudolf Hilferding’s Finance Capital was first published in 1919 it was acclaimed by reviewers as a

This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and ad

General Relativity: An Introduction for Physicists provides a clear mathematical introduction to Einstein's theory of general relativity. It presents a wide range of applications of the theory, concentrating on its physical consequences. After reviewing the basic concepts, the authors present a clear and intuitive discussion of the mathematical background, including the necessary tools of tensor calculus and differential geometry. These tools are then used to develop the topic of special relativity and to discuss electromagnetism in Minkowski spacetime. Gravitation as spacetime curvature is then introduced and the field equations of general relativity derived. After applying the theory to a wide range of physical situations, the book concludes with a brief discussion of classical field theory and the derivation of general relativity from a variational principle. Written for advanced undergraduate and graduate students, this approachable textbook contains over 300 exercises to illuminat

In this novel introduction to modern microeconomic theory, Samuel Bowles returns to the classical economists' interest in the wealth and poverty of nations and people, the workings of the institutions

This volume mounts a full-blown attack on the standard neo-classical theory of economic growth, which Richard Nelson sees as hopelessly inadequate to explain the phenomenon of economic growth. He pres

This is a comprehensive 1997 account of the history of literary criticism in Britain and Europe between 1660 and 1800. Unlike previous histories, it is not just a chronological survey of critical writing, but a multidisciplinary investigation of how the understanding of literature and its various genres was transformed, at the start of the modern era, by developments in philosophy, psychology, the natural sciences, linguistics, and other disciplines, as well as in society at large. In the process, modern literary theory - at first often implicit in literary texts themselves - emancipated itself from classical poetics and rhetoric, and literary criticism emerged as a full-time professional activity catering for an expanding literate public. The volume is international both in coverage and in authorship. Extensive bibliographies provide guidance for further specialised study.

This graduate/research level text introduces the theory of multi-electron transitions in atomic, molecular and optical physics, emphasising the emerging topic of dynamic electron correlation. The book begins with an overview of simple binomial probabilities, classical scattering theory, quantum scattering and correlation, followed by the theory of single electron transition probabilities. Multiple electron transition probabilities are then treated in detail. Various approaches to multiple electron transitions are covered including the independent electron approximation, useful statistical methods and perturbation expansions treating correlation in both weak and strong limits. The important topic of the dynamics of electron correlation is a central theme in this book. The text contains a comprehensive summary of data for few and many-electron transitions in atoms and molecules, including transitions on different atomic centres, fast ion-atom and electron-atom interactions, and recent ob

This text describes novel treatments of quantum problems using enhanced quantization procedures. When treated conventionally, certain systems yield trivial and unacceptable results. This book describes enhanced procedures, generally involving extended correspondence rules for the association of a classical and a quantum theory, which, when applied to such systems, yield nontrivial and acceptable results. The text begins with a review of classical mechanics, Hilbert space, quantum mechanics, and scalar quantum field theory. Next, analytical skills are further developed, a special class of models is studied, and a discussion of continuous and discontinuous perturbations is presented. Later chapters cover two further classes of models both of which entail discontinuous perturbations. The final chapter offers a brief summary, concluding with a conjecture regarding interacting covariant scalar quantum field theories. Symmetry is repeatedly used as a tool to help develop solutions for simple

The Lévy Laplacian is an infinite-dimensional generalization of the well-known classical Laplacian. The theory has become well developed in recent years and this book was the first systematic treatment of the Lévy–Laplace operator. The book describes the infinite-dimensional analogues of finite-dimensional results, and more especially those features which appear only in the generalized context. It develops a theory of operators generated by the Lévy Laplacian and the symmetrized Lévy Laplacian, as well as a theory of linear and nonlinear equations involving it. There are many problems leading to equations with Lévy Laplacians and to Lévy–Laplace operators, for example superconductivity theory, the theory of control systems, the Gauss random field theory, and the Yang–Mills equation. The book is complemented by an exhaustive bibliography. The result is a work that will be valued by those working in functional analysis, partial differential equations and probability theory.