拉姆齐(Ramsly)二染色定理是由英国数理逻辑学家西塔潘(Seetapun)于20世纪90年代提出的一个猜想。十多年来,许多著名研究者一直努力都没有解决。
2011年5月,来自中南大学还是大三的刘嘉忆在北京大学等联合举办的逻辑学术会议上报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了西塔潘的猜想 。
读音:lá,lǎ,lā
[lá,lǎ,lā]
牵,扯,拽:拉车。拉网。拉下马(喻使某人下台)。 ◎ 用车载运:拉货。 ◎ 使延长:拉延。拉伸。 ◎ 排泄粪便:拉屎。 ◎ 联络:拉拢。拉帮结伙。 ◎ 摧折:摧枯拉朽。 ◎ 带领转移:把部队拉出去。 ◎ 牵引乐器的某一部分使乐器发出声音:拉小提琴。 ◎ 抚养子女:拉扯。 ◎ 帮助:他有困难,拉他一把。
读音:m,mǔ
[m,mǔ]
〔保姆〕a.受雇为人照管儿童或料理家务的妇女;b.保育员的旧称。
读音:jì,qí
[jì,qí]
东西的一头平或排成一条直线:齐整。参差不齐。 ◎ 达到,跟什么一般平:见贤思齐。河水齐腰深。 ◎ 同时;同样;一起:齐名。齐声。齐心协力。一齐前进。 ◎ 全;完全:齐全。人到齐了。 ◎ 中国周代诸侯国名,疆域在今山东省北部、东部和河北省的东南部。 ◎ 中国朝代名:南朝齐。北朝齐。● 齐 (齊) zī ㄗ ◎ 同“粢”。古代用于祭祀的谷物。