From Frege To Godel: A Source Book In Mathematical Logic, 18791931 (Source Books In History Of Sciences),New

From Frege To Godel: A Source Book In Mathematical Logic, 18791931 (Source Books In History Of Sciences),New

In Stock
SKU: DADAX0674324498
Brand: Harvard University Press
Sale price$65.19 Regular price$93.13
Save $27.94
Quantity
Add to wishlist
Add to compare

Processing time: 1-3 days

US Orders Ships in: 3-5 days

International Orders Ships in: 8-12 days

Return Policy: 15-days return on defective items

Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

The Fundamental Texts Of The Great Classical Period In Modern Logic, Some Of Them Never Before Available In English Translation, Are Here Gathered Together For The First Time. Modern Logic, Heralded By Leibniz, May Be Said To Have Been Initiated By Boole, De Morgan, And Jevons, But It Was The Publication In 1879 Of Gottlob Freges Begriffsschrift That Opened A Great Epoch In The History Of Logic By Presenting, In Fullfledged Form, The Propositional Calculus And Quantification Theory.Freges Book, Translated In Its Entirety, Begins The Present Volume. The Emergence Of Two New Fields, Set Theory And Foundations Of Mathematics, On The Borders Of Logic, Mathematics, And Philosophy, Is Depicted By The Texts That Follow. Peano And Dedekind Illustrate The Trend That Led To Principia Mathematica. Buraliforti, Cantor, Russell, Richard, And Knig Mark The Appearance Of The Modern Paradoxes. Hilbert, Russell, And Zermelo Show Various Ways Of Overcoming These Paradoxes And Initiate, Respectively, Proof Theory, The Theory Of Types, And Axiomatic Set Theory. Skolem Generalizes Lwenheims Theorem, And He And Fraenkel Amend Zermelos Axiomatization Of Set Theory, While Von Neumann Offers A Somewhat Different System. The Controversy Between Hubert And Brouwer During The Twenties Is Presented In Papers Of Theirs And In Others By Weyl, Bernays, Ackermann, And Kolmogorov. The Volume Concludes With Papers By Herbrand And By Gdel, Including The Latters Famous Incompleteness Paper.Of The Fortyfive Contributions Here Collected All But Five Are Presented In Extenso. Those Not Originally Written In English Have Been Translated With Exemplary Care And Exactness; The Translators Are Themselves Mathematical Logicians As Well As Skilled Interpreters Of Sometimes Obscure Texts. Each Paper Is Introduced By A Note That Sets It In Perspective, Explains Its Importance, And Points Out Difficulties In Interpretation. Editorial Comments And Footnotes Are Interpolated Where Needed, And An Extensive Bibliography Is Included.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

  • Q: How many pages does the book have? A: The book contains six hundred eighty pages. This extensive length allows for a comprehensive exploration of mathematical logic.
  • Q: What is the binding type of this book? A: The book is available in paperback binding. This makes it lightweight and flexible for easy handling and reading.
  • Q: Who is the author of this book? A: The author is Jean van Heijenoort. He is known for his contributions to the history of logic and mathematical philosophy.
  • Q: What are the dimensions of the book? A: The book measures six point five inches in length, one point seventy-five inches in width, and ten inches in height. These dimensions make it easy to store and carry.
  • Q: Is this book suitable for beginners in logic? A: Yes, this book is suitable for beginners. It presents fundamental texts that are accessible for readers new to the subject of mathematical logic.
  • Q: What topics are covered in this book? A: The book covers topics such as propositional calculus, quantification theory, and paradoxes in modern logic. These foundational concepts are critical for understanding advanced logic.
  • Q: How should I care for this paperback book? A: To care for this paperback book, keep it in a dry, cool place. Avoid exposing it to excessive moisture or direct sunlight to prevent damage.
  • Q: Can I store this book on a bookshelf? A: Yes, you can store this book on a bookshelf. Its dimensions allow it to fit easily among standard book collections.
  • Q: What if the book arrives damaged? A: If the book arrives damaged, you should contact the seller for a return or exchange. Most sellers provide customer support for such issues.
  • Q: Is this book an authoritative source on mathematical logic? A: Yes, this book is considered an authoritative source. It compiles significant contributions from various renowned logicians and mathematicians.
  • Q: Are there any translations included in the book? A: Yes, translations are included for texts not originally written in English. These translations are done with care by skilled interpreters.
  • Q: What is the historical significance of this book? A: The book is historically significant as it gathers key texts from the classical period of modern logic. It marks the evolution of logical thought from Frege to Gödel.
  • Q: Does this book include editorials or footnotes? A: Yes, the book includes editorial comments and footnotes. These annotations help clarify complex concepts and provide context for the texts.
  • Q: What is the target audience for this book? A: The target audience includes students, scholars, and anyone interested in the history and development of mathematical logic.
  • Q: Is this book suitable for academic study? A: Yes, this book is highly suitable for academic study. Its comprehensive collection of texts serves as a vital resource for research in logic.

Recently Viewed