John Tromp

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).

References
  1. Shotwell, Peter (2016). "John Tromp and the Big Numbers of Go: The Possible Positions, Games and the Longest" (PDF). American Go Association. Retrieved 30 December 2017.
  2. Johnson, Leif (25 January 2016). "After 2,500 Years, a Chinese Gaming Mystery is Solved". Vice.com. Retrieved 30 December 2017.
  3. "1995 edition of Tromp-Taylor Rules". 13 February 1995. Retrieved 30 December 2017.
  4. "1996 edition of Tromp-Taylor Rules". Retrieved 30 December 2017.
  5. "The Rules of Go". American Go Association. Retrieved 30 December 2017.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.