机器证明读书笔记
Mysterium
这个作者很懒,什么都没留下…
展开
-
(一)Desargues几何与Desargues数系(1)
近来一直在看一些计算理论的资料同时pick up了一些common lisp, SRTP搁浅很久了,自从上次在论文里遇到看不懂的方法,就一直没弄明白论文里面的计算方法,没有任何推进,不明白又没地方可以寻求帮助,只好把它搁在一边了,况且SRTP的内容不是很理论很数学,也就没了什么兴趣。昨天突然心血来潮,打算将在硬盘里沉睡许久的吴文俊《机器证明》那本书看完,于是决定每天看一点,并写下读书笔记,以便鞭策原创 2012-08-22 12:08:32 · 688 阅读 · 0 评论 -
(一)Desargues几何与Desargues数系(2)
这一章的东西主要还是关于几何基础的,因此我的笔记较为简略。Desaruges数系定义:假设一个集合N, 其中元素之间有两种二元运算加法与乘法,满足以下三类公理,则称N为一个Desargues数系,N中的元素称为数。 三类公理为: 关联公理 计算公理原创 2012-08-22 18:28:07 · 564 阅读 · 0 评论 -
(二)垂直几何、度量几何与常用几何(1)
我们先回顾一下Desargues(平面)几何的定义: 以关联公理、平行公理、无限公理、Desargues公理为基础的几何。而且存在惟一的Desargues数系N与Desargues平面一一对应,称为几何附属的Desargues数系。这一数系一般不满足乘法交换公理(即a*b不等于b*a),为了使Desargues数系变成一个数域,我们必须引进其他的公理使得乘法交原创 2012-08-23 15:02:35 · 1030 阅读 · 0 评论