<?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="John Tromp - Page 1 - Wikipedia">
<p>
<a accesskey="3" href="page.php?w=John_Tromp&amp;p=2">3.Next</a>
</p>
<p><b>John Tromp</b> is a Dutch computer scientist. He formerly worked for the <a href="page.php?w=Dutch_Centre_for_Mathematics_and_Computer_Science">Dutch Centre for Mathematics and Computer Science</a>. Tromp discovered the number of legal states of the board game <a href="page.php?w=Go_%28game%29">Go</a>, and co-authored with Bill Taylor the <a href="page.php?w=Rules_of_Go">Tromp-Taylor rules</a>, which they call "the logical rules of Go".</p>

<p>He is also known for his work in <a href="page.php?w=binary_combinatory_logic">binary combinatory logic</a></p><p>
<a accesskey="3" href="page.php?w=John_Tromp&amp;p=2">3.Next</a>
</p>

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

</card>
</wml>
