This tenth volume in ""The Poincare Seminar Series"" describes recent developments at one of the most challenging frontiers in statistical physics - the deeply related fields of glassy dynamics, especially near the glass transition, and of the statics and dynamics of granular sy…
by Conference for African-American Researchers in the Mathematical Sciences, Dean, Nathaniel, McZeal, Cassandra M., Williams, Pamela J., Conference for African-American Researchers in the Mathematical Sciences
by Council for African American Researchers in the Mathematical Sciences, Conference for African-American Researchers in the Mathematical Sciences, Nkwanta, Asamoah, N'Gué ré kata, Gaston M., Conference for African-American Researchers in the Mathematical Sciences
by Blum, Lenore ., Cucker, Felipe, Shub, Michael, Smale, Steve
The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is that it provides an inadequate foundation for modern …
John P. Burgess presents an illuminating study of the nature of mathematical rigour and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerised formal proofs, and sur…
This is a first course in propositional modal logic, suitable for mathematicians, computer scientists and philosophers. Emphasis is placed on semantic aspects, in the form of labelled transition structures, rather than on proof theory. The book covers all the basic material - pr…
The International Symposium on Generalized Functions and Their Applications was organized by the Department of Mathematics, Banaras Hindu University, and held December 23-26, 1991, on the occasion of the Platinum Jubilee Celebration of the university. More than a hundred mathema…
Master Java 5.0 and TDD Together: Build More Robust, Professional Software Master Java 5.0, object-oriented design, and Test-Driven Development (TDD) by learning them together. Agile Java weaves all three into a single coherent approach to building professional, robust software …
In this volume specialists in mathematics, physics, and linguistics present the first comprehensive analysis of the ideas and influence of Hermann G. Gra€mann (1809-1877), the remarkable universalist whose work recast the foundations of these disciplines and shaped the course of…
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions abou…
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions abou…
In recent years, mathematical logic has developed in many directions, the initial unity of its subject matter giving way to a myriad of seemingly unrelated areas. The articles collected here, which range from historical scholarship to recent research in geometric model theory, s…
