數學與信息科學學院系列學術報告
2019年12月23日 A|A

報告人:趙東升教授、吳國華教授、奚小勇副教授

講座日期:2019-12-23

講座時間:9:00-11:3015:00

報告地點:長安校區數學與信息科學學院學術交流廳

主辦單位:數學與信息科學學院學院

 

報告題目1Johnstone's dcpo and related structures

報告人:趙東升教授

講座日期:2019-12-23

講座時間:9:00-10:00

講座人簡介:

趙東升,新加坡南洋理工大學教授。1981年畢業于陝西師範大學數學系,次年在我國著名數學家,陝西師範大學王國俊先生指導下攻讀拓撲專業碩士學位。1988年赴英國劍橋大學攻讀博士,師從英國著名數學家Peter Johnstone1993年獲得劍橋大學博士學位。1994年至今在新加坡南洋理工大学国立教育學院从事教学、研究。研究方向:拓扑,序理论,广义积分及Bair函數類,研究成果卓著,在Proc. of American Mathematical Society》、《Fundamenta Mathematicae》、《Applied Categorical Structures》、《Canadian Mathematical Bulletin》、《Houstone Journal of Mathematics》、《Rocky Mountain Journal of Mathematics》、《Quaestiones Mathematicae》,《Comment. Math. Univ. Carolinae》、Journal of Mathematical Analysis and Applications等數學名刊上均有論文發表,所發表論文被國外衆多專家學者引用,其中一篇論文獲2000ISI世界經典引文獎Citation Classic Award

講座簡介:

Johnstone constructed the first dcpo whose Scott space is not sober. This dcpo has many other special features and has been used in several parts of domain theory. In this talk, I will present a survey on the problems and structures related to this dcpo.

報告題目2環論中幾個重要定理證明的邏輯思考

報告人:吳國華教授

講座日期:2019-12-23

講座時間:10:30-11:30

講座人簡介:

吳國華,新加坡南洋理工大學教授,研究集中在數理邏輯領域,包括集合論,可計算性理論和能行數學。2003年获新西兰皇家學院颁发的年度Hatherton獎。承擔新加坡教育部研究項目多項,主持與參與國家自然科學基金重點項目,國際交流合作項目多項,發表論文60余篇,近期致力于反推數學研究。

講座簡介:

環論中許多定理的證明都用了佐恩引理,如極大理想的存在性證明,極小素理想的存在性證明,內射模的Baer准則證明,等等。分配格中有類似的結論,證明同出于一宗。我們在報告裏將給出可數情形下這些定理的無佐恩證明,並從公理系統的角度分析這些定理的邏輯強度。我們還將以Domain理論裏的Rudin引理作爲示範,介紹這一思想

報告題目3Some New Results on the Interlinks between Order and Topology via Domain Theory

報告人:奚小勇副教授

講座日期:2019-12-23

講座時間:15:00-16:00

講座人簡介:

奚小勇,副教授,新加坡南洋理工大學Research Fellow主要從事拓撲學與Domain理論的研究,發表論文20多篇,完全或部分解決了Domain理論領域內若幹公開問題,如Amadio-Curien問題,Ho-Zhao問題等。

講座簡介:

In the talk , we will report our recent joint work:

(1)Joint with Wu Guohua, Zhao Dongsheng, Xu Xiaoquan, in terms of a method introduced by Keimel and Lawson for the d-completion, we established the well-filteredfication, which answers an open problem posed by Lawson;  

(2)Joint with Lawson, Wu Guohua, we give a positive answer to Jia-Jung Problem: the core compact and well filtered T0spaces are sober. Finally, we will pose some derived problems to discuss with Domain theory community.

分享:

上一篇:旅遊減貧的中國實踐---阿者...

   

下一篇:上林人文社科講壇第63講:...