Li-Fan Chen
says to
YSITD
我實際在做的事：找電腦、看歌德爾不完備定理