哲学争议由于大部分的电脑协助证明计算量庞大，无法以人手验证，很多数学家不接受电脑协助证明，并表示那只是计算而非证明。他们表示，美丽的数学证明应像首诗，而电脑证明则看似电话簿。历史第一个著名的电脑协助证明，是1976年的四色定理证明。著名的电脑协助证明四色定理-1976四子棋-1988Order10有限射影平面的不存在性-1989开普勒猜想17点的幸福结局问题

今年8月，“宁妹”在儿子的陪同下来到了长沙宁乡寻找家人。一岁时被留在韶关客栈“母亲被寄养时才一岁，对当时的场景几乎没有印象。”“宁妹”的儿子谭金友称，母亲全名官宁妹，是由客栈老板夫妇抚养长大的。后来，养父母告诉官宁妹，她的亲生父亲姓刘，当时在韶关做矿工。1940年，他将一岁的宁妹留在了客栈。“不知道他们为什么要留下我，为什么一直没来找我。”官宁妹说，自己小名就叫宁妹，或许是父母特意暗示自己的根在湖南宁乡。长沙民警收到寻亲信今年8月中旬，宁妹提出想回老家看看，儿子谭金友马上安排了行程。当地群众得知官宁妹的故事后很受感动，也试图帮忙寻找。但由于信息极为有限，寻找工作无从下手。“没有找到家人，感觉自己是没有根的人。”从宁乡回来后，官宁妹不停地重复这一句话。8月29日，宁乡县公安局收到一份请求帮忙寻亲的来信。这一封信，正是谭金友寄给宁乡警方的。收到信件后，宁乡县公安局十分重视，马上安排民警查询。但...

【特请湖南宗亲协助寻根】四川武胜汤氏字派我氏于明初洪武二年（己酉年）1369年迁于湖广永州府零陵县兴仁乡居住。户主汤易伯，字泽，妣杨氏老祖婆，后又从零陵迁祁阳县普乐乡十四都（郡）乾塘冲定居。“朝”字辈于康熙四十四年（丙戍）1706年来川，至今已有十八派子孙，特请湖南宗亲协助寻根。十四派孙汤大发免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。

《自杀赋》唯夫人之混沌兮，走末路于自尽。设若存之熹微兮，必逐之于全身。或英雄之赴难，或屈子之追舜，或庞涓之气短，或霸王之自刎。林林总总，流传古今。于春暖之时节，眄飞蛾之灰烬，在夏空之晴日，睥鸟雀之毁损。瞻朗朗之晴日，仰蔚蔚之祥云，思海阔之天高，感天地之雄浑，望鸿鹄之翱翔，羡骋怀之乾坤。诚淡泊以自省，实骄奢而沉沦。嵯峨之巅，尚有苍郁之林；隰泽之洼，却无潜龙之存。疾风暴雨之时，雄鹰无畏而起；寒雪酷霜之间，虎豹畅然逡巡。顽强生命，何其坚韧？懦弱存在，岂若追寻？前面霞光万道，后边雾瘴千混。当霏霏之黯淡，罩华华之精神，应奋起而自强，凭铿锵而上进；值昊昊之光灿，满英英之气氛，更刀高之千丈，擎剑鞘而激奋。矗信仰于内心兮，搏前途而打拼。迷茫之何来兮，视遭遇以磨砺；失望之何惑兮，树远望之清心。抚参天之木以遐想兮，信未来之路更满春。辞枯槁兮来新人；迎福祉兮去煞神。衰则衰兮昔日，盛则盛兮于今！山东布衣金学孟于丁...

施工工地发现了古墓葬，当有人要拿走文物时，现场群众加以制止并及时拨打报警电话。9月18日上午8点左右，长治市府后东街延伸线施工工地上，正在作业的挖掘机突然挖出一块石碑。当挖掘机停下作业后，现场施工工人下到坑里，陆续发现了石碑、陶罐等文物，并发现了古墓。随后，有车要将出土的石碑和文物拉走，现场有位女士立即上前制止，说国家文物不能随便拉走。当汽车强行开走时，该女士立即站到车前，然后拨打110报警。当时，一位中年男子也出来制止，得知拉文物的人员不是文物考古部门时，又打电话告知了当地的文物保护部门。据了解，上前劝阻的女士是附近油漆厂小区的居民，那位男士则在附近一家单位工作。记者在现场看到，刚出土的石碑和陶罐，擦去石碑上的泥土，隐约看到“大宋[注:五代后周显德七年正月（960年），殿前都点检赵匡胤发动陈桥兵变，建立宋朝，定都东京（今河南开封），是为宋太祖，史称北宋。]赵府君墓……德超于天圣七年[注:...