严金海采访实录 修改版v2.0 严金海采访实录 (下面主=主持人;严=严金海;) 主:大家好,欢迎来到这一期的“去见山,去看海,采访数院老教师”活动,这次我们荣幸邀请到了严金海老师,来和我们大家探讨人生,下面我们用掌声热烈欢迎严金海老师的到来。 严:你们随便点。 主:严老师啊,您非常低调,就是说在百度上搜你名字搜到的是一个西藏的书记,搜不到你本人………… 严:我也搜过,还有广东一个 2022-07-12 Math #Math
陈纪修老师采访修改稿 陈纪修老师采访稿整理 主持人:陈老师,您是哪儿人? 陈老师:我出生在上海,但是我父母是从浙江镇海来上海的。现在,镇海是属于宁波市了。我父亲就是从镇海的一个村子里出来的,和陈逸飞同乡,同村。那个村叫陈家村,陈逸飞就是那个画家。 主持人:那您小时候,我们就特好奇,是像一般男孩子,比较喜欢出去玩,还是? 陈老师: 那是,我顽皮是我们家里面有名的(大笑),有时候,我看亲戚家的小孩,说起这个小孩顽皮的不得了 2022-07-11 Math #Math
哥德尔不完备定理 公理 Axioms一直以来数学家们试图构建一套完整自洽的公理系统。 抽象化的形式系统包括3个部分 1.语言 2.公理 3.推理规则 并包含以下性质 Consistent 自洽,不自相矛盾 Completeness 完备,true/false 2022-07-10 #Math