Classical Recursion Theory

This commentary fulfils the need for a student edition of Horace's literary epistles, which have recently been the subject of renewed scholarly interest. Professor Rudd provides a clear introduction to each of the three poems: the Epistles to Augustus, to Florus, and to the Pisones (the so-called 'Ars Poetica'). He sketches the historical context in which the poems were written, and comments on their structure and purpose. Attention is paid to the literary preoccupations of the individual epistles: the relations of poet and patron, and the role of poetry in the state (Augustus), the problems of a (professedly) tiring poet (Florus), and the presentation of classical poetic theory in the 'Ars Poetica'. Horace's influence on later criticism is noted, and there is a brief section on one of Alexander Pope's Imitations. In his commentary on the text Professor Rudd addresses problems of grammar and style, focusing on linguistic difficulties and on the subtle movement of the poet's thought.

This book examines the economic reasons why people choose to live where they live and develops, through analysis of the bid rent function, a unified theory of urban land use and city size. The first part of the book explicates the basic theory of urban land use and optimal city size. Residential location behavior of households is examined in a microeconomic framework and equilibrium and optimal patterns of residential land use are discussed. The corresponding equilibrium and optimal city sizes are studied in a variety of contexts. Part Two extends the classical theories of von Thunen and Alonso with the addition of externality factors such as local public goods, crowding and congestion, and racial prejudice. The rigorous mathematical approach and theoretical treatment of the material make Urban Economic Theory of interest to researchers in urban economics, location theory, urban geography, and urban planning.

This monograph is concerned with the qualitative theory of best L1-approximation from finite-dimensional subspaces. It presents a survey of recent research that extends 'classical' results concerned with best uniform approximation to the L1 case. The work is organized in such a way as to be useful for self-study or as a text for advanced courses. It begins with a basic introduction to the concepts of approximation theory before addressing one- or two-sided best approximation from finite-dimensional subspaces and approaches to the computation of these. At the end of each chapter is a series of exercises; these give the reader an opportunity to test understanding and also contain some theoretical digressions and extensions of the text.

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.

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 book covers the basic, mainly classical, physics of the properties of solids and liquids. The main emphasis is on macroscopic characteristics of materials, although their is some discussion of the atomic or molecular phenomena that underlie the macroscopic effects. Topics that are discussed in detail include the elastic properties of solids, with applications to acoustic waves and the deformation and stability of rods and struts; static and dynamic properties of liquids, with applications to interfacial phenomena and fluid flow characteristics; and diffusion in solids and liquids, with applications to Brownian motion, heat conduction and creep. The coverage combines treatments of the more traditional aspects of these topics with details of developments, such as novel materials, catastrophe theory and soliton propagation. This textbook will be suitable for second- and third-year undergraduates in universities and polytechnics taking courses in the properties of condensed matters in

This book covers a broad range of topics in the history of economics that have relevance to economic theories. The author believes that one of the tasks for a historian of economics is to analyze and interpret theories currently outside the mainstream of economic theory, in this case non-Walrasian economics. By doing so, he argues, new directions and new areas for research can be developed that will extend the current theories. Familiar topics covered include: the division of labor, economies of scale, wages, profit, international trade, market mechanisms, and money. These are considered in the light of the well-known non-Walrasian schools of thought: the classical, Marxian, Austrian, and Cambridge schools.

This classic book is a encylopaedic and comprehensive account of the classical theory of analytical dynamics. The treatment is rigorous yet readable, starting from first principles with kinematics before moving to equations of motion and specific and explicit methods for solving them, with chapters devoted to particle dyanmics, rigid bodies, vibration, and dissipative systems. Hamilton's principle is introduced and then applied to dynamical systems, including three-body systems and celestial mechanics. Very many examples and exercisies are supplied throughout.

The study of the theory of games was started in Von Neumann (1928), but the development of the theory of games was accelerated after the publication of the classical book "Theory of games and economic

Originally published in 1987, this book is devoted to the approximation of real functions by real rational functions. These are, in many ways, a more convenient tool than polynomials, and interest in them was growing, especially since D. Newman's work in the mid-sixties. The authors aim at presenting the basic achievements of the subject and, for completeness, also discuss some topics from complex rational approximation. Certain classical and modern results from linear approximation theory and spline approximation are also included for comparative purposes. This book will be of value to anyone with an interest in approximation theory and numerical analysis.

Metric space topology, as the generalization to abstract spaces of the theory of sets of points on a line or in a plane, unifies many branches of classical analysis and is necessary introduction to functional analysis. Professor Copson's book, which is based on lectures given to third-year undergraduates at the University of St Andrews, provides a more leisurely treatment of metric spaces than is found in books on functional analysis, which are usually written at graduate student level. His presentation is aimed at the applications of the theory to classical algebra and analysis; in particular, the chapter on contraction mappings shows how it provides proof of many of the existence theorems in classical analysis.

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.

Quantum theory is our deepest theory of the nature of matter. It is a theory that, notoriously, produces results which challenge the laws of classical logic and suggests that the physical world is illogical. This book gives a critical review of work on the foundations of quantum mechanics at a level accessible to non-experts. Assuming his readers have some background in mathematics and physics, Peter Gibbins focuses on the questions of whether the results of quantum theory require us to abandon classical logic and whether quantum logic can resolve the paradoxes produced by quantum mechanics. He argues that quantum logic does not dispose of the problems faced by classical logic, that no reasonable interpretation of quantum mechanics in terms of 'hidden variables' can be found, and that after all these years quantum mechanics remains a mystery to us. Particles and Paradoxes provides a much-needed and valuable introduction to the philosophy of quantum mechanics and, at the same time, an e

This first volume takes the story from its beginnings in Ionian philosophy as far as the formation of the Atomic Theory and the first criticisms of it by Plato and Aristotle. The second volume will describe the cosmology of Plato and Aristotle, the attempt by Epicurean opponents to revive Atomism and later developments of the debate in classical philosophy and science up to the sixth century of our era. Both are accessible to anyone interested in the history of science and philosophy, even if they have no specialized knowledge of Greek philosophy and no Greek; but professional scholars too will find much of importance to them.

Elliptic functions and Riemann surfaces played an important role in nineteenth-century mathematics. At the present time there is a great revival of interest in these topics not only for their own sake but also because of their applications to so many areas of mathematical research from group theory and number theory to topology and differential equations. In this book the authors give elementary accounts of many aspects of classical complex function theory including Möbius transformations, elliptic functions, Riemann surfaces, Fuchsian groups and modular functions. A distinctive feature of their presentation is the way in which they have incorporated into the text many interesting topics from other branches of mathematics. This book is based on lectures given to advanced undergraduates and is well-suited as a textbook for a second course in complex function theory. Professionals will also find it valuable as a straightforward introduction to a subject which is finding widespread applic

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.

This book gives a rigorous treatment of the fundamentals of plane geometry: Euclidean, spherical, elliptical and hyperbolic. The primary purpose is to acquaint the reader with the classical results of plane Euclidean and nonEuclidean geometry, congruence theorems, concurrence theorems, classification of isometries, angle addition and trigonometrical formulae. However, the book not only provides students with facts about and an understanding of the structure of the classical geometries, but also with an arsenal of computational techniques for geometrical investigations. The aim is to link classical and modern geometry to prepare students for further study and research in group theory, Lie groups, differential geometry, topology, and mathematical physics. The book is intended primarily for undergraduate mathematics students who have acquired the ability to formulate mathematical propositions precisely and to construct and understand mathematical arguments. Some familiarity with linear al

Modal logic, developed as an extension of classical propositional logic and first-order quantification theory, integrates the notions of possibility and necessity and necessary implication. Arguments

Ideal as a classroom text or for individual study, this unique one-volume overview of classical wave theory covers wave phenomena of acoustics, optics, electromagnetic radiations, and more. Topics in

This book covers a broad range of topics in the history of economics that have relevance to economic theories. The author believes that one of the tasks for a historian of economics is to analyze and interpret theories currently outside the mainstream of economic theory, in this case non-Walrasian economics. By doing so, he argues, new directions and new areas for research can be developed that will extend the current theories. Familiar topics covered include: the division of labor, economies of scale, wages, profit, international trade, market mechanisms, and money. These are considered in the light of the well-known non-Walrasian schools of thought: the classical, Marxian, Austrian, and Cambridge schools.

This comprehensive and self-contained account of the extrinsic geometry of algebraic curves applies the theory of linear series to a number of classical topics, including the geometry of the Reimann t

These essays explore what happens when a skilful economist makes unconventional assumptions. Economic theory has traditionally relied upon a tacit and 'classical' set of assumptions that have gradually acquired a life of their own in defining how economists write and how they justify economic models. Similarly, these assumptions have acquired an autonomous character: they guide the way economists think about the world. In consequence, consideration of alternative assumptions has become taboo. These essays are substantively and stylistically novel because they break these taboos and bring new assumptions into economic theory. The papers apply this adventurous approach to a wide range of issues - from insurance markets and trade in underdeveloped countries to unemployment and discrimination. Some of the essays derive the implications for economic markets of costly asymmetric information. Others explore the findings of other social sciences such as anthropology, psychology and sociology.

Helpful illustrations and exercises included throughout this lucid coverage of group theory, Galois theory and classical ideal theory stressing proof of important theorems. Includes many historical no

This book presents a theory motivated by the spaces LP, 0 ≤ p

Convex polytopes are the analogues in space of any dimension of convex plane polygons and of convex polyhedra in ordinary space. This book describes a fresh approach to the classification of these objects according to their symmetry properties, based on ideas of topology and transformation group theory. Although there is considerable agreement with traditional treatments, a number of new concepts emerge that present classical ideas in a quite new way. For example, the family of regular convex polytopes is extended to the family of 'perfect polytopes'. Thus the familiar set of five Platonic polyhedra is replaced by the less familiar set of nine perfect polyhedra. Among the many unsolved problems that arise, that of finding all perfect polytopes, and more generally all perfect convex bodies, is perhaps the most attractive. This book will be of value to specialists and graduate students in pure mathematics, especially those studying symmetry theory, convex bodies, and polytopes.

The book is written in three parts. Part I consists of preparatory work on algebras, needed in Parts II and III. This material is presented in a classical, though unusual, way. Part II consists of a modern description of the theory of Brauer groups over fields (from as elementary a point of view as possible). Part III covers some new developments in the theory which, until now, have not been available except in journals. The principal topic discussed in this section is reduced K,-theory. This book will be of interest to graduate students in pure mathematics and to professional mathematicians.

Philosophers are increasingly coming to recognize the importance of Freudian theory for the understanding of the mind. The picture Freud presents of the mind's growth and organization holds implications not just for such perennial questions as the relation of mind and body, the nature of memory and personal identity, the interplay of cognitive and affective processes in reasoning and acting, but also for the very way in which these questions are conceived and an interpretation of the mind is sought. This volume of essays, by some of today's leading philosophers, explores all these topics, as well as the methods, results and status of the theory itself, while two 'classical' discussions by Wittgenstein and Sartre are also included. A number of the contributions – those by Donald Davidson, W. D. Hart, Jim Hopkins, Adam Morton, David Pears and Richard Wollheim – have not been published before, and a very useful bibliography is provided. It is an anthology that will be vital to anyone inte

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.

A fundamental problem of algebraic topology is the classification of homotopy types and homotopy classes of maps. In this work the author extends results of rational homotopy theory to a subring of the rationale. The methods of proof employ classical commutator calculus of nilpotent group and Lie algebra theory and rely on an extensive and systematic study of the algebraic properties of the classical homotopy operations (composition and addition of maps, smash products, Whitehead products and higher order James-Hopi invariants). The account is essentially self-contained and should be accessible to non-specialists and graduate students with some background in algebraic topology and homotopy theory.

This comprehensive introduction to classical electromagnetic theory covers the major aspects, including scalar fields, vectors, laws of Ohm, Joule, Coulomb, Faraday, Maxwell's equation, and more. Incl

Joan Robinson shows how the economic mechanisms that produce wealth in the midst of growing misery can be understood. For this purpose she uses the classical theory of accumulation and the modern theory of international trade and finance. Her simple but penetrating analysis illuminates the problems of poverty, accumulation, industrialization and trade, while exposing misleading conceptions of the Third World. Throughout the book, general principles are demonstrated with particular examples, making those principles both clearer and more relevant. The book's conclusion is that the economic problems of the Third World remain rooted in deep-seated political conflicts of national and international interests.

This is a sequel to Dr Weir's undergraduate textbook on Lebesgue Integration and Measure (CUP. 1973) in which he provided a concrete approach to the Lebesgue integral in terms of step functions and went on from there to deduce the abstract concept of Lebesgue measure. In this second volume, the treatment of the Lebesgue integral is generalised to give the Daniell integral and the related general theory of measure. This approach via integration of elementary functions is particularly well adapted to the proof of Riesz's famous theorems about linear functionals on the classical spaces C (X) and LP and also to the study of topological notions such as Borel measure. This book will be used for final year honours courses in pure mathematics and for graduate courses in functional analysis and measure theory.

This exposition of research on the martingale and analytic inequalities associated with Hardy spaces and functions of bounded mean oscillation (BMO) introduces the subject by concentrating on the connection between the probabilistic and analytic approaches. Short surveys of classical results on the maximal, square and Littlewood-Paley functions and the theory of Brownian motion introduce a detailed discussion of the Burkholder-Gundy-Silverstein characterization of HP in terms of maximal functions. The book examines the basis of the abstract martingale definitions of HP and BMO, makes generally available for the first time work of Gundy et al. on characterizations of BMO, and includes a probabilistic proof of the Fefferman-Stein Theorem on the duality of H11 and BMO.

In this book, Professor Copson gives a rigorous account of the theory of partial differential equations of the first order and of linear partial differential equations of the second order, using the methods of classical analysis. In spite of the advent of computers and the applications of the methods of functional analysis to the theory of partial differential equations, the classical theory retains its relevance in several important respects. Many branches of classical analysing have their origins in the rigourous discussion of problems in applies mathematics and theoretical physics, and the classical treatment of the theory of partial differential equations still provides the best method of treating many physical problems. A knowledge of the classical theory is essential for pure mathematics who intend to undertake research in this field, whatever approach they ultimately adopt. The numerical analyst needs a knowledge of classical theory in order to decide whether a problem has a uni

Two essays on utilitarianism, written from opposite points of view, by J. J. C. Smart and Bernard Williams. In the first part of the book Professor Smart advocates a modern and sophisticated version of classical utilitarianism; he tries to formulate a consistent and persuasive elaboration of the doctrine that the rightness and wrongness of actions is determined solely by their consequences, and in particular their consequences for the sum total of human happiness. In Part II Bernard Williams offers a sustained and vigorous critique of utilitarian assumptions, arguments and ideals. He finds inadequate the theory of action implied by utilitarianism, and he argues that utilitarianism fails to engage at a serious level with the real problems of moral and political philosophy, and fails to make sense of notions such as integrity, or even human happiness itself. This book should be of interest to welfare economists, political scientists and decision-theorists.

An especially timely work, the book is an introduction to the theory of p-adic L-functions originated by Kubota and Leopoldt in 1964 as p-adic analogues of the classical L-functions of Dirichlet. Prof

The most readable survey of the theoretical core of current knowledge available, fully correlated with experimental material. The author gives a concise account of the classical theory necessary to an

Thorough, extremely useful treatment of classical mechanics, electromagnetic theory, and relativity, includes full explanations of function theory, vectors, matrices, dyadics, tensors, partial differe