Books in Theory and mathematics

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...

Mechanical Intelligence

1st Edition
Volume 1
January 30, 1992
D.C. Ince
English
Hardback
9 7 8 0 4 4 4 8 8 0 5 8 1

The collected works of Turing, including a substantial amount of unpublished material, will comprise four volumes: Mechanical Intelligence, Pure Mathematics, Morphogenesis and Mathematical Logic. Alan Mathison Turing (1912-1954) was a brilliant man who made major contributions in several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. Actually, he was a pioneer researcher in computer architecture and software engineering; his work in pure mathematics and mathematical logic extended considerably further and his last work, on morphogenesis in plants, is also acknowledged as being of the greatest originality and of permanent importance. He was one of the leading figures in Twentieth-century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. What is maybe surprising about these papers is that although they were written decades ago, they address major issues which concern researchers today.

Pure Mathematics

1st Edition
Volume 2
January 30, 1992
J.L. Britton
English
Hardback
9 7 8 0 4 4 4 8 8 0 5 9 8

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

Self-Modifying Systems in Biology and Cognitive Science

1st Edition
Volume 6
March 20, 1991
G. Kampis
English
eBook
9 7 8 0 0 8 0 9 1 2 3 9 4

The theme of this book is the self-generation of information by the self-modification of systems. The author explains why biological and cognitive processes exhibit identity changes in the mathematical and logical sense. This concept is the basis of a new organizational principle which utilizes shifts of the internal semantic relations in systems. There are mathematical discussions of various classes of systems (Turing machines, input-output systems, synergetic systems, non-linear dynamics etc), which are contrasted with the author's new principle. The most important implications of this include a new conception on the nature of information and which also provides a new and coherent conceptual view of a wide class of natural systems. This book merits the attention of all philosophers and scientists concerned with the way we create reality in our mathematical representations of the world and the connection those representations have with the way things really are.

Language in Action

1st Edition
Volume 130
February 12, 1991
J. van Benthem
English
eBook
9 7 8 0 0 8 0 9 3 4 2 2 8

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory.The book aims to demonstrate to fellow logicians that the resulting applied lambda calculus has intrinsic logical interest. In the final analysis, the idea is not just to `break the syntactic code' of natural languages but to understand the cognitive functioning of the human mind.

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.

Algorithms and Complexity

1st Edition
Volume A
September 12, 1990
Bozzano G Luisa
English
Hardback
9 7 8 0 4 4 4 8 8 0 7 1 0
eBook
9 7 8 0 0 8 0 9 3 3 9 1 7

This first part presents chapters on models of computation, complexity theory, data structures, and efficient computation in many recognized sub-disciplines of Theoretical Computer Science.

Related subjects

Analysis of algorithms and problem complexity

Logics and meanings of programs

Mathematical logic and formal languages

Natural computation

Quantum computing

Theory and mathematics general

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health