level 3
问题是这样的: 旅行者被食人族抓到要处死，食人族让他说一句话:
如果是真话，就杀死
如果是假话，就烧死。
然后旅行者说: 我会被烧死。能否用schme编个小程序，规则是食人族的两句话，输入是旅行者的话，判断输出这个输入没有对应的解?
可以做到么?
2012年03月20日 02点03分
1
level 1
“我会被烧死”这句话表示将来发生的事，所以延时求值，除非你给他一个值，否者程序根本不会运行。
2012年06月17日 06点06分
2
level 12
这是一个在命题域内的不可计算问题，但是好在scheme的逻辑能力比命题域广。首先假设是真话，矛盾，再假设是假话，又矛盾。由于只有真话假话两种，所以无解。
2014年09月06日 16点09分
5
