John Tromp Explained

John Tromp is a Dutch computer scientist.[1] He formerly worked for Dutch Centre for Mathematics and Computer Science.[2] Tromp discovered the number of legal states of the board game Go,[1] [2] and co-authored with Bill Taylor the Tromp-Taylor Rules,[3] [4] which they call "the logical rules of Go".[5]

He is also known for Binary combinatory logic (Binary lambda calculus).

External links

Notes and References

  1. Web site: Peter . Shotwell. John Tromp and the Big Numbers of Go: The Possible Positions, Games and the Longest. American Go Association. 2016. dead. https://web.archive.org/web/20190306043154/https://www.usgo.org/files/pdf/TROMPFINAL5-6-16.pdf. 6 March 2019.
  2. Web site: Leif . Johnson. After 2,500 Years, a Chinese Gaming Mystery is Solved. Vice.com. 25 January 2016. 30 December 2017.
  3. Web site: 1995 edition of Tromp-Taylor Rules . 13 February 1995. 30 December 2017.
  4. Web site: 1996 edition of Tromp-Taylor Rules. 30 December 2017.
  5. Web site: The Rules of Go. American Go Association. 30 December 2017.

This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "John Tromp".

Except where otherwise indicated, Everything.Explained.Today is © Copyright 2009-2024, A B Cryer, All Rights Reserved. Cookie policy.