<?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="Formalism (philosophy of mathematics) - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=Formalism_%28philosophy_of_mathematics%29&amp;p=2">3.Next</a>
</p>
<p>In the <a href="page.php?w=philosophy_of_mathematics">philosophy of mathematics</a>, <b>formalism</b> is the view that holds that statements of <a href="page.php?w=mathematics">mathematics</a> and <a href="page.php?w=logic">logic</a> can be considered to be statements about the consequences of the manipulation of <a href="page.php?w=String_%28computer_science%29">strings</a> (alphanumeric sequences of symbols, usually as equations) using established <a href="page.php?w=Rule_of_inference">manipulation rules</a>. A central idea of formalism "is</p><p>
<a accesskey="3" href="page.php?w=Formalism_%28philosophy_of_mathematics%29&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
