Top Qs
Timeline
Chat
Perspective
John Tromp
Dutch computer scientist From Wikipedia, the free encyclopedia
Remove ads
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]
Remove ads
References
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads