Jump to content

John Tromp

From Wikipedia, the free encyclopedia

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

[edit]
  1. ^ a b Shotwell, Peter (2016). "John Tromp and the Big Numbers of Go: The Possible Positions, Games and the Longest" (PDF). American Go Association. Archived from the original (PDF) on 6 March 2019.
  2. ^ a b 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.
[edit]