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.
I P _ Q : either we have a proof of P or else we have a proof of Q:<br />
I P ^ Q : we have both a proof of P and a proof of Q:<br />
I P ! Q : by means of an algorithm we can c<strong>on</strong>vert any proof of P into<br />
a proof of Q:<br />
I :P : assuming P; we can derive a c<strong>on</strong>tradicti<strong>on</strong> (such as 0 = 1); equivalently,<br />
we can prove (P ! (0 = 1)) :