You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Analysis as an independent subject was created as part of the scientific revolution in the seventeenth century. Kepler, Galileo, Descartes, Fermat, Huygens, Newton, and Leibniz, to name but a few, contributed to its genesis. Since the end of the seventeenth century, the historical progress of mathematical analysis has displayed unique vitality and momentum. No other mathematical field has so profoundly influenced the development of modern scientific thinking. Describing this multidimensional historical development requires an in-depth discussion which includes a reconstruction of general trends and an examination of the specific problems. This volume is designed as a collective work of autho...
The Kenneth May Lectures have never before been published in book form Important contributions to the history of mathematics by well-known historians of science Should appeal to a wide audience due to its subject area and accessibility
Mathematics and the Divine seem to correspond to diametrically opposed tendencies of the human mind. Does the mathematician not seek what is precisely defined, and do the objects intended by the mystic and the theologian not lie beyond definition? Is mathematics not Man's search for a measure, and isn't the Divine that which is immeasurable ?The present book shows that the domains of mathematics and the Divine, which may seem so radically separated, have throughout history and across cultures, proved to be intimately related. Religious activities such as the building of temples, the telling of ritual stories or the drawing of enigmatic figures all display distinct mathematical features. Majo...
This is the second volume of the procedings of the second European Congress of Mathematics. Volume I presents the speeches delivered at the Congress, the list of lectures, and short summaries of the achievements of the prize winners. Together with volume II it contains a collection of contributions by the invited lecturers. Finally, volume II also presents reports on some of the Round Table discussions. This two-volume set thus gives an overview of the state of the art in many fields of mathematics and is therefore of interest to every professional mathematician. Contributors: Vol. I: N. Alon, L. Ambrosio, K. Astala, R. Benedetti, Ch. Bessenrodt, F. Bethuel, P. Bjørstad, E. Bolthausen, J. Bricmont, A. Kupiainen, D. Burago, L. Caporaso, U. Dierkes, I. Dynnikov, L.H. Eliasson, W.T. Gowers, H. Hedenmalm, A. Huber, J. Kaczorowski, J. Kollár, D.O. Kramkov, A.N. Shiryaev, C. Lescop, R. März. Vol. II: J. Matousek, D. McDuff, A.S. Merkurjev, V. Milman, St. Müller, T. Nowicki, E. Olivieri, E. Scoppola, V.P. Platonov, J. Pöschel, L. Polterovich , L. Pyber, N. Simányi, J.P. Solovej, A. Stipsicz, G. Tardos, J.-P. Tignol, A.P. Veselov, E. Zuazua.
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics. This edition of his collected papers consists of two volumes. The present Volume II covers Ernst Zermelo’s work on the calculus of variations, applied mathematics, and physics. The papers are each presented in their original language together with an English translation, the versions facing each other on opposite pages. Each paper or coherent group of papers is preceded by an introductory note provided by an acknowledged expert in the field who comments on the historical background, motivation, accomplishments, and influence.
Gerhard Gentzen (1909–1945) is the founder of modern structural proof theory. His lasting methods, rules, and structures resulted not only in the technical mathematical discipline called “proof theory” but also in verification programs that are essential in computer science. The appearance, clarity, and elegance of Gentzen's work on natural deduction, the sequent calculus, and ordinal proof theory continue to be impressive even today. The present book gives the first comprehensive, detailed, accurate scientific biography expounding the life and work of Gerhard Gentzen, one of our greatest logicians, until his arrest and death in Prague in 1945. Particular emphasis in the book is put on...
The year 2007 marks the 300th anniversary of the birth of one of the Enlightenment's most important mathematicians and scientists, Leonhard Euler. This volume is a collection of 24 essays by some of the world's best Eulerian scholars from seven different countries about Euler, his life and his work. Some of the essays are historical, including much previously unknown information about Euler's life, his activities in the St. Petersburg Academy, the influence of the Russian Princess Dashkova, and Euler's philosophy. Others describe his influence on the subsequent growth of European mathematics and physics in the 19th century. Still others give technical details of Euler's innovations in probab...
The ancient Celtic world evokes debate, discussion, romanticism and mythicism. On the one hand it represents a specialist area of archaeological interest, on the other, it has a wide general appeal. The Celtic world is accessible through archaeology, history, linguistics and art history. Of these disciplines, art history offers the most direct message to a wider audience. This volume of 37 papers brings together a truly international group of pre-eminent specialists in the field of Celtic art and Celtic studies. It is a benchmark volume the like of which has not been seen since the publication of Paul Jacobsthal’s Early Celtic Art in 1944. The papers chart the history of attempts to unders...
In the early decades of the twentieth century, engagement with science was commonly used as an emblem of modernity. This phenomenon is now attracting increasing attention in different historical specialties. Being Modern builds on this recent scholarly interest to explore engagement with science across culture from the end of the nineteenth century to approximately 1940. Addressing the breadth of cultural forms in Britain and the western world from the architecture of Le Corbusier to working class British science fiction, Being Modern paints a rich picture. Seventeen distinguished contributors from a range of fields including the cultural study of science and technology, art and architecture, English culture and literature examine the issues involved. The book will be a valuable resource for students, and a spur to scholars to further examination of culture as an interconnected web of which science is a critical part, and to supersede such tired formulations as 'Science and culture'.