C++,python,热爱算法和机器学习
全部博文(1214)
发布时间:2014-05-07 16:27:46
文章来源:http://blog.tuidao.me/2011/03/geb-note-3/上次提到了一个叫pq的形式系统,并且讨论了相容性是什么玩意,那么这次就来讲讲形式系统的另一个重要概念——完备性。还记得我们给pq系统赋予的加法解释么?当时我说这个系统形式化了正整数的加法,那么笼统的说加法行不行?行,但是却不够准确,因为0=0+.........【阅读全文】
发布时间:2014-05-07 16:14:03
文章来源:http://blog.tuidao.me/2011/01/geb-note-2/上次说到了形式系统大概是个什么样子,不过光用语言描述总是很抽象的,不好理解。那么就来举一个书上给出的例子来看看:pq系统字符集:p q -公理:设 x 是包含且仅包含一个或多个字符'-'的字符串,则.........【阅读全文】
发布时间:2014-05-07 15:41:25
文章来源:http://blog.tuidao.me/2011/01/geb-note-1/之前开始学数理逻辑的时候听说了《哥德尔,艾舍尔,巴赫》这本书,不过实在是太忙,这书又很厚,结果最后并没有去看。前两天看到Twitter上有人提到这本书再版了,正好现在放假无事,于是便到书店把这本书买了回来。要说这本书里讲到的哥德尔不完备性定理,可以说.........【阅读全文】
chinaunix网友2009-10-12 16:19
你好,你在Google Code上放的sg2fcitx的mainme.c源代码我下载编译会出现段错误。请问你的编译环境是什么?GCC版本是多少? 谢谢。