Lectures on Constructive Mathematics. - Mathematics, Algorithms ...
Lectures on Constructive Mathematics. - Mathematics, Algorithms ...
Lectures on Constructive Mathematics. - Mathematics, Algorithms ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Decent sets come equipped with an inequality as well as an equality. The<br />
inequality <strong>on</strong> a metric space is de…ned by<br />
Note that<br />
x 6= y , (x; y) > 0:<br />
: (x 6= y) ) (x = y)<br />
but without Markov’s principle we cannot prove that<br />
:(x = y) ) x 6= y.