Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121) - Hardcover

A. S. Troelstra

Hardcover

ISBN 10: 0444702660 ISBN 13: 9780444702661

Publisher: Elsevier Science, 1988

Synopsis

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.

About this title

Review

The present volume is completely self contained, and would make an excellent choice of text for an introductory course on its subject. Most of the material has been tried our in courses at Amsterdam and Utrecht; each chapter has a good collection of exercises. -- A. Urquhart, Studia Logica

Edition details

• Publisher: Elsevier Science
• Publication date: 1988
• ISBN 10: 0444702660
• ISBN 13: 9780444702661
• Binding: Hardcover
• Language: English
• Edition number: 1
• Number of pages: 355