能否用lisp写个小程序,证明旅行者悖论是无解的? - lisp吧

level 2

kgisme169 楼主

旅行者被食人族抓到了，要处死，食人族让他说一句话:
如果是真话，就杀死
如果是假话，就烧死。然后旅行者说: 我会被烧死。能否用lisp/schme编个小程序，规则是食人族的两句话，输入是旅行者的话，判断输出这个输入没有对应的解?

2012年03月20日 02点03分 1