Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
What Is Mathematical Logic?
A serious introductory treatment geared toward non-logicians, this survey traces the development of mathematical logic from ancient to modern times and discusses the work of Planck, Einstein, Bohr, Pauli, Heisenberg, Dirac, and others. 1972 edition.
The Emergence of Number
This book presents detailed studies of the development of three kinds of number. In the first part the development of the natural numbers from Stone-Age times right up to the present day is examined not only from the point of view of pure history but also taking into account archaeological, anthropological and linguistic evidence. The dramatic change caused by the introduction of logical theories of number in the 19th century is also treated and this part ends with a non-technical account of the very latest developments in the area of Gdel's theorem. The second part is concerned with the development of complex numbers and tries to answer the question as to why complex numbers were not intr...
Proof, Computation and Agency
Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other.
Chinese Mathematics
This volume presents a record of mathematical developments in China over a period of more than 2000 years. It goes into greater detail than ever previously available in English. Because the emphasis in Chinese mathematics is on algorithms rather than proofs, readers will find results such as Bezout's theorem and Horner's method appearing in a very different context from the familiar tradition of Euclidean deductive geometry. The Chinese always preferred algebraic methods, and by the 13th century A.D. they were the best algebraists in the world. The original Chinese point of view is retained by the translators. They have supplemented the text with short explanatory comments and references to all relevant reference sources available in the West. An extensive bibliography is included, creating a work which will appeal to general readers interested in Chinese history as well as historians of mathematics.
Logical Methods
The twenty-six papers in this volume reflect the wide and still expanding range of Anil Nerode's work. A conference on Logical Methods was held in honor of Nerode's sixtieth birthday (4 June 1992) at the Mathematical Sciences Institute, Cornell University, 1-3 June 1992. Some of the conference papers are here, but others are from students, co-workers and other colleagues. The intention of the conference was to look forward, and to see the directions currently being pursued, in the development of work by, or with, Nerode. Here is a brief summary of the contents of this book. We give a retrospective view of Nerode's work. A number of specific areas are readily discerned: recursive equivalence ...
Magister Jacobus de Ispania, Author of the Speculum musicae
The Speculum musicae of the early fourteenth century, with nearly half a million words, is by a long way the largest medieval treatise on music, and probably the most learned. Only the final two books are about music as commonly understood: the other five invite further work by students of scholastic philosophy, theology and mathematics. For nearly a century, its author has been known as Jacques de Liège or Jacobus Leodiensis. ’Jacobus’ is certain, fixed by an acrostic declared within the text; Liège is hypothetical, based on evidence shown here to be less than secure. The one complete manuscript, Paris BnF lat. 7207, thought by its editor to be Florentine, can now be shown on the basi...
Algorithmic Culture Before the Internet
Today, algorithms exercise outsize influence on cultural decision-making, shaping and even reshaping the concept of culture. How were automated, computational processes empowered to perform this work? What forces prompted the emergence of algorithmic culture? Algorithmic Culture Before the Internet is a history of how culture and computation came to be entangled. From Cambridge, England, to Cambridge, Massachusetts, by way of medieval Baghdad, this book pinpoints the critical junctures at which algorithmic culture began to coalesce in language long before it materialized in the technological wizardry of Silicon Valley. Revising and extending the methodology of “keywords,” Ted Striphas examines changing concepts and definitions of culture, including the development of the field of cultural studies, and stresses the importance of language in the history of technology. Offering historical and interdisciplinary perspective on the relationship of culture and computation, this book provides urgently needed context for the algorithmic injustices that beset the world today.
Companion Encyclopedia of the History and Philosophy of the Mathematical Sciences
* Examines the history and philosophy of the mathematical sciences in a cultural context, tracing their evolution from ancient times up to the twentieth century * 176 articles contributed by authors of 18 nationalities * Chronological table of main events in the development of mathematics * Fully integrated index of people, events and topics * Annotated bibliographies of both classic and contemporary sources * Unique coverage of Ancient and non-Western traditions of mathematics
Frontiers of Combining Systems
- Donation refusal is high in all the regions of Argentina. - The deficient operative structure is a negative reality that allows inadequate donor maintenance and organ procurement. - In more developed regions, there are a high number of organs which are not utilized. This is true for heart, liver and lungs. Small waiting lists for these organs probably reflect an inadequate economic coverage for these organ transplant activities. - There is a long waiting list for cadaveric kidney transplants, which reflect poor procurement and transplant activity. - Lack of awareness by many physicians leads to the denouncing of brain deaths. In spite of these factors, we can say that there has been a sign...
