| |||||
Principia Mathematica to *56 (Cambridge Mathematical Library)
Books: Computers: Mathematica: Item 8
|
Principia Mathematica to *56 (Cambridge Mathematical Library)by Alfred North Whitehead and Bertrand Russell
|
28 of 30 people found the following review helpful: Mostly of historical interest, October 19, 2002 Reviewer:galloamericanus "galloamericanus" (Podunk, Iowa) - The notation of PM is hard to read by anyone who learned logic post 1960, say. The typesetting is archaic. Hundreds of theorems are proved, but it is not clear where they all lead. Russell and Whitehead are guilty of a number of major philosophical confusions, such as use and mention, between meta- and object language, and their confused notion of "propositional function." Their choice of axioms can be much improved upon. The PM theory of types and orders is a complicated horror; Chwistek, Ramsey, and others later showed that it could be radically simplified. R & W think they can substitute the intensional for the extensional, and ultimately define sets and relations in logical terms. PM does not have a clue about model theory or metatheory. There is no hint of proofs of consistency, completeness, categoricity, and Loewenheim-Skolem. In this sense, the fathers of modern logic are Skolem, Goedel, Tarski, and Church. And Goedel did indeed prove that there must exist mathematical truths that cannot be proved true using the axioms of PM, or any other finite set of axioms. But this is still one of the greatest works of mathematics and philosophy of all time. The long prose introduction is a philosophical masterpiece. The collaboration between Russell and Whitehead may be the greatest scientific collaboration in British history. Whitehead, who was trained as a mathematician, went on to become one of the shrewder philosophers of the 20th century, and supervised Quine's PhD thesis. PM's treatment of the algebra of relations (a brilliant generalisation of Boolean algebra that has not received the study it deserves) is perhaps the most thorough ever. Mathematical logic is indeed the abstract structure that underlies the digital electronics revolution. And PM is still perhaps the greatest work of math logic ever penned.
Product Review
Could it be true that Whitehead and Russell's Principia Mathematica is the most influential book written in the 20th century? Ask any mathematician or philosopher--or anyone who understands the impact these fields have had on modern thinking--and you'll get a short answer: yes. Their goal, to set mathematics on a firm logical foundation, was revolutionary, and their tools and rigor continue to influence modern professionals. Using Peano's symbolic logic, they formalized axioms and produced theorems (including the famous "1 + 1 = 2") in orderings, continuous functions, and other areas of mathematics.
Although the Principia is far from comprehensive, Whitehead and Russell's method and program captivate their readers. The audacity to hope to formalize all of mathematics logically was inspirational and helped to give great boosts to math and logical philosophy. Though Gödel proved in 1931 that any such program is doomed to incompleteness, the tools found in and developed from the three volumes helped build the atomic bomb and the Internet. It may not be summer vacation reading (for most), but Principia Mathematica will reward the dedicated student with a deeper understanding of how we got here. --Rob Lightner
Book Description
The great three-volume Principia Mathematica (CUP 1927) is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premises and primitive ideas, establishing that mathematics is a development of logic. This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will of course wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of Part I (in which the logical properties of propositions, propositional functions, classes and relations are established); section A of Part II (dealing with unit classes and couples); and Appendices A and C (which give further developments of the argument on the theory of deduction and truth functions).
Shop Bookstores:
Books
Resources
Most Watched Book Auctions
Mathematica at Sduf
News To Peruse
More Subjects
Book Review Directory
Reviewed Authors
Reviewed Titles
Review List
Site Map
