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.
The Selected Correspondence of L.E.J. Brouwer
L.E.J. Brouwer (1881-1966) is best known for his revolutionary ideas on topology and foundations of mathematics (intuitionism). The present collection contains a mixture of letters; university and faculty correspondence has been included, some of which shed light on the student years, and in particular on the exchange of letters with his PhD adviser, Korteweg. Acting as the natural sequel to the publication of Brouwer’s biography, this book provides instrumental reading for those wishing to gain a deeper understanding of Brouwer and his role in the twentieth century. Striking a good balance of biographical and scientific information, the latter deals with innovations in topology (Cantor-Sc...
The Structure of Values and Norms
Formal representations of values and norms are employed in several academic disciplines and specialties, such as economics, jurisprudence, decision theory and social choice theory. Sven Ove Hansson closely examines such foundational issues as the values of wholes and the values of their parts, the connections between values and norms, how values can be decision-guiding and the structure of normative codes with formal precision. Models of change in both preferences and norms are offered, as well as a method to base the logic of norms on that of preferences. Hansson has developed a unified formal representation of values and norms that reflects both their static and their dynamic properties. This formalized treatment, carried out in terms of both informal value theory and precise logical detail, will contribute to the clarification of certain issues in the basic philosophical theory of values and norms.
Ernst Zermelo
This biography attempts to shed light on all facets of Zermelo's life and achievements. Personal and scientific aspects are kept separate as far as coherence allows, in order to enable the reader to follow the one or the other of these threads. The presentation of his work explores motivations, aims, acceptance, and influence. Selected proofs and information gleaned from unpublished notes and letters add to the analysis.
The Scholar and the State: In Search of Van der Waerden
Bartel Leendert van der Waerden made major contributions to algebraic geometry, abstract algebra, quantum mechanics, and other fields. He liberally published on the history of mathematics. His 2-volume work Modern Algebra is one of the most influential and popular mathematical books ever written. It is therefore surprising that no monograph has been dedicated to his life and work. Van der Waerden’s record is complex. In attempting to understand his life, the author assembled thousands of documents from numerous archives in Germany, the Netherlands, Switzerland and the United States which revealed fascinating and often surprising new information about van der Waerden. Soifer traces Van der ...
The Development of Modern Logic
This volume contains newly-commissioned articles covering the development of modern logic from the late medieval period (fourteenth century) through the end of the twentieth-century. It is the first volume to discuss the field with this breadth of coverage and depth. It will appeal to scholars and students of philosophical logic and the philosophy of logic.
Kurt Gödel: Collected Works: Volume IV
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought...
Logic and Structure
New corrected printing of a well-established text on logic at the introductory level.
Kurt Gödel: Collected Works: Volume V
Kurt Gödel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought...
Correspondence H-Z
The collected works of Kurt Godel is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy.
