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