Classical Recursion Theory

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a

The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will make this volume an invaluable resource.

Recursion theory – now a well-established branch of pure mathematics, having grown rapidly over the last 35 years – deals with the general (abstract) theory of those operations which we conceive as being `computable' by idealized machines. The theory grew out of, and is usually still regarded, as a branch of mathematical logic. This book is a collection of advanced research/survey papers by eminent research workers in the field, based on their lectures given at the Leeds Logic Colloquium 1979. As such it provides an up-to-date view of current ideas and developments in the field of recursion theory as a whole. The individual contributions fit together naturally so as to provide an overview of all the main areas of research in the field. It will therefore be an important and invaluable source for advanced researchers and research students in mathematics and computer science (particularly in Europe, USA and USSR).

Classical Sociological Theory text provides a comprehensive overview of the major theorists and schools of sociological thought from the Enlightenment roots of theory through the early 20th Century. T

This text concerns continuum mechanics, electrodynamics and the mechanics of electrically polarized media, and gravity. Its accessible approach formulates theories according to the principle of least

In an accessible and thoughtful manner, this anthology--an update of Social and Political Theory: Classical Readings (1998)--introduces students to the key classic texts in social thought. In the seco

There has been a resurgence of interest in classical invariant theory driven by several factors: new theoretical developments; a revival of computational methods coupled with powerful new computer algebra packages; and a wealth of new applications, ranging from number theory to geometry, physics to computer vision. This book provides readers with a self-contained introduction to the classical theory as well as modern developments and applications. The text concentrates on the study of binary forms (polynomials) in characteristic zero, and uses analytical as well as algebraic tools to study and classify invariants, symmetry, equivalence and canonical forms. It also includes a variety of innovations that make this text of interest even to veterans of the subject. Aimed at advanced undergraduate and graduate students the book includes many exercises and historical details, complete proofs of the fundamental theorems, and a lively and provocative exposition.

Beginning classical social theory introduces students and educated general readers to thirteen key social theorists by way of examining a single, exemplary text by each author, ranging from Comte to A

Proceedings of the First International Conference on Insurence Solvency

The third edition of this popular reader reflects considerable changes. The framework for understanding theory as a set of conversations over time is maintained and deepened, pairing classical with co

Recursion and self-embedding are at the heart of our ability to formulate our thoughts, articulate our imagination and share with other human beings. Nonetheless, controversy exists over the extent to which recursion is shared across all domains of syntax. A collection of 18 studies are presented here on the central linguistic property of recursion, examining a range of constructions in over a dozen languages representing great areal, typological and genetic diversity and spanning wide latitudes. The volume expands the topic to include prepositional phrases, possessives, adjectives, and relative clauses - our many vehicles to express creative thought - to provide a critical perspective on claims about how recursion connects to broader aspects of the mind. Parallel explorations across language families, literate and non-literate societies, children and adults are investigated and constitutes a new step in the generative tradition by simultaneously focusing on formal theory, acquisition

Professor Pechter's book attempts to describe the consistent structure, of both style and method, within which Dryden examines, orders and evaluates literary experience. This mode permits Dryden to recognise the real differences between French and English drama, Virgilian and Ovidian style, judgement and fancy (to take some of the more familiar from among Dryden's typical conjunctive pairs), without either merging their differences into some grand synthesis or transforming them into mutually exclusive antitheses. Dryden's is above all a comprehensive theory of literature which aims at responding to a broad range of various literary styles, genres, faculties and effects. Dryden's balance is classical, the poise of the golden mean, and Professor Pechter endeavours to give fresh life to 'classical' as an epithet often previously applied to Dryden. Ranging among writers in ancient Greece and Rome and among Dryden's contemporaries in England and France, the author outlines a rich literary t

This textbook describes in detail the classical theory of dynamics, a subject fundamental to the physical sciences, which has a large number of important applications. The author's aim is to describe the essential content of the theory, the general way in which it is used, and the basic concepts that are involved. No deep understanding can be obtained simply by examining theoretical considerations, so Dr Griffiths has included throughout many examples and exercises. This then is an ideal textbook for an undergraduate course for physicists or mathematicians who are familiar with vector analysis.

Over the years, many textbooks have been written about the troika of sociological geniuses, Marx, Durkheim, and Weber. Too often, however, these works have been mere distillations of the views of the

The third volume in Leonard Susskind's one-of-a-kind physics series cracks open Einstein's special relativity and field theory In the first two books in his wildly popular The Theoretical Minimum seri

The study of classical electromagnetic fields is an adventure. The theory is complete mathematically and we are able to present it as an example of classical Newtonian experimental and mathematical ph

This authoritative and reader-friendly anthology will help you think through some of humanity's most persistent questions regarding right and wrong, good and bad. ETHICAL THEORY: CLASSICAL AND CONTEMP

The study of composition operators links some of the most basic questions you can ask about linear operators with beautiful classical results from analytic-function theory. The process invests old the

This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.