Books in Theory and mathematics general

Books Journals

Differential Equations with Applications to Mathematical Physics

1st Edition
Volume 192
March 5, 1993
W. F. Ames
English
eBook
9 7 8 0 0 8 0 9 5 8 7 7 4

Scientific Computing with Automatic Result Verification

1st Edition
Volume 189
December 3, 1992
Adams
English
eBook
9 7 8 0 0 8 0 9 5 8 7 5 0

Analysis and Control of Nonlinear Infinite Dimensional Systems

1st Edition
Volume 190
November 26, 1992
Barbu
English
eBook
9 7 8 0 0 8 0 9 5 8 7 6 7

Stability and Time-Optimal Control of Hereditary Systems

1st Edition
Volume 188
May 22, 1992
Chukwu
English
eBook
9 7 8 0 0 8 0 9 5 8 7 4 3

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.

Nonlinear Equations in the Applied Sciences

1st Edition
Volume 185
August 16, 1991
W. F. Ames
English
eBook
9 7 8 0 0 8 0 9 5 8 7 2 9

Differential Equations and Mathematical Physics: Proceedings of the International Conference held at the University of Alabama at Birmingham, March 15-21, 1990

1st Edition
Volume 186
August 16, 1991
Bennewitz
English
eBook
9 7 8 0 0 8 0 9 5 8 7 3 6

Decentralized Control of Complex Systems

1st Edition
Volume 184
January 28, 1991
S?iljak
English
eBook
9 7 8 0 0 8 0 9 5 8 7 1 2

Formal Models and Semantics

1st Edition
Volume B
October 24, 1990
Bozzano G Luisa
English
eBook
9 7 8 0 0 8 0 9 3 3 9 2 4

The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing.

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health