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 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...
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.
Von Neumann, Morgenstern, and the Creation of Game Theory
A reconstruction of the creation of game theory in the twentieth century by John von Neumann and Oskar Morgenstern.
Logic's Lost Genius
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...
A Companion to Philosophical Logic
This collection of newly comissioned essays by international contributors offers a representative overview of the most important developments in contemporary philosophical logic. Presents controversies in philosophical implications and applications of formal symbolic logic. Surveys major trends and offers original insights.
