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
External links
🔥 Top keywords: Main PageSpecial:SearchWikipedia:Featured picturesYasukeHarrison ButkerRobert FicoBridgertonCleopatraDeaths in 2024Joyce VincentXXXTentacionHank AdamsIt Ends with UsYouTubeNew Caledonia2024 Indian general electionHeeramandiDarren DutchyshenSlovakiaKingdom of the Planet of the ApesAttempted assassination of Robert FicoLawrence WongBaby ReindeerXXX: Return of Xander CageThelma HoustonFuriosa: A Mad Max SagaMegalopolis (film)Richard GaddKepler's SupernovaWicked (musical)Sunil ChhetriXXX (2002 film)Ashley MadisonAnya Taylor-JoyPlanet of the ApesNava MauYoung SheldonPortal:Current eventsX-Men '97