本文介绍了作者在阅读吴文俊的《机器证明》时，对笛沙格几何和Hilbert公理体系的复习与理解。文中提到了Hilbert公理体系的五大类，并指出吴文俊如何修改公理以适应几何定理的机械化证明。在笛沙格平面上，定义了点偶的全合和笛沙格数系的概念，为后续的探索奠定基础。
近来一直在看一些计算理论的资料同时pick up了一些common lisp， SRTP搁浅很久了，自从上次在论文里遇到看不懂的方法，就一直没弄明白论文里面的计算方法，没有任何推进，不明白又没地方可以寻求帮助，只好把它搁在一边了，况且SRTP的内容不是很理论很数学，也就没了什么兴趣。昨天突然心血来潮，打算将在硬盘里沉睡许久的吴文俊《机器证明》那本书看完，于是决定每天看一点，并写下读书笔记，以便鞭策自己以免偷懒。
第一章，看到标题我就喜出望外了，笛沙格定理啊，射影几何学著名定理，好几年前就学过射影几何学了，权当复习吧，不过对于Hilbert几何公理体系，当时没怎么留意看。几何定理的机器证明，建立在几何公理体系之上，这一点是显而易见的，Hilbert公理体系研究的对象为点、直线和平面，而对象之间的关系有属于、介于、全合于（记得当时那本书上用的词是合同于），hilbert体系共有20条公理，可以按照关系分为五大类：（括号里面是我以前看过的书采用的术语）
&nbs
最低0.47元/天 解锁文章
扫一扫
668
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
