Books in Mathematical logic and foundations

Selected Papers on Automath

1st Edition
Volume 133
October 20, 1994
R.P. Nederpelt + 2 more
English
eBook
9 7 8 0 0 8 0 8 8 7 1 8 0

The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations.

The Quantum Brain

1st Edition
March 3, 1994
A. Stern
English
eBook
9 7 8 0 0 8 0 5 7 1 5 9 1

While for the majority of physicists the problem of the deciphering of the brain code, the intelligence code, is a matter for future generations, the author boldly and forcefully disagrees. Breaking with the dogma of classical logic he develops in the form of the conversion postulate a concrete working hypothesis for the actual thought mechanism.The reader is invited on a fascinating mathematical journey to the very edges of modern scientific knowledge. From lepton and quark to mind, from cognition to a logic analogue of the Schrödinger equation, from Fibonacci numbers to logic quantum numbers, from imaginary logic to a quantum computer, from coding theory to atomic physics - the breadth and scope of this work is overwhelming. Combining quantum physics, fundamental logic and coding theory this unique work sets the stage for future physics and is bound to titillate and challenge the imagination of physicists, biophysicists and computer designers. Growing from the author's matrix operator formalization of logic, this work pursues a synthesis of physics and logic methods, leading to the development of the concept of infophysics.The experimental verification of the proposed quantum hypothesis of the brain is presently in preparation in cooperation with the Cavendish Laboratory, Cambridge, UK, and, if proved positive, would have major theoretical implications. Even more significant should be the practical applications in such fields as molecular electronics and computer science, biophysics and neuroscience, medicine and education. The new possiblities that could be opened up by quantum level computing could be truly revolutionary.The book aims at researchers and engineers in technical sciences as well as in biophysics and biosciences in general. It should have great appeal for physicists, mathematicians, logicians and for philosophers with a mathematical bent.

Recursive Functionals

1st Edition
Volume 131
May 18, 1992
L.E. Sanchis
English
eBook
9 7 8 0 0 8 0 8 8 7 1 7 3

This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second order functionals, where the arguments are numerical functions and the values, when defined, are natural numbers. This theory is somewhat special, for to some extent it can be reduced to first order theory, but when properly extended and relativized it requires the full machinery of higher order computations. In the theory of recursive monotonic functionals the author formulates a reasonable notion of computation which provides the right frame for what appears to be a convincing form of the extended Church's thesis. At the same time, the theory provides sufficient room to formulate the classical results that are usually derived in terms of singular functionals. Presented are complete proofs of Gandy's selector theorem, Kleene's theorem on hyperarithmetical predicates, and Grilliot's theorem on effectively discontinuous functionals.

Matrix Logic and Mind

1st Edition
February 12, 1992
A. Stern
English
eBook
9 7 8 0 0 8 0 9 3 4 1 3 6

In this revolutionary work, the author sets the stage for the science ofthe 21st Century, pursuing an unprecedented synthesis of fields previouslyconsidered unrelated. Beginning with simple classical concepts, he endswith a complex multidisciplinary theory requiring a high level ofabstraction. The work progresses across the sciences in severalmultidiscipli... directions: Mathematical logic, fundamental physics,computer science and the theory of intelligence. Extraordinarily enough,the author breaks new ground in all these fields.In the field offundamental physics the author reaches the revolutionary conclusion thatphysics can be viewed and studied as logic in a fundamental sense, ascompared with Einstein's view of physics as space-time geometry. This opensnew, exciting prospects for the study of fundamental interactions. Aformulation of logic in terms of matrix operators and logic vector spacesallows the author to tackle for the first time the intractable problem ofcognition in a scientific manner. In the same way as the findings ofHeisenberg and Dirac in the 1930s provided a conceptual and mathematicalfoundati... for quantum physics, matrix operator logic supports an importantbreakthroug... in the study of the physics of the mind, which is interpretedas a fractal of quantum mechanics. Introducing a concept of logic quantumnumbers, the author concludes that the problem of logic and theintelligence code in general can be effectively formulated as eigenvalueproblems similar to those of theoretical physics. With this important leapforward in the study of the mechanism of mind, the author concludes thatthe latter cannot be fully understood either within classical or quantumnotions. A higher-order covariant theory is required to accommodate thefundamental effect of high-level intelligence. The landmark resultsobtained by the author will have implications and repercussions for thevery foundations of science as a whole. Moreover, Stern's Matrix Logic issuitable for a broad spectrum of practical applications in contemporarytechnolo...

Classical Recursion Theory

1st Edition
Volume 125
February 4, 1992
P. Odifreddi
English
eBook
9 7 8 0 0 8 0 8 8 6 5 9 6

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.

Classification Theory

2nd Edition
Volume 92
December 6, 1990
S. Shelah
English
eBook
9 7 8 0 0 8 0 8 8 0 2 4 2

In this research monograph, the author's work on classification and related topics are presented. This revised edition brings the book up to date with the addition of four new chapters as well as various corrections to the 1978 text.The additional chapters X - XIII present the solution to countable first order T of what the author sees as the main test of the theory. In Chapter X the Dimensional Order Property is introduced and it is shown to be a meaningful dividing line for superstable theories. In Chapter XI there is a proof of the decomposition theorems. Chapter XII is the crux of the matter: there is proof that the negation of the assumption used in Chapter XI implies that in models of T a relation can be defined which orders a large subset of m

Model Theory

3rd Edition
Volume 73
June 12, 1990
C.C. Chang + 1 more
English
eBook
9 7 8 0 0 8 0 8 8 0 0 7 5

Since the second edition of this book (1977), Model Theory has changed radically, and is now concerned with fields such as classification (or stability) theory, nonstandard analysis, model-theoretic algebra, recursive model theory, abstract model theory, and model theories for a host of nonfirst order logics. Model theoretic methods have also had a major impact on set theory, recursion theory, and proof theory.This new edition has been updated to take account of these changes, while preserving its usefulness as a first textbook in model theory. Whole new sections have been added, as well as new exercises and references. A number of updates, improvements and corrections have been made to the main text.

Logic Colloquium '88

1st Edition
Volume 127
August 4, 1989
R. Ferro + 3 more
English
eBook
9 7 8 0 0 8 0 8 8 7 6 7 8

The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today.As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''.

Computability, Complexity, Logic

1st Edition
Volume 128
July 1, 1989
E. Börger
English
eBook
9 7 8 0 0 8 0 8 8 7 0 4 3

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems.The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory.It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions.

Constructivism in Mathematics, Vol 2

1st Edition
Volume 123
November 1, 1988
A.S. Troelstra + 1 more
English
Hardback
9 7 8 0 4 4 4 7 0 3 5 8 3
eBook
9 7 8 0 0 8 0 9 5 5 1 0 0

Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and located sets. The text then examines proof theory of intuitionistic logic, theory of types and constructive set theory, and choice sequences. The book elaborates on semantical completeness, sheaves, sites, and higher-order logic, and applications of sheaf models. Topics include a derived rule of local continuity, axiom of countable choice, forcing over sites, sheaf models for higher-order logic, and complete Heyting algebras. The publication is a valuable reference for mathematicians and researchers interested in mathematics and logic.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health