Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Constructivism in Mathematics, Vol 1, Volume 121 (Hardcover)
Loot Price: R1,522
Discovery Miles 15 220
|
|
Constructivism in Mathematics, Vol 1, Volume 121 (Hardcover)
Series: Studies in Logic and the Foundations of Mathematics
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.