Li-Fan Chen
says to
YSITD
集合論學家跟電腦科學比較近阿