拉姆齐二染色定理是由英国数理逻辑学家西塔潘(Seetapun)于20世纪90年代提出的一个猜想。十多年来,许多著名研究者一直努力都没有解决。
今年5月,由北京大学等联合举办的逻辑学术会议上,还是大三的刘嘉忆报告了他对目前反推数学中的拉姆齐(Ramsly)二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于上个世纪90年代提出的一个猜想,十多年来,许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了Seetapun的猜想。
继今年上半年他攻克一个十多年悬而未决国际数学难题后,不久前在美国芝加哥大学结束的数理逻辑学术会议上,他作为亚洲高校唯一一位代表在会上做了40分钟报告,报告了他在数理逻辑方面的研究成果,语惊四座。
读音:lá,lǎ,lā
[lá,lǎ,lā]
牵,扯,拽:拉车。拉网。拉下马(喻使某人下台)。 ◎ 用车载运:拉货。 ◎ 使延长:拉延。拉伸。 ◎ 排泄粪便:拉屎。 ◎ 联络:拉拢。拉帮结伙。 ◎ 摧折:摧枯拉朽。 ◎ 带领转移:把部队拉出去。 ◎ 牵引乐器的某一部分使乐器发出声音:拉小提琴。 ◎ 抚养子女:拉扯。 ◎ 帮助:他有困难,拉他一把。
读音:m,mǔ
[m,mǔ]
〔保姆〕a.受雇为人照管儿童或料理家务的妇女;b.保育员的旧称。
读音:jì,qí
[jì,qí]
东西的一头平或排成一条直线:齐整。参差不齐。 ◎ 达到,跟什么一般平:见贤思齐。河水齐腰深。 ◎ 同时;同样;一起:齐名。齐声。齐心协力。一齐前进。 ◎ 全;完全:齐全。人到齐了。 ◎ 中国周代诸侯国名,疆域在今山东省北部、东部和河北省的东南部。 ◎ 中国朝代名:南朝齐。北朝齐。● 齐 (齊) zī ㄗ ◎ 同“粢”。古代用于祭祀的谷物。
读音:èr
[èr]
数名:一加一(在钞票和单据上常用大写“贰”代)。 ◎ 双,比:独一无二。 ◎ 两样,别的:二话。不二价。
读音:rǎn
[rǎn]
把东西放在颜料里使着色:染料。染色。染坊。染缸。印染。 ◎ 感受疾病或沾上坏习惯或接触到什么:染病。感染。传染。沾染。一尘不染。
读音:sè,shǎi
[sè,shǎi]
由物体发射、反射的光通过视觉而产生的印象:颜色。色彩。色相(xiàng )。色调(diào )。 ◎ 脸上表现出的神气、样子:脸色。气色。色厉内荏。 ◎ 情景,景象:行色匆匆。景色宜人。 ◎ 种类:各色用品。 ◎ 品质,质量:音色。成色。足色纹银。 ◎ 妇女美貌:姿色。色艺。 ◎ 情欲:色情。好(hào)色。
读音:dìng
[dìng]
不动的,不变的:定额。定价。定律。定论。定期。定型。定义。定都(dū)。定稿。定数(shù)(a.规定数额;b.指天命;c.规定的数额)。断定。规定。鉴定。 ◎ 使不变动:定案。定罪。决定。确定。 ◎ 平安,平靖(多指局势):大局已定。 ◎ 镇静,安稳(多指情绪):心神不定。 ◎ 确凿,必然的:必定。镇定。 ◎ 预先约妥:定计。定情。定货。定做。 ◎ 姓。
读音:lǐ
[lǐ]
物质本身的纹路、层次,客观事物本身的次序:心理。肌理。条理。事理。 ◎ 事物的规律,是非得失的标准,根据:理由。理性。理智。理论。理喻。理解。理想。道理。理直气壮。 ◎ 自然科学,有时特指“物理学”:理科,数理化。理疗。 ◎ 按事物本身的规律或依据一定的标准对事物进行加工、处置:理财。理事。管理。自理。修理。总理。 ◎ 对别人的言行作出反应:理睬。答理。 ◎ 古代指狱官、法官。 ◎ 姓。