It compares constructive and classical methods, highlights where classical theorems fail through “weak counterexamples”, and examines Brouwer’s classical and constructive versions of the Fixed-Point Theorem.
I have a question about the book:
'Intuitionistic Analysis - van Dalen, Dirk, van Atten, Mark, Smorynski, Craig'.
Fill in the form below.
We will respond as fast as possible.
We value your privacy
We use cookies to measure traffic, improve Boekstra and let Google tailor ads to your interests. You can keep using the site either way — even if you decline. More info
