23:
94:
219:
62:
38:
166:
69:
214:
119:
73:
208:
63:"John Tromp and the Big Numbers of Go: The Possible Positions, Games and the Longest"
31:
199:
27:
98:
194:
141:
26:. Tromp discovered the number of legal states of the board game
162:
190:
95:"After 2,500 Years, a Chinese Gaming Mystery is Solved"
22:
is a Dutch computer scientist. He formerly worked for
24:Dutch Centre for Mathematics and Computer Science
200:John Tromp's entry on the Chess Programming Wiki
34:, which they call "the logical rules of Go".
8:
56:
54:
88:
86:
50:
30:, and co-authored with Bill Taylor the
7:
142:"1996 edition of Tromp-Taylor Rules"
120:"1995 edition of Tromp-Taylor Rules"
14:
93:Johnson, Leif (25 January 2016).
1:
236:
41:(Binary lambda calculus).
220:Dutch computer scientists
61:Shotwell, Peter (2016).
39:Binary combinatory logic
16:Dutch computer scientist
167:American Go Association
70:American Go Association
191:John Tromp's homepage
37:He is also known for
122:. 13 February 1995
32:Tromp-Taylor Rules
163:"The Rules of Go"
227:
178:
177:
175:
173:
159:
153:
152:
150:
148:
138:
132:
131:
129:
127:
116:
110:
109:
107:
105:
90:
81:
80:
79:on 6 March 2019.
78:
72:. Archived from
67:
58:
235:
234:
230:
229:
228:
226:
225:
224:
205:
204:
187:
182:
181:
171:
169:
161:
160:
156:
146:
144:
140:
139:
135:
125:
123:
118:
117:
113:
103:
101:
92:
91:
84:
76:
65:
60:
59:
52:
47:
17:
12:
11:
5:
233:
231:
223:
222:
217:
207:
206:
203:
202:
197:
186:
185:External links
183:
180:
179:
154:
133:
111:
82:
49:
48:
46:
43:
15:
13:
10:
9:
6:
4:
3:
2:
232:
221:
218:
216:
215:Living people
213:
212:
210:
201:
198:
196:
192:
189:
188:
184:
168:
164:
158:
155:
143:
137:
134:
121:
115:
112:
100:
96:
89:
87:
83:
75:
71:
64:
57:
55:
51:
44:
42:
40:
35:
33:
29:
25:
21:
170:. Retrieved
157:
145:. Retrieved
136:
124:. Retrieved
114:
102:. Retrieved
74:the original
36:
19:
18:
172:30 December
147:30 December
126:30 December
104:30 December
209:Categories
45:References
20:John Tromp
99:Vice.com
195:GitHub
77:(PDF)
66:(PDF)
174:2017
149:2017
128:2017
106:2017
193:at
211::
165:.
97:.
85:^
68:.
53:^
28:Go
176:.
151:.
130:.
108:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.