国的第一个死刑.
证明重新开始.又过了一百年,到了0232年.这一百年间,我们使用
了微积分学,线性代数,布尔代数,概率论,拓朴学,数论,非欧几
何等数学分支的所有数学方法,工程工地是方程的大河,函数的高山
和矩阵的海洋.我们这一亿年近五百岁的人在这无边无际的集成电路
中证明着家庭的永恒,我们却没有自己的家庭;举目四望,到处都是
和自己几乎一样的人,确实孤寂,而这项崇高的工作也就成了我们的
唯一寄托.体系的数学大厦升到了惊人的高度,但还是看不到它的顶
端.最可怕的是证明的途中出现了被二十世纪的哥德尔称之为怪圈的
东西,那是一条首尾相接的蛇,是一条无法自缢的绳索!我们解开一
个这样的死循环,却因此出现更多......正在这艰难