请很好与11223344等几位数字先生回答几个问题

雷明85639720

请很好与11223344等几位数字先生回答几个问题
雷  明
（二○一五年十一月十六日）

    1、阿贝尔的机器证明是验证还是证明呢？他否证明了四色猜测是正确的呢？
2、阿贝尔是否说过（5，5）构形和（5，6）构形是不可免构形？
3、阿贝尔是否又说过（5，5）构形和（5，6）构形是不可约的呢？
4、既是不可免构形，又是不可约构形，这能说明猜测测是正确的吗？
5、用（5，5）构形和（5，6）构形代替5—轮构形（R—构形），而（5，5）构形和（5，6）构形又是不可约的，能说明5—轮构形是可约的吗？
6、不能证明5—轮构形是可约的，也不能证明（5，5）构形和（5，6）构形是可约的，就用大量的可约构形来代替所有的不可免构形，凑出来四色猜测是正确的，这是不是绕着矛盾走？
7、找出了可约的不可免集是不是就等于证明了不可免集中的构形都是可约的？
8、阿贝尔已找出了近2000个可约的不可免构形，而不可免的（5，5）构形和（5，6）构形和5—轮构形仍然是不可约的，这能叫证明了四色猜测是正确的吗？
9、阿贝尔说他“证明的正确性不靠计算机是无法检验的”，请问你们是否对阿贝尔的证明进行过各种检验？
10、阿贝尔还说“没有一个人真正知道究竟需要多少可约构形才能构成一个不可避免集。看来，很可能构形的数目会成千上万，而且定不出一个上限。……”看来阿根本没有证得所有的不可免构形都是可约的，那么如何能下结论说四色猜测是正确的呢？
请回答以上十个问题，谈谈你们自已的看法，以相互交流。希望你们再也不要跟在别人的屁股后面跑了，要用自已的头脑多想一想。

雷  明
二○一五年十一月十六日于长安

    注：此文已于二○一五年十一月十八日在《中国博士网》上发表过，网址是：
   

雷明85639720

，，，，，，，，，，，