Li-Fan Chen
says to
YSITD
然後有人說可以用無理數證明世界不是模擬的