帮朋友张彧典发表一首七律诗

雷明85639720

11月7 日，我的朋友张彧典给我留言：
雷工：您好。我写了一首小诗，上传给您。如果您认为好，就转发到数学中国网。
11月7 日，1我回复：好的。我帮你发表到《数学中国》网上去。雷明
“四色”新说
张彧典
在中国共产党十八大隆重召开之际，以我三十多年研究“四色猜想”人工证明的课题内容以及研究成果为题吟诗一首，献给大会，以致祝贺！
数学难题有“四色”，
人工证明赋新说。
黄土填充英吉利 ① ，
红霞映照合众国 ② 。
荷兰误读名反例 ③ ，
草绿竞染大中国 ④ 。
继承创新宜兼顾，
多方联手结硕果。
注：
①、2010年《四色猜想的归纳法证明》弥补了英国肯普（Kempe）证明中的漏洞。
②、2011年《与阿沛尔-哈肯证明四色定理商榷》挑战了美国（Appel-Haken）的机器证明。
③、1996年《四色猜想归纳法证明中的陷阱问题》纠正了荷兰数学家对著名赫伍德反例的错误解读。
④、研究四色猜想的民间数学工作者像小草遍及中华大地，预示大文化、大科技时代的到来。
雷明11月7日转发。

雷明85639720

我也发我以前的两首七律。
                 登　　坛
          ——补记一九九二年讲学
                  雷  明
           （ 一九九三年二月 ）
     遭贬改艺［１］初获绩，陕数七大邀出席。
     千书拜师渺九州，百雄荟萃聚灞翼［２］。
     临坛视众心忐忑，既登阐论铿镪语。
     满座英杰掌声雷，四色证明有后继。

注［１］遭贬改艺，见自序部分。
注［２］百雄荟萃聚灞翼，指陕西省数学会第七次代表大会暨学术交流会于1992年3月16日——3月18日在西安市灞河南岸白鹿原脚下的西安空军工程学院（今西安空军工程大学）召开，作者应邀出席了会议并作了学术报告。
             延  安　行［１］
                  雷  明  
           （ 一九九四年十月 ）
     早乘长龙［２］西京城［３］，晚饮美水［４］杨家岭。
     宝塔脚下英贤集，延河岸边栋梁涌。
     窑洞大学史悠久，高原小镇［５］业兴隆。
     此行圣地拜群雄，满载新知返关中。
注［１］一九九四年九月二十六日——二十八日，陕西省数学会在延安大学召开年会，进行学术交流，作者也去参加了会议并进行了学术交流。
注［２］长龙，即火车。
注［３］西京城，即西安。
注［４］美水，延安地区有一种酒是用该地甘泉县一个名叫美水泉的泉水酿成，会议东道主——延安大学在为与会代表们接风洗尘时饮的就是该酒，作者不会饮酒，故用了“美水”一词。
注［５］高原小镇，即指延安。