<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Law of excluded middle - Page 11 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Law_of_excluded_middle&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Law_of_excluded_middle&amp;p=12">3.Next</a>
</p>
<p>the early 20th century:</p>

<p>Brouwer reduced the debate to the use of proofs designed from "negative" or "non-existence" versus "constructive" proof:<br/>
::According to Brouwer, a statement that an object exists having a given property means that, and is only proved, when a method is known which in principle at least will enable such an object to be found or constructed ...<br/>
::Hilbert naturally disagreed.<br/>
::"pure existence proofs have been the most important landmarks in the historical development of our science," he maintained.</p><p>
<a accesskey="1" href="page.php?w=Law_of_excluded_middle&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Law_of_excluded_middle&amp;p=12">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
