"Most mathematicians, when asked about the nature and meaning of mathematics, vacillate between the two unrealistic poles of Platonism and formalism. By looking carefully at what mathematicians really do when they are doing mathematics, Reuben Hersh offers an escape from this tr…
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…
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…
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 …
African Americans in Mathematics II: Fourth Conference for African-American Researcher…
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
Council 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
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…
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…
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…
Mathämatiques, Informatique, Physique: Au fil des TIPE
by Decreusefond, Laurent, Maruani, Alain
fromSCOPOS
Complexity and Real Computation
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…