Our website is currently undergoing technical upgrades to serve you better. We’ll be back online shortly.
Home > Mathematics and Science Textbooks > Mathematics > Mathematical foundations > Foundations of Constructive Mathematics: Metamathematical Studies(6 Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics)
Foundations of Constructive Mathematics: Metamathematical Studies(6 Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics)

Foundations of Constructive Mathematics: Metamathematical Studies(6 Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics)

          
5
4
3
2
1

Out of Stock


Premium quality
Premium quality
Bookswagon upholds the quality by delivering untarnished books. Quality, services and satisfaction are everything for us!
Easy Return
Easy return
Not satisfied with this product! Keep it in original condition and packaging to avail easy return policy.
Certified product
Certified product
First impression is the last impression! Address the book’s certification page, ISBN, publisher’s name, copyright page and print quality.
Secure Checkout
Secure checkout
Security at its finest! Login, browse, purchase and pay, every step is safe and secured.
Money back guarantee
Money-back guarantee:
It’s all about customers! For any kind of bad experience with the product, get your actual amount back after returning the product.
On time delivery
On-time delivery
At your doorstep on time! Get this book delivered without any delay.
Notify me when this book is in stock
Add to Wishlist

About the Book

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec- tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con- structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.

Table of Contents:
One. Practice and Philosophy of Constructive Mathematics.- I. Examples of Constructive Mathematics.- 1. The Real Numbers.- 2. Constructive Reasoning.- 3. Order in the Reals.- 4. Subfields of R with Decidable Order.- 5. Functions from Reals to Reals.- 6. Theorem of the Maximum.- 7. Intermediate Value Theorem.- 8. Sets and Metric Spaces.- 9. Compactness.- 10. Ordinary Differential Equations.- 11. Potential Theory.- 12. The Wave Equation.- 13. Measure Theory.- 14. Calculus of Variations.- 15. Plateau's Problem.- 16. Rings, Groups, and Fields.- 17. Linear Algebra.- 18. Approximation Theory.- 19. Algebraic Topology.- 20. Standard Representations of Metric Spaces.- 21. Some Assorted Problems.- II. Informal Foundations of Constructive Mathematics.- 1. Numbers.- 2. Operations or Rules.- 3. Sets and Presets.- 4. Constructive Proofs.- 5. Witnesses and Evidence.- 6. Logic.- 7. Functions.- 8. Axioms of Choice.- 9. Ways of Constructing Sets.- 10. Definite Presets.- III. Some Different Philosophies of Constructive Mathematics.- 1. The Russian Constructivists.- 2. Recursive Analysis.- 3. Bishop's Constructivism.- 4. Objective Intuitionism.- 5. Sets in Intuitionism.- 6. Brouwerian Intuitionism.- 7. Martin-Lof s Philosophy.- 8. Church's Thesis.- IV. Recursive Mathematics: Living with Church's Thesis.- 1. Constructive Recursion Theory.- 2. Diagonalization and "Weak Counterexamples".- 3. Continuity of Effective Operations.- 4. Specker Sequences.- 5. Failure of Konig's Lemma: Kleene's Singular Tree.- 6. Singular Coverings.- 7. Non-Uniformly Continuous Functions.- 8. The Infimum of a Positive Function.- 9. Theorem of the Maximum Revisited.- 10. The Topology of the Disk in Recursive Mathematics.- 11. Pointwise Convergence Versus Uniform Convergence.- 12. Connectivity of Intervals.- 13. Another Surprise in Recursive Topology.- 14. A Counterexample in Descriptive Set Theory.- 15. Differential Equations with no Computable Solutions.- V. The Role of Formal Systems in Foundational Studies.- 1. The Axiomatic Method.- 2. Informal Versus Formal Axiomatics.- 3. Adequacy and Fidelity: Criteria for Formalization.- 4. Constructive and Classical Mathematics Compared.- 5. Arithmetic of Finite Types.- 6. Formalizing Constructive Mathematics in HA?.- Two. Formal Systems of the Seventies.- VI. Theories of Rules.- 1. The Logic of Partial Terms.- 2. Combinatory Algebras.- 3. Axiomatizing Recursive Mathematics.- 4. Term Reduction and the Church-Rosser Theorem Ill.- 5. Combinatory Logic and ?-Calculus.- 6. Term Models.- 7. Continuous Models.- 8. Finite Type Structures and Continuity in Combinatory Algebras.- 9. Set-Theoretic and Topological Models.- 10. Discussion: Adequacy and Fidelity of EON?.- VII. Readability.- 1. Definition and Soundness of Realizability.- 2. Realizability and Models.- 3. Some Simple Applications.- 4. Existence Properties.- 5. q-Realizability.- 6. Rules of Choice.- 7. Discussion: Numerical Meaning.- VIII. Constructive Set Theories.- 1. Intuitionistic Zermelo-Fraenkel Set Theory, IZF.- 2. Non-Extensional Set Theory.- 3. The Double-Negation Interpretation for IZF.- 4. Realizability for Set Theory Without Extensionality.- 5. Realizability and Models.- 6. Realizability for IZF.- 7. Connection with Realizability for Arithmetic.- 8. Consistency of Church's Thesis with IZF.- 9. The Numerical Existence Property for IZF.- 10. Discussion.- 11. The Theory B.- 12. More Discussion.- 13. Intermediate Constructive Set Theories.- IX. The Existence Property in Constructive Set Theory.- 1. Introduction.- 2. The Set Existence Property for HAS.- 3. The Existence Property in Set Theories.- X. Theories of Rules, Sets, and Classes.- 1. The Theory FML.- 2. The Theories EM0 and EM0 +J.- 3. Models of Feferman's Theories.- 4. Realizability.- 5. The Axiom of Choice.- 6. q-Realizability.- 7. Term Existence Property.- 8. Evaluation of Numerical Terms.- 9. Numerical Existence Property.- 10. Decidable Equality.- 11. Extensionality in Feferman's Theories.- 12. Some Remarks on Formalizing Mathematics in FML + DC.- 13. Functions, Operations, and Axioms of Choice.- 14. The Theory SOF (Sets, Operations, Functions).- 15. Some Theorems of SOF.- 16. Realizability for SOF.- 17. Discussion.- XI. Constructive Type Theories.- 1. Forms of Judgment.- 2. Philosophical Remarks on Sets, Categories, and Canonical Elements.- 3. Hypothetical Judgments.- 4. Families of Sets.- 5. Disjoint Union and Existential Quantification.- 6. Abstraction.- 7. Cartesian Product and Conjunction.- 8. The Constant E and Projection Functions.- 9. Product and Universal Quantification.- 10. Implication.- 11. N, Nk, and R.- 12. Disjoint Union.- 13. The I-Rules.- 14. How Martin-Lof's Rules Actually Define a Formal System.- 15. List of Rule Schemata of Martin-Lof's System ML0.- 16. Other Formulations of ML0.- 17. Interpretation of HA? + AC + EXT in ML0.- 18. Formalizing Mathematics in ML0.- 19. Is the Theory HA? + EXT + AC Constructive?.- 20. The Realizability Model of ML0.- 21. Martin-Lof's Universes.- 22. The Arithmetic Theorems of Martin-Lof's Systems, and a New Realizability for Arithmetic.- 23. Discussion.- Three. Metamathematical Studies.- XII. Constructive Models of Set Theory.- 1. Aczel's "Iterative Sets".- 2. Interpreting Subtheories of Intuitionistic ZF in Feferman's Theories.- XIII. Proof-Theoretic Strength.- 1. Definitions About Proof-Theoretic Strength.- 2. ?1/1-AC and ID1-.- 3. The Strength of Feferman's Theory EM0 + J and Related Theories.- 4. The Strength of Constructive Set Theory T2.- 5. The Strength of Martin-Lof's Theories.- 6. Theories with the Strength of Arithmetic.- 7. Conservative Extension Theorems.- XIV. Some Formalized Metamathematics and Church's Rule.- 1. The Theories Tb and Ta.- 2. Formalization of Normal-Term Arguments.- 3. Formalized Models.- 4. Church's Rule.- 5. Truth Definitions and Reflection Principles.- 6. Formalized Realizability and Existence Properties.- 7. Discussion.- XV. Forcing.- 1. Ordinary Forcing.- 2. Conservative Extension Results.- 3. Uniform Forcing.- XVI. Continuity.- 1. Continuity Principles.- 2. Continuity and Church's Thesis.- 3. Consistency of Brouwer's Principle and Uniform Continuity.- 4. Derived Rules Related to Continuity.- Four. Metaphilosophical Studies.- XVII. Theories of Rules and Proofs.- 1. Review of the Relevant Literature.- 2. The Main Issues.- 3. A Theory of Rules and Proofs.- 4. Undecidability of the Proof-Predicate in C.- 5. Consistency of C.- 6. Discussion.- 7. Frege Structures.- 8. Existence of Frege Structures.- 9. Set Theory and Frege Structures.- 10. A Theory of Rules, Proofs, and Sets.- Historical Appendix.- 1. From Gauss to Zermelo: The Origins of Non-Constructive Mathematics.- 2. From Kant to Hilbert: Logic and Philosophy.- 3. Brouwer and the Dutch Intuitionists.- 4. Early Formal Systems for Intuitionism.- 5. Kleene: The Marriage of Recursion Theory and Intuitionism.- 6. The Russian Constructivists and Recursive Analysis.- 7. Model Theory of Intuitionistic Systems.- 8. Logical Studies of Intuitionistic Systems.- 9. Bishop and his Followers.- 10. The Latest Decade.- References.- Index of Axioms, Abbreviations, and Theories.- Index of Names.- Index of Symbols.


Best Sellers


Product Details
  • ISBN-13: 9783540121732
  • Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Publisher Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Language: English
  • Returnable: N
  • Sub Title: Metamathematical Studies
  • ISBN-10: 3540121730
  • Publisher Date: 01 Mar 1985
  • Binding: Hardback
  • No of Pages: 466
  • Series Title: 6 Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics
  • Weight: 930 gr


Similar Products

How would you rate your experience shopping for books on Bookswagon?

Add Photo
Add Photo

Customer Reviews

REVIEWS           
Click Here To Be The First to Review this Product
Foundations of Constructive Mathematics: Metamathematical Studies(6 Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics)
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG -
Foundations of Constructive Mathematics: Metamathematical Studies(6 Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics)
Writing guidlines
We want to publish your review, so please:
  • keep your review on the product. Review's that defame author's character will be rejected.
  • Keep your review focused on the product.
  • Avoid writing about customer service. contact us instead if you have issue requiring immediate attention.
  • Refrain from mentioning competitors or the specific price you paid for the product.
  • Do not include any personally identifiable information, such as full names.

Foundations of Constructive Mathematics: Metamathematical Studies(6 Ergebnisse der Mathematik und Ihrer Grenzgebiete. 3 Folge /A Series of Modern Surveys in Mathematics)

Required fields are marked with *

Review Title*
Review
    Add Photo Add up to 6 photos
    Would you recommend this product to a friend?
    Tag this Book
    Read more
    Does your review contain spoilers?
    What type of reader best describes you?
    I agree to the terms & conditions
    You may receive emails regarding this submission. Any emails will include the ability to opt-out of future communications.

    CUSTOMER RATINGS AND REVIEWS AND QUESTIONS AND ANSWERS TERMS OF USE

    These Terms of Use govern your conduct associated with the Customer Ratings and Reviews and/or Questions and Answers service offered by Bookswagon (the "CRR Service").


    By submitting any content to Bookswagon, you guarantee that:
    • You are the sole author and owner of the intellectual property rights in the content;
    • All "moral rights" that you may have in such content have been voluntarily waived by you;
    • All content that you post is accurate;
    • You are at least 13 years old;
    • Use of the content you supply does not violate these Terms of Use and will not cause injury to any person or entity.
    You further agree that you may not submit any content:
    • That is known by you to be false, inaccurate or misleading;
    • That infringes any third party's copyright, patent, trademark, trade secret or other proprietary rights or rights of publicity or privacy;
    • That violates any law, statute, ordinance or regulation (including, but not limited to, those governing, consumer protection, unfair competition, anti-discrimination or false advertising);
    • That is, or may reasonably be considered to be, defamatory, libelous, hateful, racially or religiously biased or offensive, unlawfully threatening or unlawfully harassing to any individual, partnership or corporation;
    • For which you were compensated or granted any consideration by any unapproved third party;
    • That includes any information that references other websites, addresses, email addresses, contact information or phone numbers;
    • That contains any computer viruses, worms or other potentially damaging computer programs or files.
    You agree to indemnify and hold Bookswagon (and its officers, directors, agents, subsidiaries, joint ventures, employees and third-party service providers, including but not limited to Bazaarvoice, Inc.), harmless from all claims, demands, and damages (actual and consequential) of every kind and nature, known and unknown including reasonable attorneys' fees, arising out of a breach of your representations and warranties set forth above, or your violation of any law or the rights of a third party.


    For any content that you submit, you grant Bookswagon a perpetual, irrevocable, royalty-free, transferable right and license to use, copy, modify, delete in its entirety, adapt, publish, translate, create derivative works from and/or sell, transfer, and/or distribute such content and/or incorporate such content into any form, medium or technology throughout the world without compensation to you. Additionally,  Bookswagon may transfer or share any personal information that you submit with its third-party service providers, including but not limited to Bazaarvoice, Inc. in accordance with  Privacy Policy


    All content that you submit may be used at Bookswagon's sole discretion. Bookswagon reserves the right to change, condense, withhold publication, remove or delete any content on Bookswagon's website that Bookswagon deems, in its sole discretion, to violate the content guidelines or any other provision of these Terms of Use.  Bookswagon does not guarantee that you will have any recourse through Bookswagon to edit or delete any content you have submitted. Ratings and written comments are generally posted within two to four business days. However, Bookswagon reserves the right to remove or to refuse to post any submission to the extent authorized by law. You acknowledge that you, not Bookswagon, are responsible for the contents of your submission. None of the content that you submit shall be subject to any obligation of confidence on the part of Bookswagon, its agents, subsidiaries, affiliates, partners or third party service providers (including but not limited to Bazaarvoice, Inc.)and their respective directors, officers and employees.

    Accept

    New Arrivals

    Inspired by your browsing history


    Your review has been submitted!

    You've already reviewed this product!
    ASK VIDYA