John Tromp
Dutch computer scientist
From Wikipedia, the free encyclopedia
John Tromp is a Dutch computer scientist.[1] He formerly worked for the 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 his work in binary combinatory logic (binary lambda calculus)[citation needed] and lambda diagrams that supply a graphical way of representing lambda calculus expressions.[6][7] Tromp has done research on a lambda calculus-equivalent to the busy beaver function.[8]
