Author: George Metakides
Publisher: North Holland
ISBN:
Category : Mathematics
Languages : en
Pages : 412

View

Book Description

Author: John N. Crossley
Publisher: Springer Science & Business Media
ISBN: 1461203252
Category : Computers
Languages : en
Pages : 829

View

Book Description
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence types, recursive algebra and model theory, the theory of Turing degrees and r.e. sets, polynomial-time computability and computer science. Nerode began with automata theory and has also taken a keen interest in the history of mathematics. All these areas are represented. The one area missing is Nerode's applied mathematical work relating to the environment. Kozen's paper builds on Nerode's early work on automata. Recursive equivalence types are covered by Dekker and Barback, the latter using directly a fundamental metatheorem of Nerode. Recursive algebra is treated by Ge & Richards (group representations). Recursive model theory is the subject of papers by Hird, Moses, and Khoussainov & Dadajanov, while a combinatorial problem in recursive model theory is discussed in Cherlin & Martin's paper. Cenzer presents a paper on recursive dynamics.

Author: The Paris Logic The Paris Logic Group
Publisher: Elsevier
ISBN: 0444535829
Category : Mathematics
Languages : en
Pages : 323

View

Book Description
The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations.The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics.

Author:
Publisher: Elsevier
ISBN: 9780080533698
Category : Computers
Languages : en
Pages : 619

View

Book Description
Recursive Model Theory

Author: Alexander S. Kechris
Publisher: Cambridge University Press
ISBN: 1316873633
Category : Mathematics
Languages : en
Pages : 318

View

Book Description
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Large Cardinals, Determinacy and Other Topics is the final volume in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes. This final volume contains Parts VII and VIII of the series. Part VII focuses on 'Extensions of AD, models with choice', while Part VIII ('Other topics') collects material important to the Cabal that does not fit neatly into one of its main themes. These four volumes will be a necessary part of the book collection of every set theorist.

Author: S. Barry Cooper
Publisher: World Scientific
ISBN: 1848162456
Category : Computers
Languages : en
Pages : 419

View

Book Description
Addresses various ways computability and theoretical computer science enable scientists and philosophers to deal with mathematical and real-world issues. This book covers problems related to logic, mathematics, physical processes, real computation and learning theory.

Author:
Publisher: Elsevier
ISBN: 0080533701
Category : Computers
Languages : en
Pages : 799

View

Book Description
Recursive Algebra, Analysis and Combinatorics

Author: Ralf Schindler
Publisher: Walter de Gruyter
ISBN: 3110324903
Category : Philosophy
Languages : en
Pages : 495

View

Book Description
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory.

Author: Gaisi Takeuti
Publisher: Courier Corporation
ISBN: 0486320677
Category : Mathematics
Languages : en
Pages : 514

View

Book Description
This comprehensive monograph presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. 1975 edition.

Author: Robert I. Soare
Publisher: Springer Science & Business Media
ISBN: 9783540152996
Category : Mathematics
Languages : en
Pages : 460

View

Book Description
..."The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e. degrees. .... The definitions, results and proofs are always clearly motivated and explained before the formal presentation; the proofs are described with remarkable clarity and conciseness. The book is highly recommended to everyone interested in logic. It also provides a useful background to computer scientists, in particular to theoretical computer scientists." Acta Scientiarum Mathematicarum, Ungarn 1988 ..."The main purpose of this book is to introduce the reader to the main results and to the intricacies of the current theory for the recurseively enumerable sets and degrees. The author has managed to give a coherent exposition of a rather complex and messy area of logic, and with this book degree-theory is far more accessible to students and logicians in other fields than it used to be." Zentralblatt für Mathematik, 623.1988