This contributed volume explores the renaissance of general relativity after World War II, when it transformed from a marginal theory into a cornerstone of modern physics. Chapters explore key historical processes related to the theory of general relativity, in addition to presenting a thorough treatment of the relevant science behind these episodes. A broad historiographical framework is introduced first, thus providing the broad context in which the given computational approaches and case studies occurred. Written by an international and interdisciplinary group of expert authors, these chapters will bring readers to a more complete understanding of Einstein's theory. Specific topics include: Social and citation networks The Fock-Infeld dispute Wheeler's turn to gravitation theory The position of general relativity in theories of fundamental interactions The pursuit of a quantum theory of gravity The emergence of dark matter in relation to cosmological models Institutional frameworks for gravitational wave search in Europe The Renaissance of General Relativity in Context is ideal for historians, philosophers, and sociologists of science. Students and researchers in physics will also be interested in the topics explored.

Steps forward in mathematics often reverberate in other scientific disciplines, and give rise to innovative conceptual developments or find surprising technological applications. This volume brings to the forefront some of the proponents of the mathematics of the twentieth century, who have put at our disposal new and powerful instruments for investigating the reality around us. The portraits present people who have impressive charisma and wide-ranging cultural interests, who are passionate about defending the importance of their own research, are sensitive to beauty, and attentive to the social and political problems of their times. What we have sought to document is mathematics' central position in the culture of our day. Space has been made not only for the great mathematicians but also for literary texts, including contributions by two apparent interlopers, Robert Musil and Raymond Queneau, for whom mathematical concepts represented a valuable tool for resolving the struggle between 'soul and precision.'

Karl Menger (1902--1985), a pure mathematician of distinction, also took an active interest in both philosophy and economics. In this memoir, which he was composing at the time of his death, he relates how all these subjects developed and flourished against the Viennese background (itself described in depth and with affection), and did so despite the political developments of the '20s and '30s, which depressed but did not silence him. He continued his work in the United States. The memoir describes his membership of the Vienna Circle (the scientifically minded philosophers that gathered around Moritz Schlick) for whom he was an invaluable intermediary, bringing them into contact with Brouwer's intuitionism, with the work of the Polish logicians, especially that of Tarski, but more generally with rigorous mathematical thinking. Indeed, the other Viennese group described here is the Mathematical Colloquium, which he founded, whose Proceedings (still read) show it to have been a powerhouse of ideas. There are also valuable chapters on philosophy and mathematics in the Poland of the '20s and '30s and the U.S. of the '30s and '40s. The memoir devotes particular attention to Wittgenstein (with whose family Menger was acquainted) and to GAdel, whom he was instrumental in bringing to America. The genesis of Menger's own writings on philosophy is also described and the work abounds in mathematical examples lucidly applied to that subject. This volume (which can now be placed beside the two by Menger already published in the Vienna Circle Collection) gives an unequalled impression of the fruitful interdisciplinarity of the tradition to which he partly belonged and partly created. It testifiesboth to Menger's power to inspire and to the critical eye he always turned on even the philosophers he most approved of. A brief account of his life is given in an Introduction by the Editors (all of whom knew him personally), and his important contribution to the social sciences -- only touched on in the text -- is elucidated by Professor Lionello Punzo.

This book presents a detailed description of the development of statistical theory. In the mid twentieth century, the development of mathematical statistics underwent an enduring change, due to the advent of more refined mathematical tools. New concepts like sufficiency, superefficiency, adaptivity etc. motivated scholars to reflect upon the interpretation of mathematical concepts in terms of their real-world relevance. Questions concerning the optimality of estimators, for instance, had remained unanswered for decades, because a meaningful concept of optimality (based on the regularity of the estimators, the representation of their limit distribution and assertions about their concentration by means of Anderson's Theorem) was not yet available. The rapidly developing asymptotic theory provided approximate answers to questions for which non-asymptotic theory had found no satisfying solutions. In four engaging essays, this book presents a detailed description of how the use of mathematical methods stimulated the development of a statistical theory. Primarily focused on methodology, questionable proofs and neglected questions of priority, the book offers an intriguing resource for researchers in theoretical statistics, and can also serve as a textbook for advanced courses in statisticc.

Although not so well known today, Book 4 of Pappus Collection is one of the most important and influential mathematical texts from antiquity. The mathematical vignettes form a portrait of mathematics during the Hellenistic "Golden Age," illustrating central problems for example, squaring the circle; doubling the cube; and trisecting an angle varying solution strategies, and the different mathematical styles within ancient geometry.

This volume provides an English translation of Collection 4, in full, for the first time, including: a new edition of the Greek text, based on a fresh transcription from the main manuscript and offering an alternative to Hultsch 's standard edition, notes to facilitate understanding of the steps in the mathematical argument, a commentary highlighting aspects of the work that have so far been neglected, and supporting the reconstruction of a coherent plan and vision within the work, bibliographical references for further study.

In this innovative and groundbreaking work, the structure and evolution of scientific theories is examined in meticulous detail and rigorously analysed as never before. For the first time, scientific revolutions are presented as a natural consequence of the evolution of scientific theories and described with mathematical precision. Many new techniques are introduced and with the more precise understanding of the nature of the scientific enterprise obtained thereby, old philosophical problems are cast into a new light and shown to be susceptible to the same rigorous approach by which they may be completely solved. Numerous real examples from the sciences are given and discussed in detail, culminating in some startling results concerning the future development of science and that Holy Grail of physics, the possibility of a final, all-embracing Theory of Everything. Written in an eloquent and engaging style interspersed with occasional flashes of delicious humour, this book is destined to become a classic in the Philosophy of Science. It will doubtless be appreciated equally by philosophers and scientists alike as well as a wider, less specialised audience. Truly an important document and a major contribution to the literature; this is a work for the twenty-first century.

This a history of the use of Bayes' theorem over 150 years, from its discovery by Thomas Bayes to the rise of the statistical competitors in the first third of the twentieth century. In the new edition, the author's concern is the foundations of statistics, in particular, the examination of the development of one of the fundamental aspects of Bayesian statistics. The reader will find new sections on contributors to the theory omitted from the first edition, which will shed light on the use of inverse probability by nineteenth century authors. In addition, there is amplified discussion of relevant work from the first edition. This text will be a valuable reference source in the wider field of the history of statistics and probability.

This book offers an alternative to current philosophy of mathematics: heuristic philosophy of mathematics. In accordance with the heuristic approach, the philosophy of mathematics must concern itself with the making of mathematics and in particular with mathematical discovery. In the past century, mainstream philosophy of mathematics has claimed that the philosophy of mathematics cannot concern itself with the making of mathematics but only with finished mathematics, namely mathematics as presented in published works. On this basis, mainstream philosophy of mathematics has maintained that mathematics is theorem proving by the axiomatic method. This view has turned out to be untenable because of Goedel's incompleteness theorems, which have shown that the view that mathematics is theorem proving by the axiomatic method does not account for a large number of basic features of mathematics. By using the heuristic approach, this book argues that mathematics is not theorem proving by the axiomatic method, but is rather problem solving by the analytic method. The author argues that this view can account for the main items of the mathematical process, those being: mathematical objects, demonstrations, definitions, diagrams, notations, explanations, applicability, beauty, and the role of mathematical knowledge.

This book contains a compendium of 25 papers published since the 1970s dealing with pi and associated topics of mathematics and computer science. The collection begins with a Foreword by Bruce Berndt. Each contribution is preceded by a brief summary of its content as well as a short key word list indicating how the content relates to others in the collection. The volume includes articles on actual computations of pi, articles on mathematical questions related to pi (e.g., "Is pi normal?"), articles presenting new and often amazing techniques for computing digits of pi (e.g., the "BBP" algorithm for pi, which permits one to compute an arbitrary binary digit of pi without needing to compute any of the digits that came before), papers presenting important fundamental mathematical results relating to pi, and papers presenting new, high-tech techniques for analyzing pi (i.e., new graphical techniques that permit one to visually see if pi and other numbers are "normal"). This volume is a companion to Pi: A Source Book whose third edition released in 2004. The present collection begins with 2 papers from 1976, published by Eugene Salamin and Richard Brent, which describe "quadratically convergent" algorithms for pi and other basic mathematical functions, derived from some mathematical work of Gauss. Bailey and Borwein hold that these two papers constitute the beginning of the modern era of computational mathematics. This time period (1970s) also corresponds with the introduction of high-performance computer systems (supercomputers), which since that time have increased relentlessly in power, by approximately a factor of 100,000,000, advancing roughly at the same rate as Moore's Law of semiconductor technology. This book may be of interest to a wide range of mathematical readers; some articles cover more advanced research questions suitable for active researchers in the field, but several are highly accessible to undergraduate mathematics students.

David Singmaster believes in the presentation and teaching of mathematics as recreation. When the Rubik's Cube took off in 1978, based on thinly disguised mathematics, he became seriously interested in mathematical puzzles which would provide mental stimulation for students and professional mathematicians. He has not only published the standard mathematical solution for the Rubik's cube still in use today, but he has also become the de facto scribe and noted chronicler of the recreational mathematics puzzles themselves.Dr Singmaster is also an ongoing lecturer of recreational mathematics around the globe, a noted mechanical puzzle collector, owner of thousands of books related to recreational mathematical puzzles and the 'go to' source for the history of individual mathematical puzzles.This set of two books provides readers with an adventure into previously unknown origins of ancient puzzles, which could be traced back to their Medieval, Chinese, Arabic and Indian sources. The puzzles are fully described, many with illustrations, adding interest to their history and relevance to contemporary mathematical concepts. These are musings of a respected historian of recreational mathematics.

This volume contains seventeen papers that were presented at the 2015 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/La Societe Canadienne d'Histoire et de Philosophie des Mathematiques, held in Washington, D.C. In addition to showcasing rigorously reviewed modern scholarship on an interesting variety of general topics in the history and philosophy of mathematics, this meeting also honored the memories of Jacqueline (Jackie) Stedall and Ivor Grattan-Guinness; celebrated the Centennial of the Mathematical Association of America; and considered the importance of mathematical communities in a special session. These themes and many others are explored in these collected papers, which cover subjects such as New evidence that the Latin translation of Euclid's Elements was based on the Arabic version attributed to al-Hajjaj Work done on the arc rampant in the seventeenth century The history of numerical methods for finding roots of nonlinear equations An original play featuring a dialogue between George Boole and Augustus De Morgan that explores the relationship between them Key issues in the digital preservation of mathematical material for future generations A look at the first twenty-five years of The American Mathematical Monthly in the context of the evolving American mathematical community The growth of Math Circles and the unique ways they are being implemented in the United States Written by leading scholars in the field, these papers will be accessible to not only mathematicians and students of the history and philosophy of mathematics, but also anyone with a general interest in mathematics.

This book collects the papers of the conference held in Berlin, Germany, 27-29 August 2012, on 'Space, Geometry and the Imagination from Antiquity to the Modern Age'. The conference was a joint effort by the Max Planck Institute for the History of Science (Berlin) and the Centro die Ricerca Matematica Ennio De Giorgi (Pisa).

This book outlines the scientific career of Arto Salomaa, a pioneer in theoretical computer science and mathematics. The author first interviewed the subject and his family and collaborators, and he then researched this fascinating biography of an intellectual who was key in the development of these fields. Early chapters progress chronologically from Academician Salomaa's origins, childhood, and education to his professional successes in science, teaching, and publishing. His most impactful direct research efforts have been in the areas of automata and formal languages. Beyond that he has influenced many more scientists and professionals through collaborations, teaching, and books on topics such as biocomputing and cryptography. The author offers insights into Finnish history, culture, and academia, while historians of computer science will appreciate the vignettes describing some of the people who have shaped the field from the 1950s to today. The author and his subject return throughout to underlying themes such as the importance of family and the value of longstanding collegial relationships, while the work and achievements are leavened with humor and references to interests such as music, sport, and the sauna.

The book is aimed at people working in number theory or at least interested in this part of mathematics. It presents the development of the theory of algebraic numbers up to the year 1950 and contains a rather complete bibliography of that period. The reader will get information about results obtained before 1950. It is hoped that this may be helpful in preventing rediscoveries of old results, and might also inspire the reader to look at the work done earlier, which may hide some ideas which could be applied in contemporary research.

This book presents a history of mathematic between 1607 and 1865 in that part of mainland North America which is north of Mexico but excludes the present-day Canada and Alaska. Unlike most other histories of mathematics now available, the emphasis is on the gradual emergence of "mathematics for all" programs and associated changes in thinking which drove this emergence. The book takes account of changing ideas about intended, implemented and attained mathematics curricula for learners of all ages. It also pays attention to the mathematics itself, and to how it was taught and learned.

This unique volume summarizes with a historical perspective several of the major scientific achievements of Ludwig Faddeev, with a foreword by Nobel Laureate C N Yang. The volume that spans over fifty years of Faddeev's career begins where he started his own scientific research, in the subject of scattering theory and the three-body problem. It then continues to describe Faddeev's contributions to automorphic functions, followed by an extensive account of his many fundamental contributions to quantum field theory including his original article on ghosts with Popov. Faddeev's contributions to soliton theory and integrable models are then described, followed by a survey of his work on quantum groups. The final scientific section is devoted to Faddeev's contemporary research including articles on his long-term interest in constructing knotted solitons and understanding confinement. The volume concludes with his personal view on science and mathematical physics in particular.

Nonstandard Analysis enhances mathematical reasoning by introducing new ways of expression and deduction. Distinguishing between standard and nonstandard mathematical objects, its inventor, the eminent mathematician Abraham Robinson, settled in 1961 the centuries-old problem of how to use infinitesimals correctly in analysis. Having also worked as an engineer, he saw not only that his method greatly simplified mathematically proving and teaching, but also served as a powerful tool in modelling, analyzing and solving problems in the applied sciences, among others by effective rescaling and by infinitesimal discretizations.

This book reflects the progress made in the forty years since the appearance of Robinson s revolutionary book Nonstandard Analysis: in the foundations of mathematics and logic, number theory, statistics and probability, in ordinary, partial and stochastic differential equations and in education. The contributions are clear and essentially self-contained."

This book looks at classic puzzles from the perspective of their structures and what they tell us about the brain. It uses the work on the neuroscience of mathematics from Dehaene, Butterworth, Lakoff, Nunez, and many others as a lens to understand the ways in which puzzles reflect imaginative processes blended with rational ones. The book is not about recreational or puzzle-based mathematics in and of itself but rather about what the classic puzzles tell us about the mathematical imagination and its impact on the discipline. It delves into the history of classic math puzzles, deconstructing their raison d'etre and describing their psychological features, so that their nature can be fleshed out in order to help understand the mathematical mind. This volume is the first monographic treatment of the psychological nature of puzzles in mathematics. With its user-friendly technical level of discussion, it is of interest to both general readers and those who engage in the disciplines of mathematics, psychology, neuroscience, and/or anthropology. It is also ideal as a textbook source for courses in recreational mathematics, or as reference material in introductory college math courses.

Kuo-Tsai Chen (1923-1987) is best known to the mathematics community for his work on iterated integrals and power series connections in conjunction with his research on the cohomology of loop spaces. His work is intimately related to the theory of minimal models as developed by Dennis Sullivan, whose own work was in part inspired by the research of Chen. An outstanding and original mathematician, Chen's work falls naturally into three periods: his early work on group theory and links in the three sphere; his subsequent work on formal differential equations, which gradually developed into his most powerful and important work; and his work on iterated integrals and homotopy theory, which occupied him for the last twenty years of his life. The goal of Chen's iterated integrals program, which is a de Rham theory for path spaces, was to study the interaction of topology and analysis through path integration. The present volume is a comprehensive collection of Chen's mathematical publications preceded by an article, "The Life and Work of Kuo-Tsai Chen," placing his work and research interests into their proper context and demonstrating the power and scope of his influence.

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.

This engaging book places Leonardo da Vinci's scientific achievements within the wider context of the rapid development that occurred during the Renaissance. It demonstrates how his contributions were not in fact born of isolated genius, but rather part of a rich period of collective advancement in science and technology, which began at least 50 years prior to his birth. Readers will discover a very special moment in history, when creativity and imagination were changing the future-shaping our present. They will be amazed to discover how many technological inventions had already been conceived or even designed by the engineers and inventors who preceded Leonardo, such as Francesco di Giorgio and Taccola, the so-called Siena engineers. This engaging volume features a wealth of illustrations from a variety of original sources, such as manuscripts and codices, enabling the reader to see and judge for him or herself the influence that other Renaissance engineers and inventors had on Leonardo.

Two veteran math educators demonstrate how some "magnificent mistakes" had profound consequences for our understanding of mathematics' key concepts.
In the nineteenth century, English mathematician William Shanks spent fifteen years calculating the value of pi, setting a record for the number of decimal places. Later, his calculation was reproduced using large wooden numerals to decorate the cupola of a hall in the Palais de la Decouverte in Paris. However, in 1946, with the aid of a mechanical desk calculator that ran for seventy hours, it was discovered that there was a mistake in the 528th decimal place. Today, supercomputers have determined the value of pi to trillions of decimal places.
This is just one of the amusing and intriguing stories about mistakes in mathematics in this layperson's guide to mathematical principles. In another example, the authors show that when we "prove" that every triangle is isosceles, we are violating a concept not even known to Euclid - that of "betweenness." And if we disregard the time-honored Pythagorean theorem, this is a misuse of the concept of infinity. Even using correct procedures can sometimes lead to absurd - but enlightening - results.
Requiring no more than high-school-level math competency, this playful excursion through the nuances of math will give you a better grasp of this fundamental, all-important science.

This book presents Goedel's incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert's Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.

This book explores the most significant computational methods and the history of their development. It begins with the earliest mathematical / numerical achievements made by the Babylonians and the Greeks, followed by the period beginning in the 16th century. For several centuries the main scientific challenge concerned the mechanics of planetary dynamics, and the book describes the basic numerical methods of that time. In turn, at the end of the Second World War scientific computing took a giant step forward with the advent of electronic computers, which greatly accelerated the development of numerical methods. As a result, scientific computing became established as a third scientific method in addition to the two traditional branches: theory and experimentation. The book traces numerical methods' journey back to their origins and to the people who invented them, while also briefly examining the development of electronic computers over the years. Featuring 163 references and more than 100 figures, many of them portraits or photos of key historical figures, the book provides a unique historical perspective on the general field of scientific computing - making it a valuable resource for all students and professionals interested in the history of numerical analysis and computing, and for a broader readership alike.