豆瓣
扫码直接下载
#Kindle#1.50元，已购。
非常有意思的书
T-T
虽然模型检测比较主流，但是逻辑证明还是好玩的多
哇~
现在形式主义的数学观已经严重势微，那为什么没有看到就此对人（人的抽象直觉能力之与数学的必要性）与人工智能（完全的计算机形式语言）之间的不可逾越性在心智和认知领域所做的研究呢？
做个思维体操
hoho~~偶可爱的老板大人送了偶一本，忘记要签名了，亏了~~改天找他补上~~
PongBa:((非常有意思的书。))?? aha?
3分想读
20090517：Mark
（2014.6.23京东）
偏哲学类的书，可能不值得一看
独2
小瓦推荐
|22:15|
非常有意思的书。
《社会科学的理论》延伸阅读
已买
惟使君 推荐
> 证明与反驳
0 有用 苇间疯 2009-07-17 13:28:22
#Kindle#1.50元，已购。
0 有用 井底草履虫 2011-11-12 12:50:03
非常有意思的书
0 有用 Nonnette 2010-12-02 00:47:43
T-T
0 有用 firefly 2010-08-03 10:00:35
虽然模型检测比较主流，但是逻辑证明还是好玩的多
0 有用 大马士革的落日 2013-01-06 11:06:44
哇~
0 有用 一深 2014-11-20 08:22:13
现在形式主义的数学观已经严重势微，那为什么没有看到就此对人（人的抽象直觉能力之与数学的必要性）与人工智能（完全的计算机形式语言）之间的不可逾越性在心智和认知领域所做的研究呢？
0 有用 patton 2008-07-08 22:35:49
做个思维体操
0 有用 鲲儿 2008-01-04 01:39:21
hoho~~偶可爱的老板大人送了偶一本，忘记要签名了，亏了~~改天找他补上~~
0 有用 MEMS 2012-04-10 17:51:59
PongBa:((非常有意思的书。))?? aha?
0 有用 Moqi 2016-02-13 02:23:54
3分想读
0 有用 L 2009-05-17 10:45:38
20090517：Mark
0 有用 一只黑眼睛看着大千世界 2012-08-11 14:49:45
（2014.6.23京东）
0 有用 海若 2011-07-30 14:52:06
偏哲学类的书，可能不值得一看
0 有用 melvyn 2011-04-17 16:55:30
独2
0 有用 菲 2011-02-09 13:31:25
小瓦推荐
0 有用 四星集中营 2009-06-03 18:56:36
|22:15|
0 有用 暖暖内含光 2010-01-26 17:45:05
非常有意思的书。
0 有用 OZ 2012-10-19 22:59:06
《社会科学的理论》延伸阅读
0 有用 Kales 2010-12-17 23:12:37
已买
0 有用 jaskell 2011-12-16 19:34:23
惟使君 推荐