Author: P. Odifreddi
Publisher: Elsevier
ISBN: 9780080886596
Category : Computers
Languages : en
Pages : 667
Get Book Here
Book Description
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 textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.
Author: Piergiorgio Odifreddi
Publisher: Elsevier Health Sciences
ISBN:
Category : Computers
Languages : en
Pages : 696
Get Book Here
Book Description
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 textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.
Author: Gerald E. Sacks
Publisher: Cambridge University Press
ISBN: 1107168430
Category : Computers
Languages : en
Pages : 361
Get Book Here
Book Description
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
Author: Charles C Pinter
Publisher: Courier Corporation
ISBN: 0486497089
Category : Mathematics
Languages : en
Pages : 259
Get Book Here
Book Description
"This accessible approach to set theory for upper-level undergraduates poses rigorous but simple arguments. Each definition is accompanied by commentary that motivates and explains new concepts. A historical introduction is followed by discussions of classes and sets, functions, natural and cardinal numbers, the arithmetic of ordinal numbers, and related topics. 1971 edition with new material by the author"--
Author: Elliott Mendelson
Publisher: CRC Press
ISBN: 1584888776
Category : Computers
Languages : en
Pages : 496
Get Book Here
Book Description
Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Godel, Church
Author:
Publisher: Elsevier
ISBN: 0080533701
Category : Computers
Languages : en
Pages : 799
Get Book Here
Book Description
Recursive Algebra, Analysis and Combinatorics
Author: Rebecca Weber
Publisher: American Mathematical Soc.
ISBN: 082187392X
Category : Mathematics
Languages : en
Pages : 218
Get Book Here
Book Description
What can we compute--even with unlimited resources? Is everything within reach? Or are computations necessarily drastically limited, not just in practice, but theoretically? These questions are at the heart of computability theory. The goal of this book is to give the reader a firm grounding in the fundamentals of computability theory and an overview of currently active areas of research, such as reverse mathematics and algorithmic randomness. Turing machines and partial recursive functions are explored in detail, and vital tools and concepts including coding, uniformity, and diagonalization are described explicitly. From there the material continues with universal machines, the halting problem, parametrization and the recursion theorem, and thence to computability for sets, enumerability, and Turing reduction and degrees. A few more advanced topics round out the book before the chapter on areas of research. The text is designed to be self-contained, with an entire chapter of preliminary material including relations, recursion, induction, and logical and set notation and operators. That background, along with ample explanation, examples, exercises, and suggestions for further reading, make this book ideal for independent study or courses with few prerequisites.
Author: Peter Smith
Publisher: Cambridge University Press
ISBN: 1107022843
Category : Biography & Autobiography
Languages : en
Pages : 405
Get Book Here
Book Description
A clear and accessible treatment of Gödel's famous, intriguing, but much misunderstood incompleteness theorems, extensively revised in a second edition.
Author: Krzysztof Ciesielski
Publisher: Cambridge University Press
ISBN: 9780521594653
Category : Mathematics
Languages : en
Pages : 256
Get Book Here
Book Description
Presents those methods of modern set theory most applicable to other areas of pure mathematics.
Author: Dov M. Gabbay
Publisher: Springer Science & Business Media
ISBN: 9401598339
Category : Philosophy
Languages : en
Pages : 404
Get Book Here
Book Description
It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publication of the first edition and there have been great changes in the landscape of philosophical logic since then. The first edition has proved invaluable to generations of students and researchers in formal philosophy and language, as well as to consumers of logic in many applied areas. The main logic article in the Encyclopaedia Britannica 1999 has described the first edition as 'the best starting point for exploring any of the topics in logic'. We are confident that the second edition will prove to be just as good. ! The first edition was the second handbook published for the logic commu nity. It followed the North Holland one volume Handbook of Mathematical Logic, published in 1977, edited by the late Jon Barwise, The four volume Handbook of Philosophical Logic, published 1983-1989 came at a fortunate temporal junction at the evolution of logic. This was the time when logic was gaining ground in computer science and artificial intelligence circles. These areas were under increasing commercial pressure to provide devices which help and/or replace the human in his daily activity. This pressure required the use of logic in the modelling of human activity and organisa tion on the one hand and to provide the theoretical basis for the computer program constructs on the other.
