Skip navigation

Mathematics and Physics

Mathematics and Physics

  • Page 5 of 7
Categories, Lambdas, and Dynamic Logic

Language in Action demonstrates the viability of mathematical research into the foundations of categorial grammar, a topic at the border between logic and linguistics. Since its initial publication it has become the classic work in the foundations of categorial grammar. A new introduction to this paperback edition updates the open research problems and records relevant results through pointers to the literature.

A Course in Game Theory presents the main ideas of game theory at a level suitable for graduate students and advanced undergraduates, emphasizing the theory's foundations and interpretations of its basic concepts. The authors provide precise definitions and full proofs of results, sacrificing generalities and limiting the scope of the material in order to do so. The text is organized in four parts: strategic games, extensive games with perfect information, extensive games with imperfect information, and coalitional games. It includes over 100 exercises.

At the 1900 International Congress of Mathematicians, held that year in Paris, the German mathematician David Hilbert put forth a list of 23 unsolved problems that he saw as being the greatest challenges for twentieth-century mathematics. Hilbert's 10th problem, to find a method (what we now call an algorithm) for deciding whether a Diophantine equation has an integral solution, was solved by Yuri Matiyasevich in 1970. Proving the undecidability of Hilbert's 10th problem is clearly one of the great mathematical results of the century.

A Critical Examination of Bayesian Confirmation Theory

There is currently no viable alternative to the Bayesian analysis of scientific inference, yet the available versions of Bayesianism fail to do justice to several aspects of the testing and confirmation of scientific hypotheses. Bayes or Bust? provides the first balanced treatment of the complex set of issues involved in this nagging conundrum in the philosophy of science.

These original essays summarize a decade of fruitful research and curriculum development using the LISP-derived language Logo.

An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence

Genetic algorithms are playing an increasingly important role in studies of complex adaptive systems, ranging from adaptive agents in economic theory to the use of machine learning techniques in the design of complex devices such as aircraft turbines and integrated circuits. Adaptation in Natural and Artificial Systems is the book that initiated this field of study, presenting the theoretical foundations and exploring applications.

Analysis

Fundamentals of Mathematics represents a new kind of mathematical publication. While excellent technical treatises have been written about specialized fields, they provide little help for the nonspecialist; and other books, some of them semipopular in nature, give an overview of mathematics while omitting some necessary details.

Geometry

Fundamentals of Mathematics represents a new kind of mathematical publication. While excellent technical treatises have been written about specialized fields, they provide little help for the nonspecialist; and other books, some of them semipopular in nature, give an overview of mathematics while omitting some necessary details.

This self-contained and formal exposition of the theory and applications of pseudo-differential operators is addressed not only to specialists and graduate students but to advanced undergraduates as well. The only prerequisite is a solid background in calculus, with all further preparation for the study of the subject provided by the book's first chapter.

  • Page 5 of 7