John Tromp

Last updated

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) [ citation needed ] and lambda diagrams that supply a graphical way of representing lambda calculus expressions. [6] [7]

References

  1. 1 2 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. 1 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.
  6. ↑ John Tromp Lambda Diagrams.
  7. ↑ YouTube 2024.


This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.