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 日
一派胡言
|