
1 bigporker 2013 年 10 月 24 日 自指,好像大学的时候老师讲过,不记得是数理逻辑还是哪门课 举的例子就是打印自身的程序 |
2 tioover OP |
3 dragonszy 2013 年 10 月 24 日 感觉和这本书讨论的内容一样《哥德尔、艾舍尔、巴赫》,网上还有公开课: http://bt.byr.cn/details.php?id=112564&hit=1 |
5 isynx 2013 年 10 月 25 日 一派胡言 |